MIME-Version: 1.0 Server: CERN/3.0pre5 Date: Tuesday, 26-Nov-96 01:00:08 GMT Content-Type: text/html Content-Length: 3598 Last-Modified: Friday, 30-Aug-96 20:28:07 GMT Programming Languages and Systems Software Laboratory

Programming Languages and Systems Software Laboratory

The programming languages and systems software laboratory investigates fundamental issues in software systems, including language design and implementation, execution monitoring and program visualization, object-oriented and distributed systems, and software engineering.
The Alamo Monitor Framework Project (C. Jeffery)
Alamo is a framework for monitoring the execution of programs. Alamo supports two programming languages: ANSI C and Icon. It consists of two components: the Alamo Monitor Executive (AME) implements a shared-address, coroutine based thread model of monitoring; the Configurable C Instrumentation (CCI) tool is an ANSI C preprocessor that provides automatic software instrumentation at a semantic level, as opposed to manual instrumentation or instrumentation at the machine-, lexical-, or syntactic levels.

The Proxy Sharing Proxy Server Project (C. Jeffery, S. Das)
The Proxy-Sharing Proxy Server is an extension of the CERN Web server that investigates the application of wide-area demand-driven replication techniques to sharing WWW resources. Our caching scheme is non-hierarchial, allowing it to scale and fit the natural topology of the internet better than existing schemes.

Icon Programming Language (C. Jeffery, and the Icon Project at the U. of Arizona)
Icon is a very-high level general purpose language featuring a rich set of built-in datatypes, a familiar C-like syntax, a novel goal-directed expression evaluation mechanism, and easy to use portable graphics facilities. Current work includes improvements in performance, reductions in space requirements, porting the graphics facilities to additional platforms, and adding object-oriented facilities.

Very High-Level Language Benchmarks (C. Jeffery)
Several very-high level languages are now in vogue, such as Perl, Tcl, and Java. Although each has its unique specialties, each claims to be a general-purpose tool, and to the extent that they are general-purpose, they can be compared by implementing a set of benchmark applications in each language. Timing results provide feedback to language implementors about neglected facilities, and the implementation experience reveals missing features and obstacles encountered when using these languages as general-purpose tools.
Software Visualization at UTSA (C. Jeffery)
Software visualization is the use of visualization techniques to portray static and dynamic aspects about a software system's control flow, data structures, behavior and operation.