506 search results - page 36 / 102 » A case for an SC-preserving compiler |
SIGSOFT
2002
ACM
14 years 8 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
User-defined data types, pattern-matching, and recursion are ubiquitous features of Haskell programs. Sometimes a function is called with arguments that are statically known to be...
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
We present the ParAL system which compiles Matlab scripts into C programs with calls to a parallel run-time library. The novel feature of the compiler is the optimisation of array...