Sciweavers

10871 search results - page 28 / 2175

» A stable programming language

24

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

14 years 1 months ago

Modal Proofs as Distributed Programs (Extended Abstract)

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

18

GPCE
2009
Springer

87views Programming Languages» more GPCE 2009»

Synthesis of fast programs for maximum segment sum problems

14 years 6 days ago

Synthesis of fast programs for maximum segment sum problems

Download userweb.cs.utexas.edu

Srinivas Nedunuri, William R. Cook

claim paper

Read More »

18

ESOP
2001
Springer

104views Programming Languages» more ESOP 2001»

Tool Demonstration: Finding Duplicated Code Using Program Dependences

14 years 2 days ago

Tool Demonstration: Finding Duplicated Code Using Program Dependences

Download pages.cs.wisc.edu

Raghavan Komondoor, Susan Horwitz

claim paper

Read More »

21

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

14 years 2 days ago

Backwards Abstract Interpretation of Probabilistic Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

24

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

14 years 1 days 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 »