Sciweavers

537 search results - page 50 / 108
» Compiling Exceptions Correctly
Sort
View
ANLP
1994
83views more  ANLP 1994»
13 years 10 months ago
Automatic Aquisition of Semantic Attributes for User Defined Words m Japanese to English Machine Translation
This paper proposes a method that automatically acquires the SAs (semantic attributes) of user defined words. Applyingthis method to the compilation of a user dictionary targeting...
Satoru Ikehara, Satoshi Shirai, Akio Yokoo, Franci...
TOPLAS
2008
78views more  TOPLAS 2008»
13 years 9 months ago
The pitfalls of verifying floating-point computations
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
David Monniaux
ICFP
2001
ACM
14 years 9 months ago
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
Steven E. Ganz, Amr Sabry, Walid Taha
PPPJ
2009
ACM
14 years 3 months ago
Automatic parallelization for graphics processing units
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
Alan Leung, Ondrej Lhoták, Ghulam Lashari
SLE
2009
Springer
14 years 3 months ago
Language Boxes
As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typicall...
Lukas Renggli, Marcus Denker, Oscar Nierstrasz