"A compile-time memory-reuse scheme for concurrent logic programs"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Developing with compile time in mind	Richard Cattermole	2015	Leanpub
An interactive compile-time diagnostic system	Michael Harry Tindall	1975	Dept. of Computer Science, University of Illinois at Urbana-Champaign
The architecture of concurrent programs	Per Brinch Hansen	1977	Prentice-Hall
Logics and analyses for concurrent heap-manipulating programs	Alexey Gotsman	2009	[British Computer Society]
Termination Proofs for Logic Programs	Lutz Plümer	1990	Springer Berlin Heidelberg
Conclog: A Methodological Approach to Concurrent Logic Programming	Jean-Marie Jacquet	1991	Springer Berlin Heidelberg
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog	3rd ed. 2009	Springer London
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	2nd ed. 1997	Springer New York
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	1991	Springer New York
Verifying Concurrent Processes Using Temporal Logic	B. T. Hailpern	1982	Springer Berlin Heidelberg
Usefulness of compile-time restructuring of large grain data flow programs in throughput-critical applications	David M. Cross	1993	Naval Postgraduate School;Available from National Technical Information Service
Concurrent enrollment programs: College credit for high school students (Fastback)	Arthur Richard Greenberg	1989	Phi Delta Kappa Educational Foundation
An enhanced conversion scheme for lexicographic, multiobjective integer programs	James P. Ignizio	1982	Naval Postgraduate School;Available from National Technical Information Service
Temporal Logic of Programs	Fred Kröger	1987	Springer Berlin Heidelberg
Executing Temporal Logic Programs	Ben C. Moszkowski	1986	Cambridge University Press
UnDoing Buildings: Adaptive Reuse and Cultural Memory	Sally Stone	2019	Routledge
How to compile a catalog	Guy George Wasson	1915	Tiernan-Dart printing co.
Compile-time analysis of data list-format list correspondences.	Paul Abrahams	1979	Courant Institute of Mathematical Sciences, New York University
A memory of time /	Reyes, Virgilio A.,
Memory-Based Logic Synthesis	Tsutomu Sasao	2011	Springer New York
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
A compile-time memory-reuse scheme for concurrent logic programs	S. Duvvuru; R. Sundararajan; E. Tick; A. V. S. Sastry; L. Hansen; X. Zhong	Memory Management: International Workshop IWMM 92, St. Malo, France, September 17 - 19, 1992. Proceedings	Yves Bekkers; Jacques Cohen	1992	Springer Berlin Heidelberg
A basic scheme for concurrent logic programming		Conclog: A Methodological Approach to Concurrent Logic Programming	Jean-Marie Jacquet	1991	Springer Berlin Heidelberg
Slicing Concurrent Logic Programs	Jianjun Zhao, Jingde Cheng and Kazuo Ushijima	Functional and logic programming: Second Fuji Interntational Workshop: Shonan Village Center, Japan, November 1-4, 1996 /	Ida, Tetsuo.	1997.	World Scientific Pub.,
Ordering optimisations for concurrent logic programs	Andy King; Paul Soper	Logical Foundations of Computer Science - Tver ' 92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings	Anil Nerode; Mikhail Taitslin	1992	Springer Berlin Heidelberg
Memory Distance Measurement for Concurrent Programs	Hao Li; Jialiang Chang; Zijiang Yang; Steve Carr	Languages and Compilers for Parallel Computing: 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers	Lawrence Rauchwerger	1st ed. 2019	Springer International Publishing
Concurrent Logic Programs a la Mode	Evan Tick; Bart Massey; Ferenc Rakoczi; Putthi Tulayathun	Implementations of Logic Programming Systems	Evan Tick; Giancarlo Succi	1994	Springer US
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs	Nalini Vasudevan; Olivier Tardieu; Julian Dolby; Stephen A. Edwards	Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings	Oege de Moor; Michael I. Schwartzbach	2009	Springer Berlin Heidelberg
73 Writing Compile-Time "Programs"		The art of assembly language	by Randall Hyde	2001	No Starch Press
Reducing scheduling overheads for concurrent logic programs	Andy King; Paul Soper	Processing Declarative Knowledge: International Workshop PDK ' 91, Kaiserslautern, Germany, July 1-3, 1991. Proceedings	Harold Boley; Michael M. Richter	1991	Springer Berlin Heidelberg
Ports for Objects in Concurrent Logic Programs		Research Directions in Concurrent Object-Oriented Programming	Gul Agha; Peter Wegner; Akinori Yonezawa	2003	MIT Press
Memory management in concurrent programs		The Art of Writing Efficient Programs: An advanced programmer's guide to efficient hardware utilization and compiler optimizations using C++ examples	Fedor G. Pikus	2021	Packt Publishing
A concurrent branching time temporal logic	Wojciech Penczek	CSL ' 89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings	Egon Börger; Hans Kleine Büning; Michael M. Richter	1990	Springer Berlin Heidelberg
Concurrent scheme	Robert R. Kessler; Mark R. Swanson	Parallel Lisp: Languages and Systems: US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings	Takayasu Ito; Robert H. Jr. Halstead	1990	Springer Berlin Heidelberg
13318 Introduction to Compile-Time Programs		The art of assembly language	by Randall Hyde	2001	No Starch Press
Modal logic of concurrent nondeterministic programs	Karl Abrahamson	Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979	G. Kahn	1979	Springer Berlin Heidelberg
Serialisation analysis of concurrent logic programs	Andy King; Paul Soper	Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings	Helene Kirchner; Giorgio Levi	1992	Springer Berlin Heidelberg
8: Ports for Objects in Concurrent Logic Programs		Research Directions in Concurrent Object-Oriented Programming	Gul Agha; Peter Wegner; Akinori Yonezawa	1993	MIT Press,
Time Complexity of Concurrent Programs	Elena Giachino; Einar Broch Johnsen; Cosimo Laneve; Ka I. Pun	Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers	Christiano Braga; Peter Csaba Ölveczky	1st ed. 2016	Springer International Publishing
Concurrent Semantics for Concurrent Constraint Programs	Francesca Rossi; Ugo Montanari	Constraint Programming	Brian Mayoh; Enn Tyugu; Jaan Penjam	1994	Springer Berlin Heidelberg
A foundation for advanced compile-time analysis of linda programs	N. Carriero; D. Gelernter	Languages and Compilers for Parallel Computing: Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings	Utpal Banerjee; David Gelernter; Alex Nicolau; David Padua	1992	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"A compile-time memory-reuse scheme for concurrent logic programs" - similar Books and Chapters