About: Aserción (informática)

En programación, una aserción es un predicado (i.e., una sentencia verdadero-falso) incluido en un programa como indicación de que el programador piensa que dicho predicado siempre se cumple en ese punto del flujo de programa.

Property	Value
dbo:abstract	En programación, una aserción es un predicado (i.e., una sentencia verdadero-falso) incluido en un programa como indicación de que el programador piensa que dicho predicado siempre se cumple en ese punto del flujo de programa. (es) En programación, una aserción es un predicado (i.e., una sentencia verdadero-falso) incluido en un programa como indicación de que el programador piensa que dicho predicado siempre se cumple en ese punto del flujo de programa. (es)
dbo:wikiPageExternalLink	http://research.microsoft.com/~thoare/6Jun_assertions_personal_perspective.htm https://web.archive.org/web/20071227101508/http:/research.microsoft.com/~thoare/6Jun_assertions_personal_perspective.htm https://web.archive.org/web/20080223115313/http:/java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html http://java.sun.com/developer/JDCTechTips/2002/tt0409.html http://java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html
dbo:wikiPageID	1387105 (xsd:integer)
dbo:wikiPageLength	12841 (xsd:integer)
dbo:wikiPageRevisionID	125365131 (xsd:integer)
prop-es:apellido	Hoare (es) Hoare (es)
prop-es:año	2001 (xsd:integer)
prop-es:fechaarchivo	23 (xsd:integer) 27 (xsd:integer)
prop-es:nombre	C. A. R. (es) C. A. R. (es)
prop-es:obra	java.sun.com (es) research.microsoft.com (es) java.sun.com (es) research.microsoft.com (es)
prop-es:otros	Artículo técnico (es) Artículo técnico (es)
prop-es:título	Assertions: a personal perspective (es) Programming With Assertions in Java (es) Using Assertions (es) Assertions: a personal perspective (es) Programming With Assertions in Java (es) Using Assertions (es)
prop-es:url	http://research.microsoft.com/~thoare/6Jun_assertions_personal_perspective.htm http://java.sun.com/developer/JDCTechTips/2002/tt0409.html http://java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html
prop-es:urlarchivo	https://web.archive.org/web/20071227101508/http:/research.microsoft.com/~thoare/6Jun_assertions_personal_perspective.htm https://web.archive.org/web/20080223115313/http:/java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html
dct:subject	category-es:Métodos_formales category-es:Programación
rdfs:comment	En programación, una aserción es un predicado (i.e., una sentencia verdadero-falso) incluido en un programa como indicación de que el programador piensa que dicho predicado siempre se cumple en ese punto del flujo de programa. (es) En programación, una aserción es un predicado (i.e., una sentencia verdadero-falso) incluido en un programa como indicación de que el programador piensa que dicho predicado siempre se cumple en ese punto del flujo de programa. (es)
rdfs:label	Aserción (informática) (es) Aserción (informática) (es)
owl:sameAs	freebase:Aserción (informática)
prov:wasDerivedFrom	wikipedia-es:Aserción_(informática)?oldid=125365131&ns=0
foaf:isPrimaryTopicOf	wikipedia-es:Aserción_(informática)
is dbo:wikiPageRedirects of	dbpedia-es:Asercion_(informatica) dbpedia-es:Asercion_(informática) dbpedia-es:Asercion_(programacion) dbpedia-es:Asercion_(programación) dbpedia-es:Aserción_(informatica) dbpedia-es:Aserción_(programación)
is owl:sameAs of	dbr:Aserción (informática)
is foaf:primaryTopic of	wikipedia-es:Aserción_(informática)