Sciweavers

10935 search results - page 56 / 2187
» Neural Programming Language
Sort
View
POPL
2000
ACM
15 years 10 months ago
Temporal Abstract Interpretation
Patrick Cousot, Radhia Cousot
POPL
2000
ACM
15 years 10 months ago
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs
Zhendong Su, Manuel Fähndrich, Alexander Aike...
123
Voted
ICFP
1999
ACM
15 years 10 months ago
Static Interpretation of Modules
Martin Elsman
139
Voted
PLDI
1999
ACM
15 years 10 months ago
A Fast Fourier Transform Compiler
Matteo Frigo
PLDI
1999
ACM
15 years 10 months ago
Control CPR: A Branch Height Reduction Optimization for EPIC Architectures
Michael S. Schlansker, Scott A. Mahlke, Richard Jo...