145
Voted
SAS
15 years 4 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...
142
Voted
FORTE
15 years 1 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...
126
Voted
SAS
15 years 4 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...
126
Voted
TYPES
15 years 4 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...
111
Voted
ZUM
15 years 4 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