Sciweavers

959 search results - page 47 / 192
» Fundamental Concepts in Programming Languages
Sort
View
ENTCS
2010
173views more  ENTCS 2010»
13 years 11 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...
CORR
2008
Springer
84views Education» more  CORR 2008»
13 years 11 months ago
The emerging field of language dynamics
Large linguistic databases, especially databases having a global coverage such as The World Atlas of Language Structures (Haspelmath et al. 2005), The Automated Simility Judgment ...
Søren Wichmann
SIGSOFT
2004
ACM
14 years 4 months ago
Variability management with feature-oriented programming and aspects
This paper presents an analysis of feature-oriented and aspectoriented modularization approaches with respect to variability management as needed in the context of system families...
Mira Mezini, Klaus Ostermann
ECOOP
2005
Springer
14 years 4 months ago
Combining Feature-Oriented and Aspect-Oriented Programming to Support Software Evolution
Abstract. Starting from the advantages of using Feature-Oriented Programming (FOP) and program families to support software evolution, this paper discusses the drawbacks of current...
Sven Apel, Thomas Leich, Marko Rosenmüller, G...
ACSC
2008
IEEE
14 years 5 months ago
Reasoning about inherent parallelism in modern object-oriented languages
In the future, if we are to continue to expect improved application performance we will have to achieve it by exploiting course-grained hardware parallelism rather then simply rel...
Wayne Reid, Wayne Kelly, Andrew Craik