Perspectives of Systems Informatics
Home > Computing and Information Technology > Computer science > Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

|
     0     
5
4
3
2
1




International Edition


About the Book

Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference "Perspectives of System Informatics," Akademgorodok (Novosibirsk, Russia), July 9-12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for growth in the major areas of research activities in system informatics. The conference was held to honor the 70th anniversary of Ershov's closest colleague, the late Prof. Igor Pottosin (1933-2001), and his outstanding cont- bution towards advancing informatics. The ?rst four Andrei Ershov conferences were held in May 1991, June 1996, July 1999, and July 2001, and they proved to be signi?cant international events. Andrei Ershov was one of the early Russian pioneers in the ?eld of theo- tical and systems programming, a founder of the Siberian School of Computer Science. His closest colleague, Igor Pottosin, worked for the Siberian Branch of the Russian Academy of Sciences from 1958, step by step ?lling positions from junior researcher to director of the A.P. Ershov Institute of Informatics - stems. In later years he headed the Laboratory of Systems Programming in this institute and the Department of Programming at Novosibirsk State University.

Table of Contents:
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 Prototypes.- Software 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 Development.- Software Education.- The Outside-In Method of Teaching Introductory Programming.- Program Synthesis, Transformation, and Semantics.- Numeric Types in Formal Synthesis.- On the Possibility of Provably Secure Obfuscating Programs.- Verification-Oriented Language C-Light and Its Structural Operational Semantics.- 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 Pattern.- Partial Evaluation and 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 Language.- Verification.- Timed Verification with ?CRL.- Verification of Distributed Dataspace Architectures.- Using SPIN and STeP to Verify Business Processes Specifications.- Integrating Tools for Automatic Program Verification.- Logic and Types.- A Logical Reconstruction of Reachability.- Recent Advances in ?-Definability over Continuous Data Types.- Concurrent and Distributed Systems.- Open Maps and Trace Semantics for Timed Partial Order Models.- Confidentiality for Multithreaded Programs via Bisimulation.- Dynamic Modification ofSystem Structures Using LLPNs.- Concurrent and Reactive Systems.- Principles for Entity Authentication.- Causality and Replication in Concurrent Processes.- Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems.- Teams of Pushdown Automata.- Program Specification.- Algebraic State Machines: Concepts and Applications to Security.- Combining Aspects of Reactive Systems.- OCL Extended with Temporal Logic.- The Definition of Transitive Closure with OCL – Limitations and Applications –.- Verification and Model Checking.- Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.- Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework.- Polynomial Approximations for Model Checking.- Constraint Programming.- Separating Search and Strategy in Solver Cooperations.- Industrial Application of External Black-Box Functions in Constraint Programming Solver.- LGS: Geometric Constraint Solver.- On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method.- Documentation and Testing.- PROG — A New Program Documentation System.- Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.- Test Case Generation for UML Statecharts.- Databases.- Conceptual Content Modeling and Management.- A Relational Algebra for Functional Logic Deductive Databases.- Implication of Functional Dependencies for Recursive Queries.- TeXOR: Temporal XML Database on an Object-Relational Database System.- Functional Dependencies, from Relational to XML.- Data-Object Replication, Distribution, and Mobility in Network Environments.- Natural Language Processing.- Multi-classification of Patent Applications with Winnow.- Automatic Evaluation of Quality of anExplanatory Dictionary by Comparison of Word Senses.- An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems.


Best Sellers


Product Details
  • ISBN-13: 9783540208136
  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Publisher Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Height: 235 mm
  • No of Pages: 572
  • Returnable: Y
  • Width: 155 mm
  • ISBN-10: 3540208135
  • Publisher Date: 13 Jan 2004
  • Binding: Paperback
  • Language: English
  • Returnable: Y
  • Sub Title: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers


Similar Products

Add Photo
Add Photo

Customer Reviews

