BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer