Sciweavers

Share
LICS
1994
IEEE
9 years 5 months ago
Categories, Allegories and Circuit Design
Relational languages such as Ruby are used to derive circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representat...
Carolyn Brown, Graham Hutton
LICS
1994
IEEE
9 years 5 months ago
Logical Bilattices and Inconsistent Data
The notion of a bilattice was rst proposed by Ginsberg as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting....
Ofer Arieli, Arnon Avron
LICS
1994
IEEE
9 years 5 months ago
Finitary Fairness
Rajeev Alur, Thomas A. Henzinger
LICS
1994
IEEE
9 years 5 months ago
A Semantics of Object Types
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
Martín Abadi, Luca Cardelli
books