1588 search results - page 44 / 318 » Modular action language |
105
click to vote
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
114
click to vote
JAIR
2008
15 years 2 months ago
2008
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions o...
115
Voted
TSE
2008
15 years 2 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
228
click to vote
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. The expression families problem can be defined as the problem of achieving reusability and composability across the components involved in a family of related datatypes a...
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
We present a modular static analysis which identiļ¬es structural (shape) invariants for a subset of heap-manipulating programs. The subset is deļ¬ned by means of a non-standard ...