Sciweavers

10622 search results - page 88 / 2125
» Python Programming Language
Sort
View
90
Voted
POPL
1996
ACM
15 years 6 months ago
Faster Checking of Software Specifications by Eliminating Isomorphs
Daniel Jackson, Somesh Jha, Craig Damon
83
Voted
POPL
1996
ACM
15 years 6 months ago
Pure versus Impure LISP
Nicholas Pippenger
ICCL
1994
IEEE
15 years 6 months ago
Generating Optimizing Specializers
Robert Glück, Jesper Jørgensen