Coverart for item
The Resource Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers, Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers, Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

Label
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
Title
Perspectives of system informatics
Title remainder
4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
Statement of responsibility
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Title variation
PSI 2001
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
UKM
Illustrations
illustrations
Index
index present
LC call number
QA75.5
LC item number
.I52 2001
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2001
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 science
  • Computer programming
  • Systems engineering
  • programmation avec contrainte
  • analyse programme
  • UML
  • réseau Petri
  • programmation logique
  • génie logiciel
  • logique programmation
  • méthode formelle
  • développement système
  • sémantique programme
  • théorie programmation
  • Logiciels
  • Computer programming
  • Computer science
  • Systems engineering
  • Fundamentele informatica
  • Kunstmatige intelligentie
  • Programmatuurtechniek
  • Systèmes informatiques
  • Logiciels
  • Kongress
  • Logische Programmierung
  • Programmierung
  • Softwareentwicklung
  • Theoretische Informatik
  • Wissenstechnik
Label
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers, 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
[Pt. 1] Memorial session -- A.P. Ershov: A pioneer and a leader of national programming -- A.A. Lyapunov and A.P. Ershov in the theory of program schemes and the development of its logic concepts -- [Pt. 2] Computing and algorithms -- The abstract state machine paradigm: What is in and what is out -- On algorithmic unsolvability -- [Pt. 3] Logic methods -- Resolution and binary decision diagrams cannot simulate each other polynomially -- On expressive and model checking power of propositional program logics -- An extension of dynamic logic for modelling OCL's @pre operator -- Optimal algorithms of event-driven re-evaluation of Boolean functions -- [Pt. 4] Verification -- A transformation of SDL specifications: A step towards the verification -- Accurate widenings and boundedness properties of timed systems -- Adaptive saturation-based reasoning -- A verification approach for distributed abstract state machines -- [Pt. 5] Program transformation and synthesis -- Transformational construction of correct pointer algorithms -- A theoretical foundation of program synthesis by equivalent transformation -- Equivalent transformation by safe extension of data structures -- Semantics and transformations in formal synthesis at system level -- Automated program synthesis for Java programming language -- [Pt. 6] Semantics & types -- The varieties of programming language semantics (and their uses) -- Binding-time analysis for polymorphic types -- An investigation of compact and efficient number representations in the pure Lambda calculus -- [Pt. 7] Processes and concurrency -- Observational semantics for timed event structures -- The impact of synchronisation on secure information flow in concurrent programs -- Dynamical priorities without time measurement and modification of the TCP -- [Pt. 8] UML specification -- From ADT to UML-like modelling -- Transformation of UML specification to XTG -- [Pt. 9] Petri nets -- A systematic approach towards object-based Petri net formalisms -- Unfoldings of coloured Petri nets -- A net-based multi-tier behavior inheritance modelling method -- [Pt. 10] Testing -- Specification based testing: Towards practice -- Java specification extension for automated test development -- Specification-based testing of firewalls -- [Pt. 11] Software construction -- Academic vs. industrial software engineering: Closing the gap -- A method for recovery and maintenance of software architecture -- An empirical study of retargetable compilers -- [Pt. 12] Data & knowledge bases -- Conceptual data modeling: An algebraic viewpoint -- Integrating and managing conflicting data -- A knowledge engineering approach to deal with 'narrative' multimedia documents -- Using agents for concurrent querying of web-like databases via a hyper-set theoretic approach -- [Pt. 13] Logic programming -- Reexecution-based analysis of logic programs with delay declarations -- Pos(T): Analyzing dependencies in typed logic programs -- A prolog tailoring technique on an epilog tailored procedure -- [Pt. 14] Constraint programming -- Hierarchical constraint satisfaction based on subdefinite models -- Using constraint solvers in CAD/CAM systems -- A graphical interface for solver cooperations -- [Pt. 15] Program analysis -- Abstract computability of non-deterministic programs over various data structures -- On lexicographic termination ordering with space bound certifications -- Generalised computability and applications to hybrid systems -- [Pt. 16] Language implementation -- Exploring template template parameters -- Compiler-cooperative memory management in Java -- A software composition language and its implementation -- Editor definition language and its implementation -- Oberon-2 as successor of Modula-2 in simulation
Dimensions
24 cm.
Dimensions
unknown
Extent
xiii, 548 pages
Isbn
9783540430759
Lccn
2002280810
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)48836410
  • (OCoLC)ocm48836410
