"Correctness of Program Transformations as a Termination Problem"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Mathematical theory of program correctness	J. W. de Bakker	1980	Prentice-Hall International
Analysis and Correctness of Algebraic Graph and Model Transformations	Ulrike Golas	2011	Vieweg+Teubner Verlag
The Correctness problem in computer science	Robert S. Boyer; J Strother Moore	1981	Academic Press
Termination of the bracero program: foreign economic aspects	Hans G. Hirsch	1967	Economic Research Service, U.S. Dept. of Agriculture
Negotiating Peace: War Termination as a Bargaining Process	Paul R. Pillar	1983	Princeton University Press
Negotiating peace: war termination as a bargaining process
Introducing Software Verification with Dafny Language: Proving Program Correctness	Boro Sitnikovski	1st ed.	Apress
X-The Problem of the Negro as a Problem for Thought: The Problem of the Negro as a Problem for Thought	Nahum Dimitri Chandler	2013	Fordham University Press
Transformations on loop-free program schemata	Nurit Bracha	1972	Dept. of Computer Science, University of Illinois at Urbana-Champaign
From problem to program	Michael Wardle	1972	University Press
Political Correctness	Geoffrey Hughes	2009	John Wiley & Sons
Political correctness	Rachel Bozek	2018	Greenhaven Publishing LLC
Political correctness	David Thibodaux	1992	Huntington House Publishers
The Problem of the Negro as a Problem for Gender	Marquis Bey	2020	University of Minnesota Press
Politics as a Moral Problem	János Kis	2008	Central European University Press
Sin as a problem today	James Orr	1910	Hodder and Stoughton
Syphilis as a modern problem	William Allen Pusey	1915	American Medical Assn.
Unemployment as a world-problem	Wright, Quincy	1970	Books for Libraries Press
Prayer as a Political Problem	Jean Daniélou	1967	Burns & Oates Ltd.
Alcoholism as a medical problem	Euval S. Barrekette, H. D. Kruse, H. D. Kruse	©1956	Hoeber
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
Correctness of Program Transformations as a Termination Problem	Conrad Rau; David Sabel; Manfred Schmidt-Schauß	Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings	Bernhard Gramlich; Dale Miller; Ulrike Sattler	2012	Springer Berlin Heidelberg
Correctness of Logic Program Transformations Based on Existential Termination		Logic Programming: The 1995 International Symposium	John W. Lloyd	1995	MIT Press,
Correctness of Logic Program Transformations Based on Existential Termination		Logic Programming: The 1995 International Symposium	John W. Lloyd	1995	MIT Press
Correctness of Effect-Based Program Transformations		Formal Logical Methods for System Security and Correctness	Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller	2008	IOS Press
Program Correctness		Barron's AP Computer Science A	Roselyn Teukolsky	2020	Barron's Educational Series
Program Correctness	Raymond Turner	Computational Artifacts: Towards a Philosophy of Computer Science	Raymond Turner	1st ed. 2018	Springer Berlin Heidelberg
Program Correctness		The Turing omnibus: 61 Excursions in Computer Science	A. K. Dewdney	April 28, 1989	Computer Science Press
Proving the correctness of recursion-based automatic program transformations	David Sands	TAPSOFT ' 95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings	Peter D. Mosses; Mogens Nielsen; Michael I. Schwartzbach	1995	Springer Berlin Heidelberg
Program Termination		PHP and MySQL Web Development	Luke Welling, Laura Thomson	2008	Addison-Wesley
Program Termination		Programming Ruby: the pragmatic programmers' guide; [includes Ruby 1. 8]	Dave Thomas, Chad Fowler, Andy Hunt	2004	Pragmatic Bookshelf
Program Termination		Python essential reference	David M. Beazley	2006	Sams; Pearson Education [distributor]
Program Termination		Programming Ruby 1. 9: The Pragmatic Programmers' Guide (Facets of Ruby)	Dave Thomas, Chad Fowler, Andy Hunt	2009	Pragmatic Bookshelf
Program Termination		Programming Ruby: The Pragmatic Programmers' Guide, Second Edition	Dave Thomas, Chad Fowler, Andy Hunt	2005	Pragmatic Bookshelf
program termination		The Dictionary of Standard C	Rex Jaeschke	2001	Prentice Hall
termination, program		The Dictionary of Standard C	Rex Jaeschke	2001	Prentice Hall
Program Termination		The Icon Programming Language [3rd ed. ]	Ralph E. Griswold, Madge T. Griswold	2002	University of Arizona
Program Termination		Bracmat Programming Language Examples from RosettaCode. org	Bart Jongejan	2019	RosettaCode.org
Program Termination		Computer Systems	J. Stanley Warford	2016	Jones & Bartlett Learning
Program termination		Logo Programming Language Examples from RosettaCode. org	RosettaCode.org	2019	RosettaCode.org
Undecidability of Program Correctness		Static Program Analysis	Anders Møller, Michael I. Schwartzbach	2018	Aarhus University
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Correctness of Program Transformations as a Termination Problem" - similar Books and Chapters