Sciweavers

3056 search results - page 359 / 612
» Compiling Embedded Languages
Sort
View
LOPSTR
2007
Springer
15 years 8 months ago
Aggregates for CHR through Program Transformation
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
Peter Van Weert, Jon Sneyers, Bart Demoen
KES
2005
Springer
15 years 8 months ago
Learning-by-Doing Through Metaphorical Simulation
Abstract. After the doubtful success of content-based e-learning systems, simulations are gaining momentum within the e-learning community. Along this line we are working on JV2 M,...
Pedro Pablo Gómez-Martín, Marco Anto...
IFL
2004
Springer
15 years 7 months ago
A Virtual Machine for Functional Logic Computations
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 o...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....
RSP
2000
IEEE
105views Control Systems» more  RSP 2000»
15 years 6 months ago
Processor Models for Retargetable Tools
This paper describes a methodology for developing processor specific tools such as assemblers, disassemblers, processor simulators, compilers etc., using processor models in a ge...
Rajat Moona
ITICSE
1996
ACM
15 years 6 months ago
Integrating animations into courses
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
Susan H. Rodger