1 option
Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers / edited by Didier Bert, Christine Choppy, Peter Mosses.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 1827.
- Lecture Notes in Computer Science, 0302-9743 ; 1827
- Language:
- English
- Subjects (All):
- Software engineering.
- Programming languages (Electronic computers).
- Computer programming.
- Computer logic.
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Software Engineering.
- Logics and Meanings of Programs.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Software Engineering.
- Logics and Meanings of Programs.
- Physical Description:
- 1 online resource (X, 490 pages).
- Edition:
- First edition 2000.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
- System Details:
- text file PDF
- Contents:
- Invited Topics
- A Type-Theoretic Memory Model for Verification of Sequential Java Programs
- From States to Histories
- Principles and Pragmatics of Subtyping in PVS
- Casl: Language, Methodology and Tools
- Extending Casl by Late Binding
- Towards an Evolutionary Formal Software-Development Using CASL
- Development of Parsing Tools for CASL Using Generic Language Technology
- Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
- Subsorted Partial Higher-Order Logic as an Extension of CASL
- Specifying Real Numbers in CASL
- Foundations
- Specification Refinement with System F - The Higher-Order Case
- Guarded Algebras: Disguising Partiality so You Won't Know Whether Its There
- A General Completeness Result in Refinement
- An Institution of Hybrid Systems
- Realization of Probabilistic Automata: Categorical Approach
- Specifications in an Arbitrary Institution with Symbols
- A General Algebraic Framework for Studying Modular Systems
- Specification of Processes and Interactions
- History Preserving Bisimulation for Contextual Nets
- A Model for Interaction of Agents and Environments
- Algebra-Coalgebra Structures and Bialgebras
- A Uniform Model Theory for the Specification of Data and Process Types
- Other Topics
- Relating Abstract Datatypes and Z-Schemata
- Algebraic Specification of Operator-Based Multimedia Scenarios
- Higher-Order Logic and Theorem Proving for Structured Specifications
- Extraction of Structured Programs from Specification Proofs
- Towards a Verification Logic for Rewriting Logic
- The Rôle of Normalisation in Testing from Structured Algebraic Specifications.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-44616-3
- 9783540446163
- 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.