1 option
Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 3901.
- Theoretical Computer Science and General Issues ; 3901
- Language:
- English
- Subjects (All):
- Computer logic.
- Artificial intelligence.
- Computer programming.
- Logic, Symbolic and mathematical.
- Logics and Meanings of Programs.
- Artificial Intelligence.
- Programming Techniques.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Logics and Meanings of Programs.
- Artificial Intelligence.
- Programming Techniques.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (X, 182 pages).
- Edition:
- First edition 2006.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
- System Details:
- text file PDF
- Contents:
- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
- Temporal 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-32656-4
- 9783540326564
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.