Towards the uniform implementation of declarative languages

Chakravarty, Manuel M. T.; Lock, Hendrik C. R.

doi:10.1016/s0096-0551(97)00012-x

Search citation statements

Order By: Relevance

Paper Sections

Select...

Conclusion and Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2000

2005

Publication Types

Select...

Book2

Other1

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Among related work by others, Chakravarty and Lock [10] proposed a virtual machine for functional logic languages that combines implementation techniques from functional and logic programming in an orthogonal way. To implement logic language features, they used traditional logic programming implementation techniques based on backtracking so that the operational completeness is not ensured.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

A Virtual Machine for Functional Logic Computations

Antoy

Hanus

Liu

et al. 2005

Implementation and Application of Functional Languages

View full text Add to dashboard Cite

Abstract.We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the operational completeness of non-deterministic programs by concurrently executing a pool of independent computations. Each computation executes only root-needed sequential narrowing steps. We describe the machine's architecture and instruction set, and show how to compile overlapping inductively sequential programs to sequences of machine instructions. The machine has been implemented in Java and in Standard ML.

show abstract

Section: Conclusion and Related Workmentioning

confidence: 99%