73 search results - page 13 / 15 » Stratego: A Language for Program Transformation Based on Rew... |
SIGSOFT
2004
ACM
14 years 23 days ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
WFLP
2000
Springer
13 years 11 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
JOT
2010
13 years 5 months ago
2010
Abstract The integration of database and programming languages is difļ¬cult due to the diļ¬erent data models and type systems prevalent in each ļ¬eld. We present a solution wher...
IFL
2004
Springer
14 years 22 days ago
2004
Springer
Landinās SECD machine was the ļ¬rst abstract machine for the Ī»-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
ASPLOS
1994
ACM
13 years 11 months ago
1994
ACM
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...