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.