2343 search results - page 63 / 469 » Structure and Interpretation of Computer Programs |
124
Voted
EXPERT
2006
15 years 2 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
112
Voted
ISW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
124
Voted
ERSHOV
1989
Springer
15 years 6 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
143
Voted
TAP
2010
Springer
15 years 15 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
93
Voted
CIE
2007
Springer
15 years 8 months ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...