A Calculational Framework for Parallelization of Sequential Programs (1997)

by Zhenjiang Hu , Masato Takeichi
Venue:In International Symposium on Information Systems and Technologies for Network Society
Citations:2 - 0 self

Documents Related by Co-Citation

10 Improving Prolog Programs: Refactoring for Prolog – Tom Schrijvers, Alexander Serebrenik
66 Semantics of Logic Programs with Aggregates – David B. Kemp, Peter J. Stuckey - 1991
50 The Computational Power and Complexity of Constraint Handling Rules – Jon Sneyers, Tom Schrijvers, Bart Demoen - 2005
21 Incremental Maintenance for Non-Distributive Aggregate Functions – Themistoklis Palpanas, Richard Sidle, Roberta Cochrane, Hamid Pirahesh - 2002
44 Ultimate Well-founded and Stable Semantics for Logic Programs With Aggregates (Extended Abstract) – Marc Denecker, Nikolay Pelov, Maurice Bruynooghe - 2001
5269 Design patterns: elements of reusable objectoriented software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
134 Aspect oriented programming – Gregor Kiczales - 1996
285 An n log n algorithm for minimizing the states in a finite automaton – J E Hopcroft - 1971
51 An overview of the SWI-Prolog programming environment – Jan Wielemaker - 2003
56 The K.U.Leuven CHR system: implementation and application – Tom Schrijvers, Bart Demoen - 2004
46 Analyses, optimizations and extensions of Constraint Handling Rules – T Schrijvers - 2005
12 Extending CHR with negation as absence – Peter Van Weert, Jon Sneyers, Tom Schrijvers, Bart Demoen, Peter Van Weert, Jon Sneyers, Tom Schrijvers, Bart Demoen - 2006
2 CHR ¬ : Constraint Handling Rules with negation – Peter Van Weert, Jon Sneyers, Tom Schrijvers, Bart Demoen - 2006
6 Source-to-Source Transformation for a Class of Expressive Rules – Thom Frühwirth, Christian Holzbaur
4 CHR rp: Constraint Handling Rules with Rule Priorities – Leslie De Koninck , Tom Schrijvers, Bart Demoen - 2007
9 Marìa Garcìa de la Banda, and Christian Holzbaur. Extending arbitrary solvers with constraint handling rules – Gregory J Duck, Peter J Stuckey - 2003
1 9. Zhenjiang Hu and Masato Takeichi. A calculational framework for parallelization of sequential programs – David B Kemp, Peter J Stuckey - 1971
6 P.: A tale of histories – Peter Van Weert - 2008