678 search results - page 3 / 136 » A simple typed intermediate language for object-oriented lan... |
TACAS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
ECOOP
1995
Springer
13 years 8 months ago
1995
Springer
DOOD
1993
Springer
13 years 9 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
ECOOP
2009
Springer
14 years 6 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
ECOOP
2006
Springer
13 years 9 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...