1875 search results - page 226 / 375 » A Calculus of Broadcasting Systems |
98
Voted
KBSE
1997
IEEE
15 years 5 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
103
Voted
FSTTCS
1993
Springer
15 years 4 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...
113
click to vote
PLDI
1989
ACM
15 years 4 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
100
Voted
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
106
Voted
FIW
2007
15 years 2 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...