Sciweavers

746 search results - page 96 / 150
» Real-Life Object-Oriented Systems
Sort
View
CC
2012
Springer
227views System Software» more  CC 2012»
12 years 3 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
14 years 2 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ö&...
EUROPAR
2003
Springer
14 years 26 days 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»
13 years 12 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
OOPSLA
1989
Springer
13 years 11 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