Search Sciweavers | Sciweavers

291 search results - page 4 / 59

» CPP Denotational Semantics

165

Voted

ESOP
2005
Springer

92views Programming Languages» more ESOP 2005»

Denotational Semantics for Abadi and Leino's Logic of Objects

16 years 8 days ago

Download www.cogs.susx.ac.uk

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...

Bernhard Reus, Jan Schwinghammer

claim paper

Read More »

173

click to vote

NRHM
2002

87views more NRHM 2002»

Denotative and connotative semantics in hypermedia: proposal for a semiotic-aware architecture

15 years 6 months ago

Download oai.cwi.nl

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...

Frank Nack, Lynda Hardman

claim paper

Read More »

140

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

16 years 7 days ago