151 search results - page 28 / 31 » Denotational semantics for a program logic of objects |
126
click to vote
WWW
2006
ACM
15 years 9 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
128
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
122
Voted
DOCENG
2006
ACM
15 years 9 months ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
146
Voted
POPL
2010
ACM
16 years 22 days ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
165
Voted
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....