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...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
489 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
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 |
Spis treści:
- 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.