3713 search results - page 104 / 743 » Constructing a Calculus of Programs |
117
click to vote
ENTCS
2000
15 years 2 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
CORR
1998
Springer
15 years 2 months ago
1998
Springer
ORL
2007
15 years 2 months ago
2007
106
Voted
BMCBI
2011
14 years 9 months ago
2011
222
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...