LEADER 04568nam 22006735 450 001 996465420803316 005 20200704120319.0 010 $a3-540-46450-6 024 7 $a10.1007/BFb0019438 035 $a(CKB)1000000000233633 035 $a(SSID)ssj0000323272 035 $a(PQKBManifestationID)11277793 035 $a(PQKBTitleCode)TC0000323272 035 $a(PQKBWorkID)10299282 035 $a(PQKB)10732937 035 $a(DE-He213)978-3-540-46450-1 035 $a(PPN)155179780 035 $a(EXLCZ)991000000000233633 100 $a20121227d1991 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Object-Oriented Languages$b[electronic resource] $eREX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 /$fedited by J.W. de Bakker, W.P. de Roever, G. Rozenberg 205 $a1st ed. 1991. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1991. 215 $a1 online resource (X, 442 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v489 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-53931-X 327 $aThe 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. 330 $aOver 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). 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v489 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 676 $a005.1 702 $aBakker$b J.W. de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoever$b W.P. de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b G$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aREX School/Workshop 906 $aBOOK 912 $a996465420803316 996 $aFoundations of object-oriented languages$91490228 997 $aUNISA