291 search results - page 4 / 59 » CPP Denotational Semantics |
ESOP
2005
Springer
15 years 3 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...
78
Voted
NRHM
2002
14 years 10 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
15 years 3 months ago
2005
Springer
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
JLP
2008
14 years 10 months ago
2008