Label
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers, 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
[Pt. 1] Memorial session -- A.P. Ershov: A pioneer and a leader of national programming -- A.A. Lyapunov and A.P. Ershov in the theory of program schemes and the development of its logic concepts -- [Pt. 2] Computing and algorithms -- The abstract state machine paradigm: What is in and what is out -- On algorithmic unsolvability -- [Pt. 3] Logic methods -- Resolution and binary decision diagrams cannot simulate each other polynomially -- On expressive and model checking power of propositional program logics -- An extension of dynamic logic for modelling OCL's @pre operator -- Optimal algorithms of event-driven re-evaluation of Boolean functions -- [Pt. 4] Verification -- A transformation of SDL specifications: A step towards the verification -- Accurate widenings and boundedness properties of timed systems -- Adaptive saturation-based reasoning -- A verification approach for distributed abstract state machines -- [Pt. 5] Program transformation and synthesis -- Transformational construction of correct pointer algorithms -- A theoretical foundation of program synthesis by equivalent transformation -- Equivalent transformation by safe extension of data structures -- Semantics and transformations in formal synthesis at system level -- Automated program synthesis for Java programming language -- [Pt. 6] Semantics & types -- The varieties of programming language semantics (and their uses) -- Binding-time analysis for polymorphic types -- An investigation of compact and efficient number representations in the pure Lambda calculus -- [Pt. 7] Processes and concurrency -- Observational semantics for timed event structures -- The impact of synchronisation on secure information flow in concurrent programs -- Dynamical priorities without time measurement and modification of the TCP -- [Pt. 8] UML specification -- From ADT to UML-like modelling -- Transformation of UML specification to XTG -- [Pt. 9] Petri nets -- A systematic approach towards object-based Petri net formalisms -- Unfoldings of coloured Petri nets -- A net-based multi-tier behavior inheritance modelling method -- [Pt. 10] Testing -- Specification based testing: Towards practice -- Java specification extension for automated test development -- Specification-based testing of firewalls -- [Pt. 11] Software construction -- Academic vs. industrial software engineering: Closing the gap -- A method for recovery and maintenance of software architecture -- An empirical study of retargetable compilers -- [Pt. 12] Data & knowledge bases -- Conceptual data modeling: An algebraic viewpoint -- Integrating and managing conflicting data -- A knowledge engineering approach to deal with 'narrative' multimedia documents -- Using agents for concurrent querying of web-like databases via a hyper-set theoretic approach -- [Pt. 13] Logic programming -- Reexecution-based analysis of logic programs with delay declarations -- Pos(T): Analyzing dependencies in typed logic programs -- A prolog tailoring technique on an epilog tailored procedure -- [Pt. 14] Constraint programming -- Hierarchical constraint satisfaction based on subdefinite models -- Using constraint solvers in CAD/CAM systems -- A graphical interface for solver cooperations -- [Pt. 15] Program analysis -- Abstract computability of non-deterministic programs over various data structures -- On lexicographic termination ordering with space bound certifications -- Generalised computability and applications to hybrid systems -- [Pt. 16] Language implementation -- Exploring template template parameters -- Compiler-cooperative memory management in Java -- A software composition language and its implementation -- Editor definition language and its implementation -- Oberon-2 as successor of Modula-2 in simulation
Dimensions
24 cm.
Dimensions
unknown
Extent
xiii, 548 pages
Isbn
9783540430759
Lccn
2002280810
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)48836410
  • (OCoLC)ocm48836410

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 ...