数学方法与软件技术 Algebraic methodology and software technology

出版时间：2006-12  出版社：湖北辞书出版社  作者：Johnson, Michael; Vene, Varmo;  页数：387  

内容概要

This book constitutes the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006, held in Kuressaare, Estonia in July 2006, co-located with MPC 2006, the 8th International Conference on Mathematics of Program Construction.    The 24 revised full papers presented together with 3 system demonstrations and 3 invited talks were carefully reviewed and selected from 55 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

书籍目录

Invited Talks  Incremental Software Construction with Refinement Diagrams  Recursive Program Schemes: Past, Present, and Future  Monad-Based Logics for Computational EffectsContributed Papers  State Space Representation for Verification of Open Systems  Data Movement Optimisation in Point-Free Form  Measuring the Speed of Information Leakage in Mobile Processes  Formal Islands  Some Programming Languages for LOGSPACE and PTIME  Opaque Predicates Detection by Abstract Interpretation  DO-Cash An Observer-Based Casl Extension for Dynamic Specifications  Model Transformations Incorporating Multiple Views  Hyperfinite Approximations to Labeled Markov Transition Systems  State Space Reduction of Rewrite Theories Using Invisible Transitions  The Essence of Multitasking  The Substitution Vanishes  Decomposing Interactions  Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues  Assessing the Expressivity of Formal Specification Languages  Fork Algebras as a Sufficiently Rich Universal Institution  Realizability Criteria for Compositional MSC  Quantales and Temporal Logics  Fractional Semantics  Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic  Testing Semantics: Connecting Processes and Process Logics  Tableaux for Lattices  Accelerated Modal Abstractions of Labelled Transition Systems  A Compositional Semantics of Plan Revision in Intelligent AgentsSystem DescriptionsAuthor Index