291 search results - page 4 / 59 » CPP Denotational Semantics |
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
NRHM
2002
13 years 7 months ago
2002
In this article we claim that the linguistic-centred view within hypermedia systems needs refinement through a semiotic-based approach before real interoperation between media can...
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
JLP
2008
13 years 7 months ago
2008