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

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

PrefixNamespace IRI
dbpedia-dehttp://de.dbpedia.org/resource/
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-frhttp://fr.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n15http://es.wikipedia.org/wiki/Vienna_Definition_Language?oldid=125472017&ns=
Subject Item
dbpedia-es:Lenguaje_de_Definición_de_Viena
dbo:wikiPageRedirects
dbpedia-es:Vienna_Definition_Language
Subject Item
dbpedia-es:Lenguaje_de_Definicion_de_Viena
dbo:wikiPageRedirects
dbpedia-es:Vienna_Definition_Language
Subject Item
wikipedia-es:Vienna_Definition_Language
foaf:primaryTopic
dbpedia-es:Vienna_Definition_Language
Subject Item
dbpedia-es:VDL
dbo:wikiPageRedirects
dbpedia-es:Vienna_Definition_Language
Subject Item
dbpedia-es:Vienna_Definition_Language
rdfs:label
Vienna Definition Language
rdfs:comment
El Vienna Definition Language (VDL), en español, «Lenguaje de Definición de Viena» es un lenguaje de programación desarrollado en un centro de IBM en Viena (Austria), que puede utilizarse para declarar definiciones algebraicas de lenguajes de programación para software con una semántica operacional. Representa un metalenguaje (lenguaje formal) y se ha utilizado, entre otros, para la definición del lenguaje de programación PL/I.
dct:subject
category-es:Lenguajes_de_programación
foaf:isPrimaryTopicOf
wikipedia-es:Vienna_Definition_Language
dbo:wikiPageID
4603488
dbo:wikiPageRevisionID
125472017
dbo:wikiPageInterLanguageLink
dbpedia-ja:VDM dbpedia-de:Vienna_Development_Method dbpedia-fr:Vienna_Development_Method dbpedia-uk:Віденський_метод_розробки dbr:Vienna_Development_Method
dbo:wikiPageLength
1792
prov:wasDerivedFrom
n15:0
dbo:abstract
El Vienna Definition Language (VDL), en español, «Lenguaje de Definición de Viena» es un lenguaje de programación desarrollado en un centro de IBM en Viena (Austria), que puede utilizarse para declarar definiciones algebraicas de lenguajes de programación para software con una semántica operacional. Representa un metalenguaje (lenguaje formal) y se ha utilizado, entre otros, para la definición del lenguaje de programación PL/I. A partir de este lenguaje se ha creado una metodología, el Vienna Development Method, lo que facilita formular demostraciones de corrección sobre programas informáticos. Se sirve de una notación matemática, para expresar de forma precisa especificaciones de subrutinas. La utilización de estos metalenguajes y demostraciones solo suele rentabilizarse para sistemas donde la seguridad es crítica (ej. pasos de tren, centrales nucleares), cuya demostración es muy trabajosa y por lo tanto cara.