3713 search results - page 470 / 743 » Constructing a Calculus of Programs |
121
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
140
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper considers the length-lex domain for set-variables in constraint programming which includes not only membership but also cardinality and lexicographic information. The p...
110
Voted
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
134
click to vote
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
133
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...