Sciweavers

10622 search results - page 88 / 2125

» Python Programming Language

108

Voted

POPL
1996
ACM

102views Programming Languages» more POPL 1996»

Faster Checking of Software Specifications by Eliminating Isomorphs

15 years 8 months ago

Faster Checking of Software Specifications by Eliminating Isomorphs

Download www.cs.cmu.edu

Daniel Jackson, Somesh Jha, Craig Damon

claim paper

Read More »

102

Voted

POPL
1996
ACM

94views Programming Languages» more POPL 1996»

Pure versus Impure LISP

15 years 8 months ago

Pure versus Impure LISP

Download www.cparity.com

Nicholas Pippenger

claim paper

Read More »

100

POPL
1996
ACM

82views Programming Languages» more POPL 1996»

Points-to Analysis in Almost Linear Time

15 years 8 months ago

Points-to Analysis in Almost Linear Time

Download www.cs.utsa.edu

Bjarne Steensgaard

claim paper

Read More »

136

Voted

SIGADA
1997
Springer

94views Programming Languages» more SIGADA 1997»

A Comparison of the Object-Oriented Features of Ada 95 and Java

15 years 8 months ago

A Comparison of the Object-Oriented Features of Ada 95 and Java

Download d.feneuille.free.fr

Benjamin M. Brosgol

claim paper

Read More »

107

Voted

ICCL
1994
IEEE

82views Programming Languages» more ICCL 1994»

Generating Optimizing Specializers

15 years 8 months ago

Generating Optimizing Specializers

Download repository.readscheme.org

Robert Glück, Jesper Jørgensen

claim paper

Read More »

« Prev « First page 88 / 2125 Last » Next »