|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 10 keywords
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | Vincent Nys, Danny De Schreye |
Transforming Coroutining Logic Programs into Equivalent CHR Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 9-35, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
35 | John Launchbury, Sava Krstic, T. E. Sauerwein |
Coroutining Folds with Hyperfunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Festschrift for Dave Schmidt ![In: Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013., pp. 121-135, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Ulrich Bieker, Andreas Neumann 0001 |
Using Logic Programming and Coroutining for Electronic CAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 26(2), pp. 199-215, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Andreas Podelski, Gert Smolka |
Operational Semantics of Constraint Logic Programs with Coroutining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, pp. 449-463, 1995, MIT Press, 0-262-69177-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
35 | Ulrich Bieker, Andreas Neumann 0001 |
Using Logic Programming and Coroutining for VLSI Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Germany, Informatik-Bericht 146., pp. 10-14, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
35 | Stefan Lüttringhaus-Kappel |
Coroutining and Control Generation for Logic Programs (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Germany, Informatik-Bericht 146., pp. 64-68, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
35 | Gerard Milhaud, Robert Pasero, Paul Sabatier |
Partial Synthesis Of Sentences By Coroutining Constraints On Different Levels Of Well-Formedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: 14th International Conference on Computational Linguistics, COLING 1992, Nantes, France, August 23-28, 1992, pp. 926-929, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
35 | David Chan |
An Extension of Constructive Negation and its Application in Coroutining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NACLP ![In: Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes, pp. 477-493, 1989, MIT Press, 0-262-62064-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
31 | 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 |
31 | Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori |
A Transformation System for CLP with Dynamic Scheduling and CCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 137-150, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
26 | Juan José Moreno-Navarro |
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, pp. 213-227, 1996, Springer, 3-540-60983-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Michel Dorochevsky, André Véron |
Binding Techniques and Garbage Collection for OR-Parallel CLP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 39-53, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Christian Holzbaur |
Metastructures versus Attributed Variables in the Context of Extensible Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 260-268, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Lee Naish |
Adding equations to NU-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 15-26, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|