436 search results - page 5 / 88 » Recursion and Complexity |
122
click to vote
TPHOL
2002
IEEE
15 years 7 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
121
Voted
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however e...
104
Voted
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
107
Voted
ALT
2003
Springer
15 years 11 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
69
Voted
CSL
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk