1131 search results - page 168 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
106
click to vote
JSW
2008
15 years 2 months ago
2008
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
120
click to vote
SAIG
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
104
click to vote
ML
2008
ACM
15 years 2 months ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
197
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
120
click to vote
SIAMCOMP
2008
15 years 2 months ago
2008
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...