3056 search results - page 328 / 612 » Compiling Embedded Languages |
162
click to vote
ESOP
2006
Springer
15 years 2 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...
AFRIGRAPH
2001
ACM
15 years 2 months ago
2001
ACM
Practical experience in porting a large virtual reality system from C/C++ to Java indicates that porting this type of real-time application is both feasible, and has several merit...
105
click to vote
DAGSTUHL
1996
15 years 18 days ago
1996
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...
PVLDB
2008
14 years 10 months ago
2008
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
JOT
2010
14 years 9 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...