Foundations of Object-Oriented Languages (Record no. 35085)

000 -LEADER
fixed length control field 03725nam a22005415i 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783540464501
-- 978-3-540-46450-1
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.11
245 10 - TITLE STATEMENT
Title Foundations of Object-Oriented Languages
Sub Title REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings /
Statement of responsibility, etc edited by J. W. Bakker, W. P. Roever, G. Rozenberg.
246 3# - VARYING FORM OF TITLE
Title proper/short title Proceedings
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin, Heidelberg :
Name of publisher Springer Berlin Heidelberg,
Year of publication 1991.
300 ## - PHYSICAL DESCRIPTION
Number of Pages X, 442 p.
Other physical details online resource.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note The structure and semantics of actor languages -- Designing an object-oriented programming language with behavioural subtyping -- A layered semantics for a parallel object-oriented language -- A proof system for the language POOL -- Object-oriented programming versus abstract data types -- Object-oriented specification in LOTOS and Z, or my cat really is object-oriented! -- A categorial theory of objects as observed processes -- Net-based description of parallel object-based systems, or POTs and POPs -- Describing, structuring and implementing objects -- Modelling features of object-oriented languages in second order functional languages with subtypes -- Graph grammar-based description of object-based systems -- An actor-based metalevel architecture for group-wide reflection -- Producing abstract models for object-oriented languages.
520 ## - SUMMARY, ETC.
Summary, etc Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems).
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Software engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic design.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Programming Techniques.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Software Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Programming Languages, Compilers, Interpreters.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logics and Meanings of Programs.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Bakker, J. W.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Roever, W. P.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Rozenberg, G.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/BFb0019438
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 1991.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
-- 0302-9743 ;
Holdings
Withdrawn status Lost status Damaged status Not for loan Current library Accession Number Uniform Resource Identifier Koha item type
        IMSc Library EBK5791 http://dx.doi.org/10.1007/BFb0019438 E-BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha