194
click to vote
SAS
15 years 9 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...
191
click to vote
FORTE
15 years 6 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...
178
click to vote
SAS
15 years 9 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...
175
click to vote
ZUM
15 years 9 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...
174
click to vote
TYPES
15 years 9 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...
|
Formal Methods