14 search results - page 1 / 3 » lics 1994 |
LICS
1994
IEEE
13 years 8 months ago
1994
IEEE
LICS
1994
IEEE
13 years 8 months ago
1994
IEEE
: 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...
LICS
1994
IEEE
13 years 8 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
LICS
1994
IEEE
13 years 8 months ago
1994
IEEE
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...
LICS
1994
IEEE
13 years 8 months ago
1994
IEEE
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....