Willkommen, schön sind Sie da!
Logo Ex Libris

Logic-Based Program Synthesis and Transformation

  • E-Book (pdf)
  • 222 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007,... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 87.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

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.

Produktinformationen

Titel: Logic-Based Program Synthesis and Transformation
Untertitel: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Editor:
EAN: 9783540787693
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 222
Veröffentlichung: 26.11.2008
Dateigrösse: 4.5 MB

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"