Sciweavers

3713 search results - page 104 / 743
» Constructing a Calculus of Programs
Sort
View
ENTCS
2000
60views more  ENTCS 2000»
15 years 2 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
CORR
1998
Springer
69views Education» more  CORR 1998»
15 years 2 months ago
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
106
Voted
BMCBI
2011
14 years 9 months ago
MixtureTree: a program for constructing phylogeny
Shu-Chuan Chen, Michael S. Rosenberg, Bruce G. Lin...
POPL
2008
ACM
16 years 3 months ago
Engineering formal metatheory
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...
Arthur Charguéraud, Benjamin C. Pierce, Bri...