Sciweavers

746 search results - page 96 / 150
» Real-Life Object-Oriented Systems
Sort
View
CC
2012
Springer
227views System Software» more  CC 2012»
13 years 11 months ago
Programming Paradigm Driven Heap Analysis
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
Mark Marron, Ondrej Lhoták, Anindya Banerje...
SOCO
2009
Springer
15 years 10 months ago
Feature (De)composition in Functional Programming
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
Sven Apel, Christian Kästner, Armin Grö&...
96
Voted
EUROPAR
2003
Springer
15 years 8 months ago
The Design of an API for Strict Multithreading in C++
Abstract. This paper deals with the design of an API for building distributed parallel applications in C++ which embody strict multithreaded computations. The API is enhanced with ...
Wolfgang Blochinger, Wolfgang Küchlin
ECMAST
1999
Springer
142views Multimedia» more  ECMAST 1999»
15 years 7 months ago
Enabling Flexible Services Using XML Metadata
Combining eXtensible Markup Language (XML) and Active Layer Networking may yield strong benefits for networked services. A Wide range of new Multimedia applications can be develope...
Luis Velasco, Ian Marshall
114
Voted
OOPSLA
1989
Springer
15 years 7 months ago
A Denotational Semantics of Inheritance and its Correctness
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
William R. Cook, Jens Palsberg