Sciweavers

27119 search results - page 265 / 5424
» Languages
Sort
View
PLDI
1989
ACM
15 years 10 months ago
Automatic Generation of DAG Parallelism
Ron Cytron, Michael Hind, Wilson C. Hsieh
PLDI
1989
ACM
15 years 10 months ago
Higher-Order Attribute Grammars
Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kui...
PLDI
1990
ACM
15 years 10 months ago
How to Print Floating-Point Numbers Accurately
Guy L. Steele Jr., Jon L. White
APLAS
2007
ACM
15 years 10 months ago
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
Paritosh Shroff, Christian Skalka, Scott F. Smith