2236 search results - page 303 / 448 » Language Independence and Language Tolerance in Logic Progra... |
129
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
135
Voted
WWW
2008
ACM
16 years 5 months ago
2008
ACM
bstractions for Secure Server-Side Scripting Dachuan Yu Ajay Chander Hiroshi Inamura Igor Serikov DoCoMo Communications Laboratories USA 3240 Hillview Avenue Palo Alto, CA 94304 {y...
123
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
169
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
141
click to vote
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...