9521 search results - page 283 / 1905 » Compiling with continuations, continued |
144
click to vote
SOCO
2005
Springer
16 years 3 days ago
2005
Springer
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
186
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
156
click to vote
CSREAESA
2004
15 years 8 months ago
2004
For many years, C has been known as a fast, yet unfriendly language. Similarly, Java presents its own trade-offs, including more advanced language features at the cost of slower ex...
171
click to vote
CASCON
2003
15 years 8 months ago
2003
The development of large software systems involves a continual lengthy build process that may include preprocessing, compilation and linking of tens of thousands of source code ï¬...
178
click to vote
CSUR
1999
15 years 6 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...