537 search results - page 36 / 108 » Compiling Exceptions Correctly |
147
click to vote
BTW
2007
Springer
15 years 8 months ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
101
click to vote
DAC
1992
ACM
15 years 6 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
110
click to vote
PEPM
1994
ACM
15 years 6 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
114
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
122
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...