| Property |
Value |
| dbo:abstract
|
- La spécification d'un langage est une définition de la syntaxe et de la sémantique du langage. Cette définition est en général un ensemble de règles syntaxiques définies dans une grammaire. Initialement dédiés au partage de contenus statiques sur Internet, les sites web sont devenus de véritables applications accessibles à partir de n'importe quel navigateur. Afin de rendre les sites plus interactifs et dynamiques, il a été nécessaire de mettre en place des langages de script tel que l'ActionScript ou le JavaScript. Ce dernier est actuellement le langage le plus utilisé pour les applications côté client, c'est-à-dire sur le navigateur. L'ECMAScript a vu le jour en 1997 dans le but d'uniformiser l'interprétation de ces différents langages de script. Cette spécification décrit la syntaxe et la sémantique que ces langages doivent respecter, sous forme de phrases littérales. Ces définitions étant sujettes a interprétation, on a vu apparaître des divergences d'un langage, ou d'une de ses implémentations, à l'autre. La formalisation de cette spécification EcmaScript permettrait de lisser ces différences d'interprétation. (fr)
- La spécification d'un langage est une définition de la syntaxe et de la sémantique du langage. Cette définition est en général un ensemble de règles syntaxiques définies dans une grammaire. Initialement dédiés au partage de contenus statiques sur Internet, les sites web sont devenus de véritables applications accessibles à partir de n'importe quel navigateur. Afin de rendre les sites plus interactifs et dynamiques, il a été nécessaire de mettre en place des langages de script tel que l'ActionScript ou le JavaScript. Ce dernier est actuellement le langage le plus utilisé pour les applications côté client, c'est-à-dire sur le navigateur. L'ECMAScript a vu le jour en 1997 dans le but d'uniformiser l'interprétation de ces différents langages de script. Cette spécification décrit la syntaxe et la sémantique que ces langages doivent respecter, sous forme de phrases littérales. Ces définitions étant sujettes a interprétation, on a vu apparaître des divergences d'un langage, ou d'une de ses implémentations, à l'autre. La formalisation de cette spécification EcmaScript permettrait de lisser ces différences d'interprétation. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 28715 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 2008 (xsd:integer)
- 2010 (xsd:integer)
- 2012 (xsd:integer)
- 2014 (xsd:integer)
|
| prop-fr:commentaire
|
- Brown University (fr)
- KAIST (fr)
- INRIA & Imperial College London (fr)
- Brown University (fr)
- KAIST (fr)
- INRIA & Imperial College London (fr)
|
| prop-fr:doi
|
- 10.100000 (xsd:double)
- 10.114500 (xsd:double)
|
| prop-fr:id
|
- Safe (fr)
- JSCert_ref (fr)
- OperationalSemantics (fr)
- λJS (fr)
- Safe (fr)
- JSCert_ref (fr)
- OperationalSemantics (fr)
- λJS (fr)
|
| prop-fr:isbn
|
- 3 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:jour
|
- 21 (xsd:integer)
- 22 (xsd:integer)
|
| prop-fr:lang
| |
| prop-fr:mois
|
- janvier (fr)
- juin (fr)
- octobre (fr)
- janvier (fr)
- juin (fr)
- octobre (fr)
|
| prop-fr:nom
|
- Smith (fr)
- Lee (fr)
- Schmitt (fr)
- Cho (fr)
- Gardner (fr)
- Michell (fr)
- Jin (fr)
- Bodin (fr)
- Ryu (fr)
- Won (fr)
- Charguéraud (fr)
- Guha (fr)
- Filaretti (fr)
- Krishnamurthi (fr)
- Maffeis (fr)
- Naudžiuniene (fr)
- Saftoiu (fr)
- Taly (fr)
- Smith (fr)
- Lee (fr)
- Schmitt (fr)
- Cho (fr)
- Gardner (fr)
- Michell (fr)
- Jin (fr)
- Bodin (fr)
- Ryu (fr)
- Won (fr)
- Charguéraud (fr)
- Guha (fr)
- Filaretti (fr)
- Krishnamurthi (fr)
- Maffeis (fr)
- Naudžiuniene (fr)
- Saftoiu (fr)
- Taly (fr)
|
| prop-fr:pages
| |
| prop-fr:prénom
|
- Alan (fr)
- Gareth (fr)
- Martin (fr)
- Arthur (fr)
- Daniele (fr)
- Sergio (fr)
- John C. (fr)
- Philippa (fr)
- Arjun (fr)
- Claudiu (fr)
- Ankur (fr)
- Daiva (fr)
- Hongki (fr)
- Joonho (fr)
- Junhee (fr)
- Shriram (fr)
- Sooncheol (fr)
- Sukyoung (fr)
- Alan (fr)
- Gareth (fr)
- Martin (fr)
- Arthur (fr)
- Daniele (fr)
- Sergio (fr)
- John C. (fr)
- Philippa (fr)
- Arjun (fr)
- Claudiu (fr)
- Ankur (fr)
- Daiva (fr)
- Hongki (fr)
- Joonho (fr)
- Junhee (fr)
- Shriram (fr)
- Sooncheol (fr)
- Sukyoung (fr)
|
| prop-fr:périodique
|
- APLAS '08 (fr)
- ECOOP '10 Proceedings of the 24th European conference on Object-oriented programming (fr)
- FOOL '12 Foundations of Object-Oriented Languages (fr)
- POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (fr)
- APLAS '08 (fr)
- ECOOP '10 Proceedings of the 24th European conference on Object-oriented programming (fr)
- FOOL '12 Foundations of Object-Oriented Languages (fr)
- POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (fr)
|
| prop-fr:titre
|
- A Trusted Mechanised JavaScript Specification (fr)
- An Operational Semantics for JavaScript (fr)
- The Essence of JavaScript (fr)
- SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript (fr)
- A Trusted Mechanised JavaScript Specification (fr)
- An Operational Semantics for JavaScript (fr)
- The Essence of JavaScript (fr)
- SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript (fr)
|
| prop-fr:url
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- La spécification d'un langage est une définition de la syntaxe et de la sémantique du langage. Cette définition est en général un ensemble de règles syntaxiques définies dans une grammaire. Initialement dédiés au partage de contenus statiques sur Internet, les sites web sont devenus de véritables applications accessibles à partir de n'importe quel navigateur. (fr)
- La spécification d'un langage est une définition de la syntaxe et de la sémantique du langage. Cette définition est en général un ensemble de règles syntaxiques définies dans une grammaire. Initialement dédiés au partage de contenus statiques sur Internet, les sites web sont devenus de véritables applications accessibles à partir de n'importe quel navigateur. (fr)
|
| rdfs:label
|
- Spécification de JavaScript (fr)
- Spécification de JavaScript (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
