Sciweavers

3686 search results - page 17 / 738
» Pattern-Based Parallel Programming
Sort
View
104
Voted
PLDI
2012
ACM
13 years 1 days ago
Parallelizing top-down interprocedural analyses
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...
56
Voted
POPL
2010
ACM
15 years 4 months ago
Efficient parallel programming in Poly/ML and Isabelle/ML
David C. J. Matthews, Makarius Wenzel
58
Voted
IFIP
1989
Springer
15 years 1 months ago
Parallelism in Logic Programming
Kazunori Ueda
POPL
1990
ACM
15 years 1 months ago
Parallelism in Logic Programs
Raghu Ramakrishnan
PPDP
2000
Springer
15 years 1 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou