Sciweavers

11909 search results - page 39 / 2382

» The Scheme Programming Language

142

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 12 months ago

Modal Proofs as Distributed Programs (Extended Abstract)

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

125

Voted

GPCE
2009
Springer

87views Programming Languages» more GPCE 2009»

Synthesis of fast programs for maximum segment sum problems

15 years 11 months ago

Synthesis of fast programs for maximum segment sum problems

Download userweb.cs.utexas.edu

Srinivas Nedunuri, William R. Cook

claim paper

Read More »

143

ESOP
2001
Springer

104views Programming Languages» more ESOP 2001»

Tool Demonstration: Finding Duplicated Code Using Program Dependences

15 years 11 months ago

Tool Demonstration: Finding Duplicated Code Using Program Dependences

Download pages.cs.wisc.edu

Raghavan Komondoor, Susan Horwitz

claim paper

Read More »

185

Voted

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 11 months ago

Backwards Abstract Interpretation of Probabilistic Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

119

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

15 years 11 months ago

Termination of Well-Typed Logic Programs

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

« Prev « First page 39 / 2382 Last » Next »