TYPES
1998
Springer
14 years 3 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
TYPES
1998
Springer
14 years 3 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
SAS
1998
Springer
14 years 3 months ago
1998
Springer
SAS
1998
Springer
14 years 3 months ago
1998
Springer
SAS
1998
Springer
14 years 3 months ago
1998
Springer
IFL
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
IFL
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
ICFEM
1998
Springer
14 years 3 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...