Search Sciweavers | Sciweavers

10622 search results - page 25 / 2125

» Python Programming Language

114

click to vote

POPL
2010
ACM

236views Programming Languages» more POPL 2010»

Efficient parallel programming in Poly/ML and Isabelle/ML

15 years 10 months ago

Download cl-informatik.uibk.ac.at

David C. J. Matthews, Makarius Wenzel

claim paper

Read More »

106

click to vote

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

15 years 10 months ago

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

112

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

15 years 10 months ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

108

click to vote

PADL
2007
Springer

131views Programming Languages» more PADL 2007»

Inductive Logic Programming by Instance Patterns

15 years 10 months ago

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

109

click to vote

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers