Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings
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 enti...
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , , |
| स्वरूप: | Livre numérique |
| भाषा: | Anglais |
| प्रकाशित: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| श्रृंखला: | Lecture notes in computer science
489 |
| विषय: | |
| ऑनलाइन पहुंच: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| टिप्पणी: |
Actes d'un séminaire tenu à Noordwijkerhout du 28 mai au 1er juin 1994, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Foundations of object-oriented languages, REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990, proceedings, J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (VIII-442 p.), Lecture notes in computer science, 3-540-53931-X • Foundations of Object-Oriented Languages, Texte imprimé, 9783662196915 |
| LEADER | 04588nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 944228 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155179780 | ||
| 020 | |a 9783540464501 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.1 | ||
| 111 | 2 | |a REX School/Workshop |c :Noordwijkerhout, Netherlands) |d (1990. | |
| 245 | 1 | 0 | |a Foundations of object-oriented languages : |b REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings |c [edited by] J. W. de Bakker, W. P. Roever, G. Rozenberg. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 489 |x 1611-3349 | |
| 500 | |a Actes d'un séminaire tenu à Noordwijkerhout du 28 mai au 1er juin 1994, d'après l écran-titre | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Langages de programmation orientés objet | ||
| 650 | |a Programmation orientée objets (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Rozenberg, Grzegorz, |d 1942- |4 pbd | |
| 700 | 1 | |a Bakker, Jacobus Willem de, |d 1939- |4 pbd | |
| 700 | 1 | |a Roever, Willem-Paul de, |d 1943- |4 pbd | |
| 776 | 0 | |0 021928916 |t Foundations of object-oriented languages |o REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 |o proceedings |f J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.) |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (VIII-442 p.) |s Lecture notes in computer science |z 3-540-53931-X | |
| 776 | 0 | |t Foundations of Object-Oriented Languages |b Texte imprimé |z 9783662196915 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0019438 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-5NM8V4P5-C |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747921644 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0019438 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750934034 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0019438 |z Accès INSA CVL | |
| 997 | |0 944228 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||