Sciweavers

959 search results - page 47 / 192
» Fundamental Concepts in Programming Languages
Sort
View
91
Voted
ENTCS
2010
173views more  ENTCS 2010»
15 years 3 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,...
77
Voted
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 3 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
127
Voted
SIGSOFT
2004
ACM
15 years 9 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
147
Voted
ECOOP
2005
Springer
15 years 9 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
15 years 10 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