Pointcuts as Functional Queries
Abstract elided by the publisher.
613 papers · page 25 of 31
Network Fusion
Abstract elided by the publisher.
Build, Augment and Destroy, Universally
Abstract elided by the publisher.
Free S-Monoids: A Higher-Order Syntax with Metavariables
Abstract elided by the publisher.
A Relational Model for Object-Oriented Designs
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich variety of features including subtypes, visibility, inheritance, dynamic binding and polymorphism. The l…
Formal Design and Verification of Real-Time Embedded Software
Abstract elided by the publisher.
A CLP Approach to Modelling Systems
Abstract elided by the publisher.
McJava - A Design and Implementation of Java with Mixin-Types
Abstract elided by the publisher.
A MATLAB-Based Code Generator for Sparse Matrix Computations
Abstract elided by the publisher.
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
Abstract elided by the publisher.
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
Abstract elided by the publisher.
An Implementation of Subtyping Among Regular Expression Types
Abstract elided by the publisher.
Controlled Declassification Based on Intransitive Noninterference
Abstract elided by the publisher.
An Algebraic Approach to Bi-directional Updating
Abstract elided by the publisher.
Region-Based Memory Management for a Dynamically-Typed Language
Abstract elided by the publisher.
An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors
Abstract elided by the publisher.
A Functional Language for Logarithmic Space
Abstract elided by the publisher.
Protocol Specialization
Abstract elided by the publisher.
The Scala Experiment - Can We Provide Better Language Support for Component Systems?
Abstract elided by the publisher.
Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)
Abstract elided by the publisher.