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

46 Analyses, optimizations and extensions of Constraint Handling Rules – T Schrijvers
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
10 Improving Prolog Programs: Refactoring for Prolog – Tom Schrijvers, Alexander Serebrenik
133 Aspect oriented programming – G Kiezales, J Lamping, A Mendhekar, C Maeda, C V Lopes, J Loingtier, J Irwin - 1997
50 An overview of the swi-prolog programming environment – J Wielemaker - 2003
66 Semantics of Logic Programs with Aggregates – David B. Kemp, Peter J. Stuckey - 1991
56 The K.U.Leuven CHR system: implementation and application – Tom Schrijvers, Bart Demoen - 2004
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
5237 Design Patterns: Elements of Reusable Object-Oriented Software – Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides - 1995
394 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
283 An nlogn algorithm for minimizing states in a finite automaton – J E Hopcroft - 1971
44 Ultimate Well-founded and Stable Semantics for Logic Programs With Aggregates (Extended Abstract) – Marc Denecker, Nikolay Pelov, Maurice Bruynooghe - 2001
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 The execution kernel of RC++: RETE∗, a faster RETE with TREAT as a special case – I Wright, J Marshall