CSL
1998
Springer
14 years 3 months ago
1998
Springer
CSL
1998
Springer
14 years 3 months 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...
TPHOL
1998
IEEE
14 years 3 months 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...
TPHOL
1998
IEEE
14 years 3 months 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...
TPHOL
1998
IEEE
14 years 3 months ago
1998
IEEE
TPHOL
1998
IEEE
14 years 3 months ago
1998
IEEE
TPHOL
1998
IEEE
14 years 3 months ago
1998
IEEE
TPHOL
1998
IEEE
14 years 3 months 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...
TPHOL
1998
IEEE
14 years 3 months 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...
TIME
1998
IEEE
14 years 3 months 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. ...