"Imperative Program Transformation by Rewriting"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
The Innovator\’s Imperative: Rapid Technology Adoption for Digital Transformation	Stephen J Andriole; Thomas Cox; Kaung M. Khin	2017	Routledge
Rewriting Shakespeare,rewriting ourselves	Peter Erickson	1991	University of California Press
Parallel Algorithm Derivation and Program Transformation	Robert Paige; J.H. Reif; Ralph Wachter	1993	Springer US
Reasoning About Program Transformations: Imperative Programming and Flow of Data	Jean-Francois Collard	2003	Springer New York
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System	Berthold Hoffmann; Bernd Krieg-Brückner	1993	Springer Berlin Heidelberg
Rewriting Techniques	Hassan Aït-Kaci; Maurice Nivat	1989	Academic Press
Resilience Imperative	Magali Reghezza and Samuel Rufat	2016	Elsevier
Kennedy Imperative	Leon Berger	2013	Open Road Integrated Media, Inc.
Past imperative	Dave Duncan	1996	AvoNova
Imperative (Starfire)	Steve White; Charles E Gannon	Apr 25, 2017	Baen
Past imperative	Dave Duncan	1995	W. Morrow
Past Imperative	Dave Duncan	1997	Corgi
Conflict imperative	Don Pendleton	2000	Worldwide
Italy, Europe, the Left: The transformation of Italian communism and the European imperative	Vassilis Fouskas	1998	Routledge
Italy, Europe, the Left: the transformation of Italian communism and the European imperative /	Fouskas, Vassilis.	[1998], ©1998.	Ashgate,
Call-By-Push-Value: A Functional/Imperative Synthesis	Paul Blain Levy	2003	Springer Netherlands
Call-by-push-value: a functional/imperative synthesis	Paul Blain Levy	2003	Kluwer Academic Publishers
Malignant Transformation by Viruses	Werner H. Kirsten	1966	Springer Berlin Heidelberg
Corporate Defense and the Value Preservation Imperative: Bulletproof Your Corporate Defense Program	Sean Lyons	2016	Routledge
Rewriting Shakespeare's Plays for and by the Contemporary Stage	Michael Dobson (editor), Estelle Rivier-Arnaud (editor)	2017	Cambridge Scholars Publishing
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
Imperative Program Transformation by Rewriting	David Lacey; Oege de Moor	Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings	Reinhard Wilhelm	2001	Springer Berlin Heidelberg
Program transformation and rewriting	Françoise Bellegarde	Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings	Ronald V. Book	1991	Springer Berlin Heidelberg
Linearization by Program Transformation	Sandra Alves; Mário Florido	Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers	Maurice Bruynooghe	2004	Springer Berlin Heidelberg
Program transformation by supercompilation	Valentin F. Turchin	Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985	Harald Ganzinger; Neil Jones	1986	Springer Berlin Heidelberg
Program Correctness by Transformation	Marieke Huisman; Stefan Blom; Saeed Darabi; Mohsen Safari	Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2018	Springer International Publishing
Imperative Program Correctness		Discrete structures, logic, and computability	James L. Hein	1995	Jones and Bartlett
Program Development by Proof Transformation	Ulrich Berger; Helmut Schwichtenberg	Proof and Computation	Helmut Schwichtenberg	1995	Springer Berlin Heidelberg
Program production by successive transformation	M. Griffiths	Language Hierarchies and Interfaces: International Summer School	F.L. Bauer; K. Samelson	1976	Springer Berlin Heidelberg
RAPT: A Program Transformation System Based on Term Rewriting	Yuki Chiba; Takahito Aoto	Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings	Frank Pfenning	2006	Springer Berlin Heidelberg
Program Transformation		Design and Analysis of Algorithms	Parag Himanshu Dave, Himanshu Bhalchandra Dave	2007	Pearson Education
Program Transformation	Alan Bundy; Lincoln Wallen	Catalogue of Artificial Intelligence Tools	A. Bundy	1984	Springer Berlin Heidelberg
Program Transformation		Bracmat Programming Language Manual	Bart Jongejan	2019	Bart Jongejan
Program Transformation		Why Prolog?: Justifying Logic Programming for Applications	Gregory L. Lazarev	1989	Prentice Hall;Prentice Hall International
The workspace transformation imperative	Jacqueline Vischer	Space Meets Status: Designing Workplace Performance	Fritz Steele; Jacqueline Vischer	2005	Routledge
Convergent term rewriting systems can be used for program transformation	Françoise Bellegarde	Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985	Harald Ganzinger; Neil Jones	1986	Springer Berlin Heidelberg
Program development by transformation and refinement	Stefan Jähnichen; Fatima Ali Hussain; Matthias Weber	Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986	Reidar Conradi; Tor M. Didriksen; Dag H. Wanvik	1986	Springer Berlin Heidelberg
Probabilistic Resource Analysis by Program Transformation	Maja H. Kirkeby; Mads Rosendahl	Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers	Marko van Eekelen; Ugo Dal Lago	1st ed. 2016	Springer International Publishing
Computing Stable Models by Program Transformation		Logic Programming: The 11th International Conference	Pascal Van Hentenryck	1994	MIT Press
Recomputation-Free Lemmatization by Program Transformation		Logic Programming: The 11th International Conference	Pascal Van Hentenryck	1994	MIT Press
Diaspora as rewriting and transformation		Diaspora as Translation and Decolonisation	Ipek Demir	2022	Manchester University Press
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Imperative Program Transformation by Rewriting" - similar Books and Chapters