Cover Image
Read Now

1
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... Techniques for Program Specification -- Verification of Processes Using Program Transformation -- Exception...”
Cover Image
Read Now

3
Published 1993
Springer US
“...This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program...”
Cover Image
Read Now

4
by Dominus, Mark Jason
Published 2005
Morgan Kaufmann Publishers
Table of Contents: “...Front Cover; Higher-Order Perl: A Guide to Program Transformation; Copyright Page; Contents...”
Cover Image
Read Now

6
by Alstad, Kent
Published 2016
O'Reilly
Subjects: “...Program transformation (Computer programming) / fast / (OCoLC)fst01078672...”
Cover Image
Read Now

7
by Darie, Cristian
Published 2007
Wrox/Wiley
Subjects: “...Program transformation (Computer programming) / http://id.loc.gov/authorities/subjects/sh2003010267...”
Cover Image
Read Now

8
by Kuhn, Daniel
Published 2013
Dpunkt.verlag
Subjects: “...Program transformation (Computer programming) / http://id.loc.gov/authorities/subjects/sh2003010267...”
Cover Image
Read Now

9
by Hall, Brian
Published 2012
IBM, International Technical Support Organization
Subjects: “...Program transformation (Computer programming) / http://id.loc.gov/authorities/subjects/sh2003010267...”
Cover Image
Read Now

10
by Enge, Eric
Published 2009
O'Reilly Media
Subjects: “...Program transformation (Computer programming) / blmlsh...”
Cover Image
Read Now

11
by Enge, Eric, Spencer, Stephan M., Stricchiola, Jessie
Published 2016
Wydawnictwo Helion
Subjects: “...Program transformation (Computer programming) / http://id.loc.gov/authorities/subjects/sh2003010267...”
Cover Image
Read Now

12
by Enge, Eric
Published 2012
O'Reilly Media
Subjects: “...Program transformation (Computer programming) / http://id.loc.gov/authorities/subjects/sh2003010267...”
Cover Image
Read Now

13
by Enge, Eric
Published 2013
Helion
Subjects: “...Program transformation (Computer programming) / fast...”
Cover Image
Read Now

14
by Enge, Eric, Spencer, Stephan M., Stricchiola, Jessie
Published 2022
O'Reilly Media, Inc.
Subjects: “...Program transformation (Computer programming) / http://id.loc.gov/authorities/subjects/sh2003010267...”
Cover Image
Read Now

15
by Enge, Eric, Spencer, Stephan M., Stricchiola, Jessie
Published 2015
O'Reilly Media
Subjects: “...Program transformation (Computer programming) / fast...”
Cover Image
Read Now

16
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...: Program Transformation System Based on Generalized Partial Computation -- Homeomorphic Embedding...”
Cover Image
Read Now

17
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... program transformation -- Complexity of Horn programs -- Studying the cost of logic languages...”
Cover Image
Read Now

18
Published 2020
Springer International Publishing
Table of Contents: “... Are We? -- Synthesis and ProgramTransformation -- Synthesis and Program Transformation -- Relational...”
Cover Image
Read Now

19
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... -- Data flow analysis -- Bug detection -- Program transformation -- Program verification -- Security...”
Cover Image
Read Now

20
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... analysis -- Model checking -- New applications -- Program transformation -- Program verification...”