154
click to vote
SAS
15 years 5 months ago
1994 Springer 
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
144
click to vote
FORTE
15 years 2 months ago
1994 
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
138
click to vote
SAS
15 years 5 months ago
1994 Springer 
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
135
click to vote
TYPES
15 years 5 months ago
1994 Springer
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
122
click to vote
ZUM
15 years 5 months ago
1994 Springer 
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
|
Formal Methods