REVIEWS      0     
Click Here To Be The First to Review this Product
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Writing guidlines
We want to publish your review, so please:
  • keep your review on the product. Review's that defame author's character will be rejected.
  • Keep your review focused on the product.
  • Avoid writing about customer service. contact us instead if you have issue requiring immediate attention.
  • Refrain from mentioning competitors or the specific price you paid for the product.
  • Do not include any personally identifiable information, such as full names.

Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Required fields are marked with *

Review Title*
Review
    Add Photo Add up to 6 photos
    Would you recommend this product to a friend?
    Tag this Book Read more
    Does your review contain spoilers?
    What type of reader best describes you?
    I agree to the terms & conditions
    You may receive emails regarding this submission. Any emails will include the ability to opt-out of future communications.

    CUSTOMER RATINGS AND REVIEWS AND QUESTIONS AND ANSWERS TERMS OF USE

    These Terms of Use govern your conduct associated with the Customer Ratings and Reviews and/or Questions and Answers service offered by Bookswagon (the "CRR Service").


    By submitting any content to Bookswagon, you guarantee that:
    • You are the sole author and owner of the intellectual property rights in the content;
    • All "moral rights" that you may have in such content have been voluntarily waived by you;
    • All content that you post is accurate;
    • You are at least 13 years old;
    • Use of the content you supply does not violate these Terms of Use and will not cause injury to any person or entity.
    You further agree that you may not submit any content:
    • That is known by you to be false, inaccurate or misleading;
    • That infringes any third party's copyright, patent, trademark, trade secret or other proprietary rights or rights of publicity or privacy;
    • That violates any law, statute, ordinance or regulation (including, but not limited to, those governing, consumer protection, unfair competition, anti-discrimination or false advertising);
    • That is, or may reasonably be considered to be, defamatory, libelous, hateful, racially or religiously biased or offensive, unlawfully threatening or unlawfully harassing to any individual, partnership or corporation;
    • For which you were compensated or granted any consideration by any unapproved third party;
    • That includes any information that references other websites, addresses, email addresses, contact information or phone numbers;
    • That contains any computer viruses, worms or other potentially damaging computer programs or files.
    You agree to indemnify and hold Bookswagon (and its officers, directors, agents, subsidiaries, joint ventures, employees and third-party service providers, including but not limited to Bazaarvoice, Inc.), harmless from all claims, demands, and damages (actual and consequential) of every kind and nature, known and unknown including reasonable attorneys' fees, arising out of a breach of your representations and warranties set forth above, or your violation of any law or the rights of a third party.


    For any content that you submit, you grant Bookswagon a perpetual, irrevocable, royalty-free, transferable right and license to use, copy, modify, delete in its entirety, adapt, publish, translate, create derivative works from and/or sell, transfer, and/or distribute such content and/or incorporate such content into any form, medium or technology throughout the world without compensation to you. Additionally,  Bookswagon may transfer or share any personal information that you submit with its third-party service providers, including but not limited to Bazaarvoice, Inc. in accordance with  Privacy Policy


    All content that you submit may be used at Bookswagon's sole discretion. Bookswagon reserves the right to change, condense, withhold publication, remove or delete any content on Bookswagon's website that Bookswagon deems, in its sole discretion, to violate the content guidelines or any other provision of these Terms of Use.  Bookswagon does not guarantee that you will have any recourse through Bookswagon to edit or delete any content you have submitted. Ratings and written comments are generally posted within two to four business days. However, Bookswagon reserves the right to remove or to refuse to post any submission to the extent authorized by law. You acknowledge that you, not Bookswagon, are responsible for the contents of your submission. None of the content that you submit shall be subject to any obligation of confidence on the part of Bookswagon, its agents, subsidiaries, affiliates, partners or third party service providers (including but not limited to Bazaarvoice, Inc.)and their respective directors, officers and employees.

    Accept

    New Arrivals

    Inspired by your browsing history


    Your review has been submitted!

    You've already reviewed this product!