Sciweavers

10575 search results - page 9 / 2115

» Programming Languages

73

PADL
2007
Springer

131views Programming Languages» more PADL 2007»

Inductive Logic Programming by Instance Patterns

15 years 3 months ago

Inductive Logic Programming by Instance Patterns

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

75

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 3 months ago

Modal Proofs as Distributed Programs (Extended Abstract)

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

60

GPCE
2009
Springer

87views Programming Languages» more GPCE 2009»

Synthesis of fast programs for maximum segment sum problems

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

67

ESOP
2001
Springer

104views Programming Languages» more ESOP 2001»

Tool Demonstration: Finding Duplicated Code Using Program Dependences

15 years 2 months ago

Tool Demonstration: Finding Duplicated Code Using Program Dependences

Download pages.cs.wisc.edu

Raghavan Komondoor, Susan Horwitz

claim paper

Read More »

91

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 2 months ago

Backwards Abstract Interpretation of Probabilistic Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

« Prev « First page 9 / 2115 Last » Next »