Perspectives of Systems Informatics系统信息学透视/会议录

出版时间：2004-5  出版社：Oversea Publishing House  作者：Broy, Manfred; Zamulin, Alexandre V.;  页数：572  

内容概要

This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003.　　The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.

书籍目录

Programming Issues  The Verifying Compiler: a Grand Challenge for Computing Research  Linear Types for Cashflow Reengineering  Storing Properties in Grouped Tagged Tuples  A Polymorphic Radix-n Framework for Fast Fourier Transforms  Intersecting Classes and PrototypesSoftware Engineering  Bending without Breaking: Making Software More Flexible  Program Construction in the Context of Evolutionary Computation  A Layered Architecture Sustaining Model-Driven and Event-Driven Software DevelopmentSoftware Education  The Outside-In Method of Teaching Introductory ProgrammingProgram Synthesis, Transformation &: Semantics　Numeric Types in Formal Synthesis　On the Possibility of Provably Secure Obfuscating Programs　Verification-Oriented Language　Operational Semantics　light and Its Structural　Proofs-as-Imperative-Programs: Application to Synthesis of Contracts Graphical Interfaces　On the Visualization and Aesthetics of Large Graphs　Data Mappings in the Model-View-Controller PatternPartial Evaluation &:Supercompilation　The Translation Power of the Futamura Projections　A Compiler Generator for Constraint Logic Programs  　The Supercompiler SCP4: General Structure　Partial Evaluation for Common Intermediate LanguageVerification　Timed Verification with CRT　Verification of Distributed Dataspace Architectures　Using SPIN and STeP to Verify Business Processes Specifications　Integrating Tools for Automatic Program Verification  Logic & Types　A Logical Reconstruction of Reachability……Concurrent & Distributed SystemsConcurrent & Reactive SystemsProgram SpecificationVerification & Model Checking Graphical InterfacesPartial Evaluation & SupercompilationVerififcationLogic & TypesConcurrent & Distributed SystemsConcurrent & Reactive SystemsConstrait Programming Doucmentation & Testing DatabasesNatural Language Processing Author Index