Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: King, Andy (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Σειρά: Lecture Notes in Computer Science, 4915
• Θέματα: Computer science.; Software engineering.; Computer programming.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).

Πίνακας περιεχομένων:

• 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.