1588 search results - page 36 / 318 » Modular action language |
104
Voted
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of...
103
click to vote
CICLING
2003
Springer
15 years 7 months ago
2003
Springer
We present a dynamic deontic model for the interpretation of imperative sentences in terms of Obligation (O) and Permission (P). Under the view that imperatives prescribe actions ...
121
click to vote
VL
2010
IEEE
15 years 21 days ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
120
click to vote
ENTCS
2010
14 years 11 months ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
231
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...