636 search results - page 8 / 128 » Operational Semantics for Functional Logic Languages |
114
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
116
click to vote
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
139
click to vote
ELP
1991
15 years 4 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
109
click to vote
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
115
click to vote
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...