Coverart for item
The Resource Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings, Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings, Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

Label
Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings
Title
Perspectives of system informatics
Title remainder
Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings
Statement of responsibility
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76
LC item number
.I497 1999
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1999
http://bibfra.me/vocab/lite/meetingName
International Andrei Ershov Memorial Conference
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1937-
  • 1949-
http://library.link/vocab/relatedWorkOrContributorName
  • Bjørner, D.
  • Broy, M.
  • Zamulin, A. V.
http://library.link/vocab/subjectName
  • Computer systems
  • programmation orientée objet
  • parallélisme
  • évaluation partielle
  • spécification algébrique
  • intelligence artificielle
  • méthodologie programmation
  • informatique théorique
  • Systèmes informatiques
  • Computer systems
  • Ciencia da computacao ou informatica
  • Linguagem de programacao (outras)
  • Ordinateurs
  • Sstèmes informatiques
Label
Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings, Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
The Common Framework Initiative for Algebraic Specification and Development of Software / D. Sannella -- A Logical Approach to Specification of Hybrid Systems / M.V. Korovina and O.V. Kudinov -- Algebraic Imperative Specifications / M.-C. Gaudel and A. Zamulin -- Enhanced Control Flow Graphs in Montages / M. Anlauff, Ph. W. Kutter and A. Pierantonio / [and others] -- Abstract State Machines for the Composition of Architectural Styles / A. Sunbul -- The Essence of Program Transformation by Partial Evaluation and Driving / N.D. Jones -- Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All / N.H. Christensen, R. Gluck and S. Laursen -- Abstraction-Based Partial Deduction for Solving Inverse Problems -- A Transformational Approach to Software Verification / R. Gluck and M. Leuschel -- Sonic Partial Deduction / J. Martin and M. Leuschel -- On Perfect Supercompilation / J.P. Secher and M.H. Sorensen -- Linear Time Self-Interpretation of the Pure Lambda Calculus / T. AE. Mogensen -- An Optimal Algorithm for Purging Regular Schemes / D.L. Uvarov -- Polymorphism in OBJ-P / M. Plumicke -- Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem / P. Gibson and D. Mery -- Serializability Preserving Extensions of Concurrency Control Protocols / D. Chkliaev, J. Hooman and P. van der Stok -- Platform Independent Approach for Detecting Shared Memory Parallelism / Yu. V. Chelomin -- Hierarchical Cause-Effect Structures / A.P. Ustimenko -- Some Decidability Results for Nested Petri Nets / I.A. Lomazova and Ph. Schnoebelen -- Abstract Structures for Communication between Processes / G. Ciobanu and E.F. Olariu -- Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs / M.I. Dekhtyar, A. Ja. Dikovsky and M.K. Valiev -- On Semantics and Correctness of Reactive Rule-Based Programs / M. Lin, J. Malec and S. Nadjm-Tehrani -- Compositional Verification of CCS Processes / M. Dam and D. Gurov -- Compositional Style of Programming FPGAs / E. Trichina -- Using Experiments to Build a Body of Knowledge / V. Basili, F. Shull and F. Lanubile -- Patterns in Words versus Patterns in Trees: A Brief Survey and New Results / G. Kucherov and M. Rusinowitch -- Extensions: A Technique for Structuring Functional-Logic Programs / R. Caballero and F.J. Lopez-Fraguas -- Language Tools and Programming Systems in Educational Informatics / S.S. Kobilov -- Current Directions in Hyper-Programming / R. Morrison, R.C.H. Connor and Q.I. Cutts / [et al.] -- Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data / L. Frank -- A General Object-Oriented Model for Spatial Data / S. Asgari and N. Yonezaki -- Twin -- A Design Pattern for Modeling Multiple Inheritance / H. Mossenbock -- A Partial Semantics for Object Data Models with Static Binding / K. Lellahi and R. Souah -- Heterogeneous, Nested STL Containers in C[superscript ++] / V. Simonis and R. Weiss -- Data Flow Analysis of Java Programs in the Presence of Exceptions / V.I. Shelekhov and S.V. Kuksenko -- Late Adaptation of Method Invocation Semantics / M. Hof -- A Control Language for Designing Constraint Solvers / C. Castro and E. Monfroy -- An Algorithm to Compute Inner Approximations of Relations for Interval Constraints / F. Benhamou, F. Goualard and E. Languenou / [et al.] -- Constraint Programming Techniques for Solving Problems on Graphs / V. Sidorov, V. Telerman and D. Ushakov -- Extensional Set Library for ECL[superscript i]PS[superscript e] / T. Yakhno and E. Petrov -- Introducing Mutual Exclusion in Esterel / K. Schneider and V. Sabelfeld -- Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications / R.J. Anderson, P. Beame and W. Chan / [et al.] -- Formal Verification of a Compiler Back-End Generic Checker Program / A. Dold and V. Vialard -- Construction of Verified Compiler Front-Ends with Program-Checking / A. Heberle, Th. Gaul and W. Goerigk / [et al.] -- Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker / C. de la Riva, J. Tuya and J.R. de Diego -- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles / F.A. Kolushev and A.A. Bogdanov -- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique / I.S. Kononenko, I.G. Popov and Yu. A. Zagorulko -- Approach to Development of a System for Speech Interaction with an Intelligent Robot / G.B. Cheblakov, F.G. Dinenberg and D. Ya. Levin / [et al.] -- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages / S. Herath, Ch. Saito and A. Herath
Dimensions
23 cm.
Dimensions
unknown
Extent
xii, 540 pages
Isbn
9783540671022
Lccn
00021732
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)43317910
  • (OCoLC)ocm43317910
