160
Voted
CSL
1998
Springer
16 years 11 hour ago
1998
Springer
188
click to vote
CSL
1998
Springer
16 years 11 hour ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
214
click to vote
TPHOL
1998
IEEE
16 years 20 hour ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
210
click to vote
TPHOL
1998
IEEE
16 years 20 hour ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
160
Voted
TPHOL
1998
IEEE
16 years 20 hour ago
1998
IEEE
147
Voted
TPHOL
1998
IEEE
16 years 20 hour ago
1998
IEEE
169
Voted
TPHOL
1998
IEEE
16 years 20 hour ago
1998
IEEE
229
Voted
TPHOL
1998
IEEE
16 years 20 hour ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
201
click to vote
TPHOL
1998
IEEE
16 years 20 hour ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
203
Voted
TIME
1998
IEEE
16 years 21 hour ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...