1072 search results - page 28 / 215 » Object-Oriented Type Inference |
118
click to vote
SCP
2010
14 years 10 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
103
click to vote
SFP
2001
15 years 1 months ago
2001
: We study type checking that is complete in the sense that it accepts every program whose subexpressions can all be executed without raising a type error at runtime. In a complete...
POPL
2010
ACM
15 years 6 months ago
2010
ACM
APLAS
2006
ACM
15 years 5 months ago
2006
ACM
POPL
1991
ACM
15 years 3 months ago
1991
ACM
