MetaSoft primer : towards a metalanguage for applied denotational semantics
The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
288 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • MetaSoft primer, towards a metalanguage for applied denotational semantics, Andrzej Blikle, 1987, Berlin, Springer-Verlag, 1 vol. (XII-140 p.), Lecture notes in computer science, 0-387-18657-3 • MetaSoft Primer, Texte imprimé, 9783662186220 |
| LEADER | 03251nam a22003737a 4500 | ||
|---|---|---|---|
| 001 | 945216 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15521859X | ||
| 020 | |a 9783540480433 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.13/1 | ||
| 100 | 1 | |a Blikle, Andrzej Jacek, |d 1939- | |
| 245 | 1 | 0 | |a MetaSoft primer : |b towards a metalanguage for applied denotational semantics |c Andrzej Blikle. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 288 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 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 The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Métalangage | ||
| 776 | 0 | |0 020521723 |t MetaSoft primer |o towards a metalanguage for applied denotational semantics |f Andrzej Blikle |d 1987 |c Berlin |n Springer-Verlag |p 1 vol. (XII-140 p.) |s Lecture notes in computer science |z 0-387-18657-3 | |
| 776 | 0 | |t MetaSoft Primer |b Texte imprimé |z 9783662186220 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-18657-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-PM3H8BWM-7 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747912661 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-18657-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750925450 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-18657-3 |z Accès INSA CVL | |
| 997 | |0 945216 |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/ | ||