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