2343 search results - page 37 / 469 » Structure and Interpretation of Computer Programs |
139
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
CSL
2007
Springer
15 years 8 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
229
click to vote
Book
"This is a textbook for a first computer science course for students majoring in computer science, as well as mathematics and the physical and social sciences"
109
click to vote
JUCS
2010
14 years 9 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
112
Voted
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Described are new approaches for evaluating computer program representations for use in automated search methodologies such as the evolutionary design of software. Previously, prog...