Logic-Based Program Synthesis and Transformation  17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /  [electronic resource] : 
edited by Andy King. 
 - 1st ed. 2008. 
 - X, 222 p.  online resource. 
 - Theoretical Computer Science and General Issues,  4915  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  4915 .
<br/><br/>Program Termination -- Proving Termination with (Boolean) Satisfaction -- Termination Analysis of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule-Based Constraint Solvers: Combined Approach -- A Scalable Inclusion Constraint Solver Using Unification -- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs -- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs -- Software Engineering -- Snapshot Generation in a Constructive Object-Oriented Modeling Language -- Synthesis of Data Views for Communicating Processes -- Action Refinement in Process Algebra and Security Issues. 
<br/><br/><label>ISBN: </label>9783540787693 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-78769-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Computer programming.<br/>Machine theory.<br/>Artificial intelligence.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Programming Techniques.<br/>Formal Languages and Automata Theory.<br/>Artificial Intelligence.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1