1588 search results - page 24 / 318 » Modular action language |
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
KI
1994
Springer
14 years 1 months ago
1994
Springer
Abstract. As an extension of the well
GPCE
2007
Springer
14 years 3 months ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
ECOOP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
ICCL
1998
IEEE
14 years 1 months ago
1998
IEEE
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...