Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 - nuovo libro

EAN (ISBN-13): 9783540671022
ISBN (ISBN-10): 3540671021
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2000
Editore: Springer Berlin Heidelberg Core >1
540 Pagine
Peso: 0,836 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-05-05T20:34:47+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-06T09:44:54+02:00 (Zurich)
ISBN/EAN: 3540671021

ISBN - Stili di scrittura alternativi:
3-540-67102-1, 978-3-540-67102-2
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : alexandre, pasetti, manfred broy, loon, zamulin, dines
Titolo del libro: perspectives systems informatics, july july, 1999, russia, memorial, psi, novosibirsk, conference proceedings, third international conference, ruß, computer perspective, rus, stratosphere, mémorial, lecture notes computer science

---

Dati dell'editore

Autore: Dines Bjørner; Manfred Broy; Alexandre V. Zamulin
Titolo: Lecture Notes in Computer Science; Perspectives of System Informatics - Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Editore: Springer; Springer Berlin
540 Pagine
Anno di pubblicazione: 2000-01-26
Berlin; Heidelberg; DE
Lingua: Inglese
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 540 p. 179 illus., 3 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Constraint; artificial intelligence; intelligence; logic; model checking; object-oriented programming; programming; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Programming Techniques; Software Engineering; Artificial Intelligence; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Software Engineering; Künstliche Intelligenz; EA

Algebraic Specifications.- The Common Framework Initiative for Algebraic Specification and Development of Software.- A Logical Approach to Specification of Hybrid Systems.- Specifications with States.- Algebraic Imperative Specifications.- Enhanced Control Flow Graphs in Montages.- Abstract State Machines for the Composition of Architectural Styles.- Partial Evaluation and Supercompilation.- The Essence of Program Transformation by Partial Evaluation and Driving.- Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.- Abstraction-Based Partial Deduction for Solving Inverse Problems — A Transformational Approach to Software Verification.- Sonic Partial Deduction.- On Perfect Supercompilation.- Linear Time Self-Interpretation of the Pure Lambda Calculus.- An Optimal Algorithm for Purging Regular Schemes.- Polymorphism in OBJ-P.- Concurrency and Parallelism.- Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem.- Serializability Preserving Extensions of Concurrency Control Protocols.- Platform Independent Approach for Detecting Shared Memory Parallelism.- Hierarchical Cause-Effect Structures.- Some Decidability Results for Nested Petri Nets.- Abstract Structures for Communication between Processes.- Logic and Processes.- Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs.- On Semantics and Correctness of Reactive Rule-Based Programs.- Compositional Verification of CCS Processes.- Compositional Style of Programming FPGAs.- Languages and Software.- Using Experiments to Build a Body of Knowledge.- Patterns in Words versus Patterns in Trees: A Brief Survey and New Results.- Extensions: A Technique for Structuring Functional-Logic Programs.- Language Tools and Programming Systems inEducational Informatics.- Database Programming.- Current Directions in Hyper-Programming.- Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data.- A General Object-Oriented Model for Spatial Data.- Object-Oriented Programming.- Twin — A Design Pattern for Modeling Multiple Inheritance.- A Partial Semantics for Object Data Models with Static Binding.- Heterogeneous, Nested STL Containers in C++.- Data Flow Analysis of Java Programs in the Presence of Exceptions.- Late Adaptation of Method Invocation Semantics.- Constraint Programming.- A Control Language for Designing Constraint Solvers.- An Algorithm to Compute Inner Approximations of Relations for Interval Constraints.- Constraint Programming Techniques for Solving Problems on Graphs.- Extensional Set Library for ECLiPSe.- Model & Program Checking.- Introducing Mutual Exclusion in Esterel.- Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.- Formal Verification of a Compiler Back-End Generic Checker Program.- Construction of Verified Compiler Front-Ends with Program-Checking.- Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles.- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles.- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique.- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique.- Natural Communication with Robots.- Approach to Development of a System for Speech Interaction with an Intelligent Robot.- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for SignLanguages.- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages.
Includes supplementary material: sn.pub/extras