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
44 Ultimate Well-founded and Stable Semantics for Logic Programs With Aggregates (Extended Abstract) – Marc Denecker, Nikolay Pelov, Maurice Bruynooghe - 2001
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
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
283 An n · log n algorithm for minimizing the states in a finite automaton – J E Hopcroft - 1971
21 Incremental Maintenance for Non-Distributive Aggregate Functions – Themistoklis Palpanas, Richard Sidle, Roberta Cochrane, Hamid Pirahesh - 2002
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