Search Sciweavers | Sciweavers

10622 search results - page 25 / 2125

» Python Programming Language

144

click to vote

POPL
2010
ACM

236views Programming Languages» more POPL 2010»

Efficient parallel programming in Poly/ML and Isabelle/ML

16 years 23 days ago

Download cl-informatik.uibk.ac.at

David C. J. Matthews, Makarius Wenzel

claim paper

Read More »

131

click to vote

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

16 years 20 days ago

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

132

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

16 years 14 days ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

134

click to vote

PADL
2007
Springer

131views Programming Languages» more PADL 2007»

Inductive Logic Programming by Instance Patterns

16 years 2 days ago

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

132

click to vote

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers