Sciweavers

2696 search results - page 309 / 540
» Semantic Abstraction and Anaphora
Sort
View
ECOOP
2000
Springer
15 years 11 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
ICFP
1999
ACM
15 years 11 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
MOBICOM
1998
ACM
15 years 10 months ago
Towards a Design Methodology for Adaptive Applications
ibe an abstract architecture of adaptive applications, and indicate where we believe crucial design decisions must We illustrate the use of the abstract model in the design and im...
Malcolm McIlhagga, Ann Light, Ian Wakeman
POS
1998
Springer
15 years 10 months ago
The Transactional Object Cache: A Foundation for High Performance Persistent System Construction
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
Stephen Blackburn, Robin Stanton
ECAI
1994
Springer
15 years 10 months ago
Similarity for Analogical Software Reuse: A Computational Model
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
George Spanoudakis, Panos Constantopoulos