This HTML5 document contains 117 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n9http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14http://www.doc.ic.ac.uk/~gds/
n18http://www-cs-students.stanford.edu/~ataly/Papers/
n17http://www.cs.uwm.edu/~boyland/fool2012/papers/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n11http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12https://cs.brown.edu/~sk/Publications/Papers/Published/gsk-essence-javascript/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Spécification_de_JavaScript
rdfs:label
Spécification de JavaScript
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.
owl:sameAs
n9:11b6vnl2p2 wikidata:Q25377471
dbo:wikiPageID
8653497
dbo:wikiPageRevisionID
191379215
dbo:wikiPageWikiLink
dbpedia-fr:Forme_de_Backus-Naur dbpedia-fr:Java_(langage) dbpedia-fr:Google dbpedia-fr:ANTLR dbpedia-fr:Langage_de_script dbpedia-fr:Java_(technique) dbpedia-fr:JavaScript dbpedia-fr:Brendan_Eich dbpedia-fr:Graphe_de_flot_de_contrôle dbpedia-fr:Sucre_syntaxique dbpedia-fr:Coq_(logiciel) dbpedia-fr:KAIST category-fr:JavaScript dbpedia-fr:ECMAScript dbpedia-fr:SpiderMonkey dbpedia-fr:V8_(moteur_JavaScript) dbpedia-fr:Scala_(langage) dbpedia-fr:Rhino_(moteur_JavaScript) dbpedia-fr:ActionScript category-fr:Langage_de_script dbpedia-fr:Arbre_de_la_syntaxe_abstraite category-fr:Norme_ECMA category-fr:Technologie_web dbpedia-fr:OCaml
dbo:wikiPageExternalLink
n14:jscert_popl14.pdf n12:paper.pdf n17:fool2012_submission_5.pdf n18:aplas08.pdf
dbo:wikiPageLength
28715
dct:subject
category-fr:JavaScript category-fr:Norme_ECMA category-fr:Technologie_web category-fr:Langage_de_script
prop-fr:wikiPageUsesTemplate
n11:Souligner n11:Exp n11:Portail n11:Références n11:Article
prov:wasDerivedFrom
wikipedia-fr:Spécification_de_JavaScript?oldid=191379215&ns=0
prop-fr:année
2014 2012 2010 2008
prop-fr:commentaire
KAIST Brown University INRIA & Imperial College London
prop-fr:doi
10.1 10.1145
prop-fr:id
JSCert_ref λJS Safe OperationalSemantics
prop-fr:isbn
3 978
prop-fr:jour
21 22
prop-fr:lang
en
prop-fr:mois
juin janvier octobre
prop-fr:nom
Cho Krishnamurthi Jin Smith Charguéraud Lee Michell Filaretti Bodin Guha Ryu Schmitt Gardner Maffeis Saftoiu Won Naudžiuniene Taly
prop-fr:pages
126
prop-fr:prénom
Martin Sooncheol Joonho Junhee Sergio Shriram Gareth Daniele Daiva Claudiu Hongki Arthur Arjun Philippa Ankur Sukyoung John C. Alan
prop-fr:périodique
ECOOP '10 Proceedings of the 24th European conference on Object-oriented programming FOOL '12 Foundations of Object-Oriented Languages POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages APLAS '08
prop-fr:titre
SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript An Operational Semantics for JavaScript The Essence of JavaScript A Trusted Mechanised JavaScript Specification
prop-fr:url
n12:paper.pdf n14:jscert_popl14.pdf n17:fool2012_submission_5.pdf n18:aplas08.pdf
foaf:isPrimaryTopicOf
wikipedia-fr:Spécification_de_JavaScript
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.