3736 search results - page 25 / 748 » Hand-Writing Program Generator Generators |
108
click to vote
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
A method is proposed for viewing broadcast content that converts TV programs into Web content and integrates the results with complementary information retrieved using the Interne...
218
click to vote
PLDI
2009
ACM
16 years 14 days ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
121
click to vote
CORR
2002
Springer
14 years 11 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
110
click to vote
SAC
2010
ACM
14 years 9 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
POPL
2010
ACM
15 years 9 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 ...