Recent Trends in Algebraic Development Techniques [electronic resource] :14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers /
Contributor(s): Bert, Didier [editor.] | Choppy, Christine [editor.] | Mosses, Peter D [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science: 1827Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Description: X, 490 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540446163.Subject(s): Computer science | Software engineering | Computer programming | Programming languages (Electronic computers) | Computer logic | Computer Science | Software Engineering/Programming and Operating Systems | Programming Languages, Compilers, Interpreters | Programming Techniques | Software Engineering | Logics and Meanings of ProgramsOnline resources: Click here to access online
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.