"Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation	Anne Mulkers	1993	Springer Berlin Heidelberg
Live data structures in logic programs: derivation by means of abstract interpretation /	Mulkers, Anne,	[1993], ©1993.	Springer-Verlag,
Algorithms + Data Structures = Programs	Niklaus Wirth	1976	Prentice Hall
Data structures with abstract data types and Ada	Daniel F. Stubbs	1993	PWS-Kent Pub.
Logical derivation of computer programs	Thomas G. Windeknecht	1999	Intellect
Genetic Algorithms + Data Structures = Evolution Programs	Zbigniew Michalewicz	3rd ed. 1996	Springer Berlin Heidelberg
Genetic Algorithms + Data Structures = Evolution Programs	Zbigniew Michalewicz	2nd ed. 1994	Springer Berlin Heidelberg
Genetic Algorithms + Data Structures = Evolution Programs	Zbigniew Michalewicz	1992	Springer Berlin Heidelberg
Data structures in Java: from abstract data types to the Java Collections Framework /	Gray, Simon	c2007.	Pearson Addison-Wesley,
Fundamentals of Python: from first programs through data structures	Kenneth Alfred Lambert	2010	Course Technology/Cengage Learning
Algorithms + Data Structures = Programs (Prentice-Hall Series in Automatic Computation)	Niklaus Wirth	1976	Prentice Hall
Temporal Logic of Programs	Fred Kröger	1987	Springer Berlin Heidelberg
Interpretation of metallographic structures	William Rostoker	1965	Academic Press
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols	Benjamin Aziz	1st ed. 2022	Springer International Publishing
Interpretation of data	United States. Extension Service. Division of Extension Research and Training	1955
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution	Robert L. Carpenter	1992-06	Cambridge University Press
Data structures in Java	Thomas A. Standish	1998	Addison-Wesley
Data structures in Pascal	Edward M. Reingold	1986	Little, Brown
Data Structures & Algorithms in Kotlin: Implementing Practical Data Structures in Kotlin	raywenderlich Tutorial Team, Irina Galata, Matei Suica	2019	Razeware LLC
Data Structures	A. T. Berztiss and Werner Rheinboldt	1971	Academic Press
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 mode analysis of logic programs by abstract interpretation	Lunjin Lu	Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings	Dines Bjørner; Manfred Broy; Igor V. Pottosin	1996	Springer Berlin Heidelberg
A Mode Analysis of Logic Programs by Abstract Interpretation	L. Lu	Perspectives of system informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996: proceedings /	Bjørner, D.; Broy, M.,; Pottosin, I. V.	[1996], ©1996.	Springer,
Denotational abstract interpretation of functional logic programs	Frank Zartmann	Static Analysis: 4th International Symposium, SAS ' 97, Paris, France, September 8-10, 1997, Proceedings	Pascal van Hentenryck	1997	Springer Berlin Heidelberg
Derivation of proof methods by abstract interpretation	Giorgio Levi; Paolo Volpe	Principles of Declarative Programming: 10th International Symposium PLILP' 98, Held Jointly with the 6th International Conference ALP' 98, Pisa, Italy, September 16-18, 1998 Proceedings	Catuscia Palamidessi; Hugh Glaser; Karl Meinke	1998	Springer Berlin Heidelberg
Deriving Transformations of Logic Programs Using Abstract Interpretation	Dmitri Boulanger; Maurice Bruynooghe	Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992	Kung-Kiu Lau; Timothy P. Clement	1993	Springer London
Derivation of linear size relations by abstract interpretation	Kristof Verschaetse; Danny De Schreye	Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings	Maurice Bruynooghe; Martin Wirsing	1992	Springer Berlin Heidelberg
Abstract Interpretation of Prolog Programs	Fausto Spoto; Giorgio Levi	Algebraic Methodology and Software Technology: 7th International Conference, AMAST' 98, Amazonia, Brazil, January 4-8, 1999, Proceedings	Armando M. Haeberer	1999	Springer Berlin Heidelberg
Abstract interpretation of Prolog programs	C. S. Mellish	Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings	Ehud Shapiro	1986	Springer Berlin Heidelberg
Abstract debugging of logic programs	Marco Comini; Giorgio Levi; Giuliana Vitiello	Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR ' 94 and META ' 94, Pisa, Italy, June 20 - 21, 1994. Proceedings	Laurent Fribourg; Franco Turini	1994	Springer Berlin Heidelberg
An Abstract Interpretation Approach to Termination of Logic Programs	Roberta Gori	Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings	Michel Parigot; Andrei Voronkov	2000	Springer Berlin Heidelberg
Abstract Data Structures	Thomas Mailund	Functional Data Structures in R: Advanced Statistical Programming in R	Thomas Mailund	1st ed.	Apress
Goal-oriented derivation of logic programs	C. J. Hogger	Mathematical Foundations of Computer Science 1978: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings	J. Winkowski	1978	Springer Berlin Heidelberg
Proving properties of logic programs by abstract diagnosis	Marco Comini; Giorgio Levi; Maria Chiara Meo; Giuliana Vitiello	Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers	Mads Dam	1997	Springer Berlin Heidelberg
Computing Abstract Distances in Logic Programs	Ignacio Casso; José F. Morales; Pedro López-García; Roberto Giacobazzi; Manuel V. Hermenegildo	Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers	Maurizio Gabbrielli	1st ed. 2020	Springer International Publishing
State Isomorphism in Model Programs with Abstract Data Structures	Margus Veanes; Juhan Ernits; Colin Campbell	Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6. 1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings	John Derrick; Jüri Vain	2007	Springer Berlin Heidelberg
Towards a framework for the abstract interpretation of logic programs	Ulf Nilsson	Programming Languages Implementation and Logic Programming: International Workshop PLILP ' 88, Orleans, France, May 16-18, 1988. Proceedings	Pierre Deransart; Bernard Lorho; Jan Maluszynski	1989	Springer Berlin Heidelberg
Data Structures Programs		Programming pearls	Jon Louis Bentley	1986	Addison-Wesley
Backwards Abstract Interpretation of Probabilistic Programs	David Monniaux	Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings	David Sands	2001	Springer Berlin Heidelberg
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs		Logic Programming: The 1995 International Symposium	John W. Lloyd	1995	MIT Press,
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs		Logic Programming: The 1995 International Symposium	John W. Lloyd	1995	MIT Press
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation" - similar Books and Chapters