376
click to vote
LICS
15 years 11 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. ...
239
Voted
LICS
15 years 11 months ago
1994 IEEE
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...
230
click to vote
LICS
15 years 11 months ago
1994 IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
226
click to vote
LICS
15 years 11 months ago
1994 IEEE 
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
225
click to vote
LICS
15 years 11 months ago
1994 IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
|
Automated Reasoning