Sciweavers

10871 search results - page 28 / 2175

» A stable programming language

100

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 7 months ago

Modal Proofs as Distributed Programs (Extended Abstract)

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

86

GPCE
2009
Springer

87views Programming Languages» more GPCE 2009»

Synthesis of fast programs for maximum segment sum problems

15 years 7 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 »

95

ESOP
2001
Springer

104views Programming Languages» more ESOP 2001»

Tool Demonstration: Finding Duplicated Code Using Program Dependences

15 years 7 months ago

Tool Demonstration: Finding Duplicated Code Using Program Dependences

Download pages.cs.wisc.edu

Raghavan Komondoor, Susan Horwitz

claim paper

Read More »

130

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 7 months ago

Backwards Abstract Interpretation of Probabilistic Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

79

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

15 years 6 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 28 / 2175 Last » Next »