Label
Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings, Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
The Common Framework Initiative for Algebraic Specification and Development of Software / D. Sannella -- A Logical Approach to Specification of Hybrid Systems / M.V. Korovina and O.V. Kudinov -- Algebraic Imperative Specifications / M.-C. Gaudel and A. Zamulin -- Enhanced Control Flow Graphs in Montages / M. Anlauff, Ph. W. Kutter and A. Pierantonio / [and others] -- Abstract State Machines for the Composition of Architectural Styles / A. Sunbul -- The Essence of Program Transformation by Partial Evaluation and Driving / N.D. Jones -- Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All / N.H. Christensen, R. Gluck and S. Laursen -- Abstraction-Based Partial Deduction for Solving Inverse Problems -- A Transformational Approach to Software Verification / R. Gluck and M. Leuschel -- Sonic Partial Deduction / J. Martin and M. Leuschel -- On Perfect Supercompilation / J.P. Secher and M.H. Sorensen -- Linear Time Self-Interpretation of the Pure Lambda Calculus / T. AE. Mogensen -- An Optimal Algorithm for Purging Regular Schemes / D.L. Uvarov -- Polymorphism in OBJ-P / M. Plumicke -- Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem / P. Gibson and D. Mery -- Serializability Preserving Extensions of Concurrency Control Protocols / D. Chkliaev, J. Hooman and P. van der Stok -- Platform Independent Approach for Detecting Shared Memory Parallelism / Yu. V. Chelomin -- Hierarchical Cause-Effect Structures / A.P. Ustimenko -- Some Decidability Results for Nested Petri Nets / I.A. Lomazova and Ph. Schnoebelen -- Abstract Structures for Communication between Processes / G. Ciobanu and E.F. Olariu -- Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs / M.I. Dekhtyar, A. Ja. Dikovsky and M.K. Valiev -- On Semantics and Correctness of Reactive Rule-Based Programs / M. Lin, J. Malec and S. Nadjm-Tehrani -- Compositional Verification of CCS Processes / M. Dam and D. Gurov -- Compositional Style of Programming FPGAs / E. Trichina -- Using Experiments to Build a Body of Knowledge / V. Basili, F. Shull and F. Lanubile -- Patterns in Words versus Patterns in Trees: A Brief Survey and New Results / G. Kucherov and M. Rusinowitch -- Extensions: A Technique for Structuring Functional-Logic Programs / R. Caballero and F.J. Lopez-Fraguas -- Language Tools and Programming Systems in Educational Informatics / S.S. Kobilov -- Current Directions in Hyper-Programming / R. Morrison, R.C.H. Connor and Q.I. Cutts / [et al.] -- Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data / L. Frank -- A General Object-Oriented Model for Spatial Data / S. Asgari and N. Yonezaki -- Twin -- A Design Pattern for Modeling Multiple Inheritance / H. Mossenbock -- A Partial Semantics for Object Data Models with Static Binding / K. Lellahi and R. Souah -- Heterogeneous, Nested STL Containers in C[superscript ++] / V. Simonis and R. Weiss -- Data Flow Analysis of Java Programs in the Presence of Exceptions / V.I. Shelekhov and S.V. Kuksenko -- Late Adaptation of Method Invocation Semantics / M. Hof -- A Control Language for Designing Constraint Solvers / C. Castro and E. Monfroy -- An Algorithm to Compute Inner Approximations of Relations for Interval Constraints / F. Benhamou, F. Goualard and E. Languenou / [et al.] -- Constraint Programming Techniques for Solving Problems on Graphs / V. Sidorov, V. Telerman and D. Ushakov -- Extensional Set Library for ECL[superscript i]PS[superscript e] / T. Yakhno and E. Petrov -- Introducing Mutual Exclusion in Esterel / K. Schneider and V. Sabelfeld -- Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications / R.J. Anderson, P. Beame and W. Chan / [et al.] -- Formal Verification of a Compiler Back-End Generic Checker Program / A. Dold and V. Vialard -- Construction of Verified Compiler Front-Ends with Program-Checking / A. Heberle, Th. Gaul and W. Goerigk / [et al.] -- Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker / C. de la Riva, J. Tuya and J.R. de Diego -- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles / F.A. Kolushev and A.A. Bogdanov -- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique / I.S. Kononenko, I.G. Popov and Yu. A. Zagorulko -- Approach to Development of a System for Speech Interaction with an Intelligent Robot / G.B. Cheblakov, F.G. Dinenberg and D. Ya. Levin / [et al.] -- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages / S. Herath, Ch. Saito and A. Herath
Dimensions
23 cm.
Dimensions
unknown
Extent
xii, 540 pages
Isbn
9783540671022
Lccn
00021732
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)43317910
  • (OCoLC)ocm43317910

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...