Search Sciweavers | Sciweavers

10666 search results - page 27 / 2134

» Quantum programming languages

158

Voted

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

16 years 1 months ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

148

click to vote

PADL
2007
Springer

131views Programming Languages» more PADL 2007»

Inductive Logic Programming by Instance Patterns

16 years 28 days ago

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

153

click to vote

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

16 years 5 days ago

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

131

click to vote

GPCE
2009
Springer

87views Programming Languages» more GPCE 2009»

Synthesis of fast programs for maximum segment sum problems

15 years 11 months ago

Download userweb.cs.utexas.edu

Srinivas Nedunuri, William R. Cook

claim paper

Read More »

154

click to vote

ESOP
2001
Springer

104views Programming Languages» more ESOP 2001»

Tool Demonstration: Finding Duplicated Code Using Program Dependences

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers