151 search results - page 1 / 31 » Denotational semantics for a program logic of objects |
ESOP
2005
Springer
14 years 4 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...
MSCS
2006
13 years 10 months ago
2006
ICLP
2005
Springer
14 years 4 months ago
2005
Springer
NJC
2002
13 years 10 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...