1131 search results - page 168 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
88
Voted
JSW
2008
15 years 13 days 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...
106
Voted
SAIG
2000
Springer
15 years 4 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...
87
Voted
ML
2008
ACM
15 years 13 days 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...
177
Voted
ESOP
2006
Springer
15 years 4 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...
SIAMCOMP
2008
15 years 12 days 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...