Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
Generalized Committed Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 191-210, 2007, Springer, 978-3-540-72793-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins |
Monadic concurrent linear logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 35-46, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
committed choice concurrency, operational semantics, linear logic |
42 | Takuya Araki, Hidehiko Tanaka |
Static Granularity Optimization of a Committed-Choice Language Fleng. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 1191-1200, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Andrew Cheese |
Implementing Committed-Choice Logic Programming Languages on Distributed Memory Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDMCC ![In: Distributed Memory Computing, 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991, Proceedings, pp. 361-370, 1991, Springer, 3-540-53951-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Lee Naish |
Resource-Oriented Deadlock Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 302-316, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
deadlock analysis, committed choice nondeterminism, floundering, Concurrency, partial order, dining philosophers, coroutining |
36 | Hassan Aït-Kaci, Andreas Podelski |
Functions as Passive Constraints in LIFE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1279-1318, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
?-terms, committed-choice languages, first-order terms, relative simplification, matching, unification, residuation, coroutining, concurrent constraint programming |
36 | Joost N. Kok |
Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 401-413, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog |
36 | Martin Nilsson 0001, Hidehiko Tanaka |
The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 95-104, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Committed choice, Fleng, GHC, Parallel, Logic Programming, Prolog, Interpreter |
29 | Claus-Peter Wirth |
A Simplified and Improved Free-variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 4(2), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
29 | Claus-Peter Wirth |
A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.2444, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
29 | Claus-Peter Wirth |
Hilbert's epsilon as an Operator of Indefinite Committed Choice ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0902.3749, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
29 | Claus-Peter Wirth |
Hilbert's epsilon as an operator of indefinite committed choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 6(3), pp. 287-317, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Hideki Tsuiki |
Real number computation with committed choice logic programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 64(1), pp. 61-84, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Barton C. Massey, Evan Tick |
Demand-Driven Dataflow for Concurrent Committed-Choice Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: Parallel Architectures and Compilation Techniques, Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT'94, Montréal, Canada, 24-26 August, 1994, pp. 215-224, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
29 | Bart Massey, Evan Tick |
Optimizing Clause Matching Automata in Committed-Choice Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 294-303, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
29 | R. B. Scott |
Automatic goal distribution strategies for the execution of committed choice logic languages on distributed memory parallel computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
29 | Jirí Zlatuska |
Committed-Choice Concurrent Logic Programming in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kurt Gödel Colloquium ![In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings, pp. 337-348, 1993, Springer, 3-540-57184-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Yasuo Hidaka, Hanpei Koike, Jun'ichi Tatemura, Hidehiko Tanaka |
A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLP ![In: Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991, pp. 470-484, 1991, MIT Press, 0-262-69147-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Akira Imai, Evan Tick |
A shared-memory multiprocessor garbage collector and its evaluation for committed-choice logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, SPDP 1991, 2-5 December 1991, Dallas, Texas, USA, pp. 870-877, 1991, IEEE Computer Society, 0-8186-2310-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Rajiv Trehan, Paul F. Wilk |
Issues of non-determinism in PROLOG and the Committed Choice Non-Deterministic logic languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 4(3), pp. 211-232, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Evan Tick, Jim A. Crammond |
Comparison of Two Shared-Memory Emulators for Flat Committed-Choice Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP (2) ![In: Proceedings of the 1990 International Conference on Parallel Processing, Urbana-Champaign, IL, USA, August 1990. Volume 2: Software., pp. 236-242, 1990, Pennsylvania State University Press. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
29 | Lee Naish |
Proving Properties of Committed Choice Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 7(1), pp. 63-84, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
29 | Arvind K. Bansal, Leon Sterling |
Transforming generate-and-test programs to execute under committed-choice AND-parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 18(5), pp. 401-446, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
29 | Rajiv Trehan |
An investigation of design and execution alternatives for the committed choice non-deterministic logic languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
29 | Rajiv Trehan, Paul F. Wilk |
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 212-232, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
29 | Seif Haridi, Per Brand |
ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 745-754, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
29 | Göran Båge, Gary Lindstrom |
Committed Choice Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 666-674, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
29 | Arvind K. Bansal, Leon Sterling |
Compiling Enumerate-and-Filter Programs for Efficient Execution Under Committed-choice and-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP (2) ![In: Proceedings of the International Conference on Parallel Processing, ICPP '88, The Pennsylvania State University, University Park, PA, USA, August 1988. Volume 2: Software., pp. 22-25, 1988, Pennsylvania State University Press. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
29 | James Alexander Crammond |
Implementation of committed choice logic languages on shared memory multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
29 | Michael J. Maher |
Logic Semantics for a Class of Committed-Choice Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 858-876, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Hisao Tamaki |
Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 376-393, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Jim A. Crammond |
An Execution Model for Committed-Choice Non-Deterministic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 148-158, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
29 | Jacob Levy |
Shared Memory Execution of Committed-choice Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings, pp. 298-312, 1986, Springer, 3-540-16492-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
25 | Jirí Zlatuska |
Linear Logic Semantics for Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings, pp. 348-360, 1993, Springer, 3-540-58025-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Atsuhiro Goto, Akira Matsumoto, Evan Tick |
Design and Performance of a Coherent Cache for Parallel Logic Programming Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, Israel, June 1989, pp. 25-33, 1989, ACM, 0-89791-319-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Vijay A. Saraswat, Martin C. Rinard |
Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990, pp. 232-245, 1990, ACM Press, 0-89791-343-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Maurizio Gabbrielli, Maria Chiara Meo |
A compositional semantics for CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(2), pp. 11:1-11:36, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semantics |
13 | Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira |
High Level Thread-Based Competitive Or-Parallelism in Logtalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 107-121, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
speculative threading, implementation, Or-parallelism |
13 | Frank Pfenning, Robert J. Simmons |
Substructural Operational Semantics as Ordered Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 101-110, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jon Sneyers |
Optimizing Compilation and Computational Complexity of Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 494-498, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo |
On the expressive power of priorities in CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 267-276, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
constraint, expressive power |
13 | Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo |
Expressiveness of Multiple Heads in CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 205-216, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Thom W. Frühwirth |
Welcome to Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Handling Rules ![In: Constraint Handling Rules, Current Research Topics, pp. 1-15, 2008, Springer, 978-3-540-92242-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella |
A Compositional Semantics for CHR with Propagation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Handling Rules ![In: Constraint Handling Rules, Current Research Topics, pp. 119-160, 2008, Springer, 978-3-540-92242-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Tom Schrijvers |
Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 9-10, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira |
Thread-Based Competitive Or-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 713-717, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Edmund S. L. Lam, Martin Sulzmann |
A concurrent constraint handling rules implementation in Haskell with software transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007, pp. 19-24, 2007, ACM, 978-1-59593-690-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parallel implementation of concurrent language |
13 | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen |
Aggregates in Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 446-448, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Thom W. Frühwirth |
Constraint handling rules: the story so far. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 13-14, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming |
13 | Marc Meister, Khalil Djelloul, Thom W. Frühwirth |
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers, pp. 139-153, 2006, Springer, 978-3-540-73816-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Thom W. Frühwirth |
Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 113-127, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Jon Sneyers |
Analysis and Optimization of CHR Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 450-451, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
A compositional semantics for CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 209-217, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
Extending arbitrary solvers with constraint handling rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 79-90, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
compilation, constraint solvers, constraint handling rules |
13 | Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey |
Optimizing Compilation of Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 74-89, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Slim Abdennadher, Heribert Schütz |
CHRv: A Flexible Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings, pp. 1-14, 1998, Springer, 3-540-65082-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Barton C. Massey, Evan Tick |
Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 207-222, 1995, Springer, 3-540-60359-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Evan Tick, Mark Korsloot |
Determinacy Testing for Nondeterminate Logic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(1), pp. 3-34, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Andorra model, Pandora, decision graphs |
13 | Evan Tick |
Monaco: A High-Performance Flat Concurrent Logic Programming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings, pp. 266-278, 1993, Springer, 3-540-56891-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
compilation, dataflow analysis, concurrent logic programming |
13 | Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli |
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings, pp. 62-76, 1993, Springer, 3-540-58025-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Roland Dietrich, Hendrik C. R. Lock |
Exploiting Non-Determinism through Laziness in Guarded Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 201-216, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Amir Rahat, Nissim Francez, Oded Shmueli |
On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 454-471, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Louis Lassez |
Parametric queries, linear constraints and variable elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 164-173, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Evan Tick, Nobuyuki Ichiyoshi |
Programming Techniques for Efficiently Exploiting Parallelism in Logic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 31-39, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
13 | Akikazu Takeuchi, Kazuko Takahashi |
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency: Theory, Language, And Architecture ![In: Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings, pp. 173-209, 1989, Springer, 3-540-53932-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Keith L. Clark, Steve Gregory |
Parlog: Parallel Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(1), pp. 1-49, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
Prolog, PARLOG |
13 | Raghu Ramakrishnan 0001, Abraham Silberschatz |
Annotations for Distributed Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986, pp. 255-262, 1986, ACM Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|