8132 search results - page 205 / 1627 » Dependability, Abstraction, and Programming |
185
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
151
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
133
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
219
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
182
click to vote
LOBJET
2006
15 years 6 months ago
2006
ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...