Sciweavers

10871 search results - page 129 / 2175
» A stable programming language
Sort
View
ICALP
2010
Springer
14 years 1 months ago
Linear Orders in the Pushdown Hierarchy
Laurent Braud, Arnaud Carayol
APLAS
2008
ACM
14 years 9 days ago
A Sound Floating-Point Polyhedra Abstract Domain
Liqian Chen, Antoine Miné, Patrick Cousot