ALP
1997
Springer
14 years 3 months ago
1997
Springer
LPAR
2000
Springer
14 years 3 months ago
2000
Springer
LPAR
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
LPAR
2000
Springer
14 years 3 months ago
2000
Springer
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
LPAR
2000
Springer
14 years 3 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
LPAR
2000
Springer
14 years 3 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
LOPSTR
2000
Springer
14 years 3 months ago
2000
Springer
LOPSTR
2000
Springer
14 years 3 months ago
2000
Springer
LOPSTR
2000
Springer
14 years 3 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
LICS
2000
IEEE
14 years 3 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...