7 search results - page 2 / 2 » Syntactic control of interference for separation logic |
AOSD
2010
ACM
14 years 5 days ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...