Parameter
Mehr zum Buch
InhaltsverzeichnisTemporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM.Tools for Program Development.Declarative Programming with Function Patterns.Transformational Verification of Parameterized Protocols Using Array Formulas.Design and Implementation of : A Real-Time Action Description Language.Program Transformations.An Algorithm for Local Variable Elimination in Normal Logic Programs.Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives.Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.Software Development and Program Analysis.A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.Converting One Type-Based Abstract Domain to Another.Experiments in Context-Sensitive Analysis of Modular Programs.
Buchkauf
Logic based program synthesis and transformation, Patricia M. Hill
- Sprache
- Erscheinungsdatum
- 2006
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Logic based program synthesis and transformation
- Sprache
- Englisch
- Autor*innen
- Patricia M. Hill
- Verlag
- Springer
- Erscheinungsdatum
- 2006
- ISBN10
- 3540326545
- ISBN13
- 9783540326540
- Kategorie
- Informatik & Programmierung
- Beschreibung
- InhaltsverzeichnisTemporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM.Tools for Program Development.Declarative Programming with Function Patterns.Transformational Verification of Parameterized Protocols Using Array Formulas.Design and Implementation of : A Real-Time Action Description Language.Program Transformations.An Algorithm for Local Variable Elimination in Normal Logic Programs.Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives.Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.Software Development and Program Analysis.A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.Converting One Type-Based Abstract Domain to Another.Experiments in Context-Sensitive Analysis of Modular Programs.