506 search results - page 36 / 102 » A case for an SC-preserving compiler |
156
Voted
SIGSOFT
2002
ACM
16 years 6 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...
141
click to vote
ICFP
2007
ACM
16 years 6 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...
150
click to vote
HASKELL
2009
ACM
16 years 18 days 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...
126
click to vote
ICCBR
2005
Springer
15 years 11 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...
141
click to vote
IPPS
1999
IEEE
15 years 10 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...