Sciweavers

10666 search results - page 68 / 2134
» Quantum programming languages
Sort
View
POPL
2000
ACM
14 years 2 days ago
Temporal Abstract Interpretation
Patrick Cousot, Radhia Cousot
POPL
2000
ACM
14 years 2 days ago
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs
Zhendong Su, Manuel Fähndrich, Alexander Aike...
PLDI
1999
ACM
14 years 1 days ago
Control CPR: A Branch Height Reduction Optimization for EPIC Architectures
Michael S. Schlansker, Scott A. Mahlke, Richard Jo...