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

Perspectives of Systems Informatics系统信息学透视/会议录 PDF格式下载