| Property |
Value |
| dbo:abstract
|
- La machine SECD est une machine virtuelle (dite encore machine abstraite) qui a été conçue pour servir de cible à la compilation des premiers langages de programmation et a eu une grande influence sur les origines de l'informatique et des langages de programmation, y compris la machine virtuelle Java. Son acronyme SECD provient des quatre constituants de son état à savoir la pile (stack en anglais), l'environnement, le contrôle, le dépôt (dump en anglais). Cette machine, due à Peter J. Landin, a été la première description formelle de l'évaluation du lambda-calcul et fut élaborée en 1963 en association avec son projet de langage de programmation ISWIM. Comme la description originelle de Landin laissait beaucoup de détails dans l'ombre, la présentation de la SECD qui est la plus communément acceptée est celle que Peter Henderson a faite en 1980 dans le cadre de son compilateur Lisp Lispkit. Depuis, elle a été utilisée comme cible de plusieurs compilateurs et en particulier comme base d'une implantation matérielle réalisée par des chercheurs de l'université de Calgary. (fr)
- La machine SECD est une machine virtuelle (dite encore machine abstraite) qui a été conçue pour servir de cible à la compilation des premiers langages de programmation et a eu une grande influence sur les origines de l'informatique et des langages de programmation, y compris la machine virtuelle Java. Son acronyme SECD provient des quatre constituants de son état à savoir la pile (stack en anglais), l'environnement, le contrôle, le dépôt (dump en anglais). Cette machine, due à Peter J. Landin, a été la première description formelle de l'évaluation du lambda-calcul et fut élaborée en 1963 en association avec son projet de langage de programmation ISWIM. Comme la description originelle de Landin laissait beaucoup de détails dans l'ombre, la présentation de la SECD qui est la plus communément acceptée est celle que Peter Henderson a faite en 1980 dans le cadre de son compilateur Lisp Lispkit. Depuis, elle a été utilisée comme cible de plusieurs compilateurs et en particulier comme base d'une implantation matérielle réalisée par des chercheurs de l'université de Calgary. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8089 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:date
|
- janvier 1964 (fr)
- mars 1966 (fr)
- janvier 1964 (fr)
- mars 1966 (fr)
|
| prop-fr:doi
|
- 10.109300 (xsd:double)
- 10.114500 (xsd:double)
|
| prop-fr:journal
| |
| prop-fr:lienAuteur
|
- Peter J. Landin (fr)
- Peter J. Landin (fr)
|
| prop-fr:nom
| |
| prop-fr:numéro
|
- 3 (xsd:integer)
- 4 (xsd:integer)
|
| prop-fr:pages
|
- 157 (xsd:integer)
- 308 (xsd:integer)
|
| prop-fr:prénom
|
- Peter J. (fr)
- Peter J. (fr)
|
| prop-fr:titre
|
- The Mechanical Evaluation of Expressions (fr)
- The next 700 programming languages (fr)
- The Mechanical Evaluation of Expressions (fr)
- The next 700 programming languages (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 6 (xsd:integer)
- 9 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- La machine SECD est une machine virtuelle (dite encore machine abstraite) qui a été conçue pour servir de cible à la compilation des premiers langages de programmation et a eu une grande influence sur les origines de l'informatique et des langages de programmation, y compris la machine virtuelle Java. Son acronyme SECD provient des quatre constituants de son état à savoir la pile (stack en anglais), l'environnement, le contrôle, le dépôt (dump en anglais). (fr)
- La machine SECD est une machine virtuelle (dite encore machine abstraite) qui a été conçue pour servir de cible à la compilation des premiers langages de programmation et a eu une grande influence sur les origines de l'informatique et des langages de programmation, y compris la machine virtuelle Java. Son acronyme SECD provient des quatre constituants de son état à savoir la pile (stack en anglais), l'environnement, le contrôle, le dépôt (dump en anglais). (fr)
|
| rdfs:label
|
- Machine SECD (fr)
- SECD machine (en)
- SECD-Maschine (de)
- SECD抽象机 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
