Camel: An extension of the categorical abstract machine to compile functional/logic programs

Mück, Andy

doi:10.1007/3-540-55844-6_146

Cited by 3 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Programming language researchers try to combine the best of different language paradigms in hybrid programming languages. For functional logic languages abstract machines have been designed as extensions of abstract machines for functional languages [79,97] or as extensions of the WAM [21,57]. The WAM has also been the basis for abstract machines for constraint logic programming languages [16,65], the concurrent, constraint logic programming language OZ [90] and the concurrent, real time language Erlang [9].…”

Section: Abstract Machines For Hybrid Programming Languagesmentioning

confidence: 99%

Abstract machines for programming language implementation

Diehl¹,

Hartel²,

Sestoft³

2000

Future Generation Computer Systems

View full text Add to dashboard Cite

We present an extensive, annotated bibliography of the abstract machines designed for each of the main programming paradigms (imperative, object oriented, functional, logic and concurrent). We conclude that whilst a large number of efficient abstract machines have been designed for particular language implementations, relatively little work has been done to design abstract machines in a systematic fashion.

show abstract

Section: Abstract Machines For Hybrid Programming Languagesmentioning

confidence: 99%

Abstract machines for programming language implementation

Diehl¹,

Hartel²,

Sestoft³

2000

Future Generation Computer Systems

View full text Add to dashboard Cite

show abstract

Natural Semantics-Directed Generation of Compilers and Abstract Machines

Diehl

2000

Form. Asp. Comput.

View full text Add to dashboard Cite

In this paper we present the motivation, theory and transformations of our semantics-directed compiler generator. The main novelty of our generator is that it generates compilers and abstract machines. The execution times of the abstract machine programs produced by our generated compiler compare well to those of target programs produced by compilers generated by other semantics-directed generators. The generated specifications of compilers and abstract machines are suitable as a starting point for handwriting compilers and abstract machines. Our generator is fully automated and its core transformations are proved correct.

show abstract

A generative methodology for the design of abstract machines

Diehl

2000

Science of Computer Programming

View full text Add to dashboard Cite

Camel: An extension of the categorical abstract machine to compile functional/logic programs

Cited by 3 publications

References 7 publications

Abstract machines for programming language implementation

Abstract machines for programming language implementation

Natural Semantics-Directed Generation of Compilers and Abstract Machines

A generative methodology for the design of abstract machines

Contact Info

Product

Resources

About