1185 search results - page 82 / 237 » Implementing Functional Languages: a tutorial |
176
click to vote
CC
2009
Springer
16 years 7 days ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
ESOP
2003
Springer
15 years 4 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
112
click to vote
ICSE
2008
IEEE-ACM
16 years 12 days ago
2008
IEEE-ACM
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...