Search Sciweavers | Sciweavers

3686 search results - page 17 / 738

» Pattern-Based Parallel Programming

194

click to vote

PLDI
2012
ACM

243views Programming Languages» more PLDI 2012»

Parallelizing top-down interprocedural analyses

13 years 8 months ago

Download www.cs.utoronto.ca

Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...

Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sri...

claim paper

Read More »

151

click to vote

POPL
2010
ACM

236views Programming Languages» more POPL 2010»

Efficient parallel programming in Poly/ML and Isabelle/ML

16 years 1 months ago

Download cl-informatik.uibk.ac.at

David C. J. Matthews, Makarius Wenzel

claim paper

Read More »

126

click to vote

IFIP
1989
Springer

90views Programming Languages» more IFIP 1989»

Parallelism in Logic Programming

15 years 10 months ago

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda

claim paper

Read More »

143

click to vote

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

15 years 10 months ago

Download glew.org

Raghu Ramakrishnan

claim paper

Read More »

128

click to vote

PPDP
2000
Springer

94views Programming Languages» more PPDP 2000»

Continuations for parallel logic programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers