Search results for "committed-choice"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu	Generalized Committed Choice.	COORDINATION	2007	DBLP DOI BibTeX RDF
49	Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins	Monadic concurrent linear logic programming.	PPDP	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.	Euro-Par	1997	DBLP DOI BibTeX RDF
42	Andrew Cheese	Implementing Committed-Choice Logic Programming Languages on Distributed Memory Computers.	EDMCC	1991	DBLP DOI BibTeX RDF
36	Lee Naish	Resource-Oriented Deadlock Analysis.	ICLP	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.	ACM Trans. Program. Lang. Syst.	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.	REX Workshop	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.	LP	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.	FLAP	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	CoRR	2011	DBLP BibTeX RDF
29	Claus-Peter Wirth	Hilbert's epsilon as an Operator of Indefinite Committed Choice	CoRR	2009	DBLP BibTeX RDF
29	Claus-Peter Wirth	Hilbert's epsilon as an operator of indefinite committed choice.	J. Appl. Log.	2008	DBLP DOI BibTeX RDF
29	Hideki Tsuiki	Real number computation with committed choice logic programming languages.	J. Log. Algebraic Methods Program.	2005	DBLP DOI BibTeX RDF
29	Barton C. Massey, Evan Tick	Demand-Driven Dataflow for Concurrent Committed-Choice Code.	IFIP PACT	1994	DBLP BibTeX RDF
29	Bart Massey, Evan Tick	Optimizing Clause Matching Automata in Committed-Choice Languages.	PASCO	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.		1994	RDF
29	Jirí Zlatuska	Committed-Choice Concurrent Logic Programming in Linear Logic.	Kurt Gödel Colloquium	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.	ISLP	1991	DBLP BibTeX RDF
29	Akira Imai, Evan Tick	A shared-memory multiprocessor garbage collector and its evaluation for committed-choice logic programs.	SPDP	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.	Artif. Intell. Rev.	1990	DBLP DOI BibTeX RDF
29	Evan Tick, Jim A. Crammond	Comparison of Two Shared-Memory Emulators for Flat Committed-Choice Logic Programs.	ICPP (2)	1990	DBLP BibTeX RDF
29	Lee Naish	Proving Properties of Committed Choice Logic Programs.	J. Log. Program.	1989	DBLP DOI BibTeX RDF
29	Arvind K. Bansal, Leon Sterling	Transforming generate-and-test programs to execute under committed-choice AND-parallelism.	Int. J. Parallel Program.	1989	DBLP DOI BibTeX RDF
29	Rajiv Trehan	An investigation of design and execution alternatives for the committed choice non-deterministic logic languages.		1989	RDF
29	Rajiv Trehan, Paul F. Wilk	A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages.	ICLP/SLP	1988	DBLP BibTeX RDF
29	Seif Haridi, Per Brand	ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages.	FGCS	1988	DBLP BibTeX RDF
29	Göran Båge, Gary Lindstrom	Committed Choice Functional Programming.	FGCS	1988	DBLP BibTeX RDF
29	Arvind K. Bansal, Leon Sterling	Compiling Enumerate-and-Filter Programs for Efficient Execution Under Committed-choice and-Parallelism.	ICPP (2)	1988	DBLP BibTeX RDF
29	James Alexander Crammond	Implementation of committed choice logic languages on shared memory multiprocessors.		1988	RDF
29	Michael J. Maher	Logic Semantics for a Class of Committed-Choice Programs.	ICLP	1987	DBLP BibTeX RDF
29	Hisao Tamaki	Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages.	ICLP	1987	DBLP BibTeX RDF
29	Jim A. Crammond	An Execution Model for Committed-Choice Non-Deterministic Languages.	SLP	1986	DBLP BibTeX RDF
29	Jacob Levy	Shared Memory Execution of Committed-choice Languages.	ICLP	1986	DBLP DOI BibTeX RDF
25	Jirí Zlatuska	Linear Logic Semantics for Concurrent Prolog.	ELP	1993	DBLP DOI BibTeX RDF
25	Atsuhiro Goto, Akira Matsumoto, Evan Tick	Design and Performance of a Coherent Cache for Parallel Logic Programming Architectures.	ISCA	1989	DBLP DOI BibTeX RDF
16	Vijay A. Saraswat, Martin C. Rinard	Concurrent Constraint Programming.	POPL	1990	DBLP DOI BibTeX RDF
13	Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Semantics
13	Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira	High Level Thread-Based Competitive Or-Parallelism in Logtalk.	PADL	2009	DBLP DOI BibTeX RDF	speculative threading, implementation, Or-parallelism
13	Frank Pfenning, Robert J. Simmons	Substructural Operational Semantics as Ordered Logic Programming.	LICS	2009	DBLP DOI BibTeX RDF
13	Jon Sneyers	Optimizing Compilation and Computational Complexity of Constraint Handling Rules.	ICLP	2009	DBLP DOI BibTeX RDF
13	Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo	On the expressive power of priorities in CHR.	PPDP	2009	DBLP DOI BibTeX RDF	constraint, expressive power
13	Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo	Expressiveness of Multiple Heads in CHR.	SOFSEM	2009	DBLP DOI BibTeX RDF
13	Thom W. Frühwirth	Welcome to Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
13	Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella	A Compositional Semantics for CHR with Propagation Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
13	Tom Schrijvers	Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
13	Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira	Thread-Based Competitive Or-Parallelism.	ICLP	2008	DBLP DOI BibTeX RDF
13	Edmund S. L. Lam, Martin Sulzmann	A concurrent constraint handling rules implementation in Haskell with software transactional memory.	DAMP	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.	ICLP	2007	DBLP DOI BibTeX RDF
13	Thom W. Frühwirth	Constraint handling rules: the story so far.	PPDP	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.	CSCLP	2006	DBLP DOI BibTeX RDF
13	Thom W. Frühwirth	Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.	ICLP	2005	DBLP DOI BibTeX RDF
13	Jon Sneyers	Analysis and Optimization of CHR Programs.	ICLP	2005	DBLP DOI BibTeX RDF
13	Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	PPDP	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.	PPDP	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.	ICLP	2001	DBLP DOI BibTeX RDF
13	Slim Abdennadher, Heribert Schütz	CHRv: A Flexible Query Language.	FQAS	1998	DBLP DOI BibTeX RDF
13	Barton C. Massey, Evan Tick	Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions	PLILP	1995	DBLP DOI BibTeX RDF
13	Evan Tick, Mark Korsloot	Determinacy Testing for Nondeterminate Logic Programming Languages.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Andorra model, Pandora, decision graphs
13	Evan Tick	Monaco: A High-Performance Flat Concurrent Logic Programming System.	PARLE	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.	ELP	1993	DBLP DOI BibTeX RDF
13	Roland Dietrich, Hendrik C. R. Lock	Exploiting Non-Determinism through Laziness in Guarded Functional Languages.	TAPSOFT, Vol.2	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.	JELIA	1990	DBLP DOI BibTeX RDF
13	Jean-Louis Lassez	Parametric queries, linear constraints and variable elimination.	DISCO	1990	DBLP DOI BibTeX RDF
13	Evan Tick, Nobuyuki Ichiyoshi	Programming Techniques for Efficiently Exploiting Parallelism in Logic Programming Languages.	PPoPP	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.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
13	Keith L. Clark, Steve Gregory	Parlog: Parallel Programming in Logic.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	Prolog, PARLOG
13	Raghu Ramakrishnan 0001, Abraham Silberschatz	Annotations for Distributed Programming in Logic.	POPL	1986	DBLP DOI BibTeX RDF