Search results for "coroutining"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Vincent Nys, Danny De Schreye	Transforming Coroutining Logic Programs into Equivalent CHR Programs.	VPT@ETAPS	2017	DBLP DOI BibTeX RDF
35	John Launchbury, Sava Krstic, T. E. Sauerwein	Coroutining Folds with Hyperfunctions.	Festschrift for Dave Schmidt	2013	DBLP DOI BibTeX RDF
35	Ulrich Bieker, Andreas Neumann 0001	Using Logic Programming and Coroutining for Electronic CAD.	J. Log. Program.	1996	DBLP DOI BibTeX RDF
35	Andreas Podelski, Gert Smolka	Operational Semantics of Constraint Logic Programs with Coroutining.	ICLP	1995	DBLP BibTeX RDF
35	Ulrich Bieker, Andreas Neumann 0001	Using Logic Programming and Coroutining for VLSI Design.	WLP	1993	DBLP BibTeX RDF
35	Stefan Lüttringhaus-Kappel	Coroutining and Control Generation for Logic Programs (Extended Abstract).	WLP	1993	DBLP BibTeX RDF
35	Gerard Milhaud, Robert Pasero, Paul Sabatier	Partial Synthesis Of Sentences By Coroutining Constraints On Different Levels Of Well-Formedness.	COLING	1992	DBLP BibTeX RDF
35	David Chan	An Extension of Constructive Negation and its Application in Coroutining.	NACLP	1989	DBLP BibTeX RDF
31	Lee Naish	Resource-Oriented Deadlock Analysis.	ICLP	2007	DBLP DOI BibTeX RDF	deadlock analysis, committed choice nondeterminism, floundering, Concurrency, partial order, dining philosophers, coroutining
31	Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori	A Transformation System for CLP with Dynamic Scheduling and CCP.	PEPM	1997	DBLP DOI BibTeX RDF	concurrent constraint logic programming, transformation, deadlock, coroutining
31	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
26	Juan José Moreno-Navarro	Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages.	ELP	1996	DBLP DOI BibTeX RDF
26	Michel Dorochevsky, André Véron	Binding Techniques and Garbage Collection for OR-Parallel CLP Systems.	PLILP	1992	DBLP DOI BibTeX RDF
26	Christian Holzbaur	Metastructures versus Attributed Variables in the Context of Extensible Unification.	PLILP	1992	DBLP DOI BibTeX RDF
26	Lee Naish	Adding equations to NU-Prolog.	PLILP	1991	DBLP DOI BibTeX RDF