Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Andy King
    • $74.99
    • $74.99

Publisher Description

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

GENRE
Computing & Internet
RELEASED
2008
26 November
LANGUAGE
EN
English
LENGTH
232
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
5.7
MB

More Books Like This

Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2009
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2011
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2009
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2011
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011
Logic Programming Logic Programming
Logic Programming
2009

More Books by Andy King

Baking By Hand Baking By Hand
Baking By Hand
2013
How To Understand Your Anger For Better Mental Health How To Understand Your Anger For Better Mental Health
How To Understand Your Anger For Better Mental Health
2023
Anxiety In Relationship Anxiety In Relationship
Anxiety In Relationship
2023
Anxiety In Relationship Anxiety In Relationship
Anxiety In Relationship
2023
England and Scotland, 1286-1603 England and Scotland, 1286-1603
England and Scotland, 1286-1603
2015
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2016