"Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Compiling with Continuations	Andrew W. Appel	1991-11	Cambridge University Press
Compiling with C# and Java	Pat Terry	2004	Addison Wesley
Compiling fast partial derivatives of functions given by algorithms	B. Speelpenning	1980
Kotlin Coroutines by Tutorial: Mastering Coroutines in Kotlin and Android	raywenderlich Tutorial Team, Filip Babić, Nishant Srivastava	2019	Razeware LLC
Programming with C++20: Conceptes, Coroutines, Ranges, and more	Fertig, Andreas	2021	Fertig Publications
Programming Android with Kotlin: Achieving Structured Concurrency with Coroutines	Pierre-Olivier Laurence, Amanda Hinchman-Dominguez, G. Blake Meike, Mike Dunn	2021	O'Reilly Media
Programming Android with Kotlin: Achieving Structured Concurrency with Coroutines	P. Laurence, A. Hinchman-Dominguez, G. Meike, M. Dunn	2022	O'Reilly Media
Compiling Esterel	Dumitru Potop-Butucaru; Stephen A. Edwards; Gerard Berry	2007	Springer US
Kotlin Coroutines by Tutorials	Filip Babić, Luka Kordić and Nishant Srivastava	2022	raywenderlich.com
Compiling Natural Semantics	Mikael Pettersson	1999	Springer Berlin Heidelberg
Compiling functional languages	Antoni Diller	1988	Wiley
Advanced C and C++ Compiling	Milan Stevanovic	1st ed.	Apress
Compiling local history bibliographies	Richard J. Cox	1982	American Association for State and Local History
Learning with Computers: Analysing productive interaction	Paul Light; Karen Littleton	1998	Routledge
Starting with abstract painting and abstract work in other media.	Kenneth Jameson	1970	Studio Vista;Watson-Guptill
Differential and Integral Inequalities - Theory and Applications: Functional, Partial, Abstract, and Complex Differential Equations	V. Lakshmikantham; S. Leela	1969	Elsevier
Simplifying Android Development with Coroutines and Flows: Learn how to use Kotlin coroutines and the flow API to handle data streams asynchronously in your Android app	Jomar Tigcal	2022	Packt Publishing - ebooks Account
Quantifiers, deduction, and context	Makoto Kanazawa	1995	CSLI Publications
Explanation, Causation and Deduction	Fred Wilson (auth.)	1985	Springer Netherlands
Explanation, Causation and Deduction	Fred Wilson	1985	Springer Netherlands
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction	Danny De Schreye; Vincent Nys; Colin Nicholson	Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers	Maurizio Proietti; Hirohisa Seki	2015	Springer International Publishing
Controlling conjunctive partial deduction	Robert Glück; Jesper Jørgensen; Bern Martens; Morten Heine Sørensen	Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP ' 96, Aachen, Germany, September 24 - 27, 1996. Proceedings	Herbert Kuchen; S.Doaitse Swierstra	1996	Springer Berlin Heidelberg
Conjunctive partial deduction in practice	Jesper Jørgensen; Michael Leuschel; Bern Martens	Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR' 96, Stockholm, Sweden, August 28-30, 1996, Proceedings	John Gallagher	1997	Springer Berlin Heidelberg
Abstract Partial Deduction Challenged	Stefan Gruner	Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers	Michael Leuschel	2003	Springer Berlin Heidelberg
Abstract Partial Deduction Challeng		Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers	María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.)	2003	Springer-Verlag Berlin Heidelberg
Compiling Control as Offline Partial Deduction	Vincent Nys; Danny De Schreye	Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers	Fred Mesnard; Peter J. Stuckey	1st ed. 2019	Springer International Publishing
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking	Michael Leuschel; Stefan Gruner	Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers	Alberto Pettorossi	2002	Springer Berlin Heidelberg
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering	Michael Leuschel; Germán Vidal	Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings	Mooly Sagiv	2005	Springer Berlin Heidelberg
Sonic Partial Deduction	Jonathan Martin; Michael Leuschel	Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI' 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings	Dines Bjørner; Manfred Broy; Alexandre V. Zamulin	2000	Springer Berlin Heidelberg
Partial Deduction Strategies		Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers	João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum	2005	Springer
Conjunctive Abstract Interpretation Using Paramodulation	Or Ozeri; Oded Padon; Noam Rinetzky; Mooly Sagiv	Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings	Ahmed Bouajjani; David Monniaux	1st ed. 2017	Springer International Publishing
Finite Conjunctive Nondeterminism (Extended Abstract)	M. Hennessy; G. Plotkin	Concurrency and Nets: Advances in Petri Nets	Klaus Voss; Hartmann J. Genrich; Grzegorz Rozenberg	1987	Springer Berlin Heidelberg
Programming with coroutines		Coroutines: A Programming Methodology, a Language Design and an Implementation	C.D. Marlin	1980	Springer Berlin Heidelberg
Iterating with Coroutines		Beginning Lua Programming	Kurt Jung, Aaron Brown	2007	Wiley/Wrox
Spinner with Coroutines		Fluent Python: Clear, Concise, and Effective Programming	Luciano Ramalho	2022	O'Reilly Media
Iterating with Coroutines		Beginning Lua Programming (Programmer to Programmer)	Kurt Jung, Aaron Brown,	2007	John Wiley & Sons
Analysing AI Planning Problems in Linear Logic – A Partial Deduction Approach	Peep Küngas	Advances in Artificial Intelligence - SBIA 2004: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-October 1, 2004, Proceedings	Ana L. C. Bazzan; Sofiane Labidi	2004	Springer Berlin Heidelberg
Partial deduction and driving are equivalent	Robert Glück; Morten Heine Sørensen	Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP ' 94, Madrid, Spain, September 14 - 16, 1994. Proceedings	Manuel Hermenegildo; Jaan Penjam	1994	Springer Berlin Heidelberg
On Partial Deduction and Conversational Agents		Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence. . . in Artificial Intelligence and Applications)	T. Alsinet, J. Puyol-Gruart, C. Torras	2008-01-01	IOS Press
Compiling Laziness by Partial Evaluation	Anders Bondorf	Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland	Simon L. Peyton Jones; Graham Hutton; Carsten Kehler Holst	1991	Springer London
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction" - similar Books and Chapters