139 search results - page 2 / 28 » A Deductive and Typed Object-Oriented Language |
FSTTCS
1993
Springer
13 years 8 months ago
1993
Springer
ESOP
1998
Springer
13 years 9 months ago
1998
Springer
ECOOP
1995
Springer
13 years 8 months ago
1995
Springer
ECOOP
2009
Springer
14 years 5 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 8 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...