En informática, un sistema de efectos es un sistema formal que describe los efectos computacionales del software, como los efectos secundarios. Un sistema de efectos se puede utilizar para proporcionar una comprobación en tiempo de compilación de los posibles efectos del programa. El sistema de efectos se extiende la noción de tipo a la de "efecto" del componente, que comprende un tipo de efecto y una región.
Año |
|
Capítulo |
|
rdfs:comment |
|
Doi |
|
Editorial |
|
First |
|
foaf:isPrimaryTopicOf | |
Isbn |
|
rdfs:label |
|
Last |
|
Page |
|
Is foaf:primaryTopic of | |
Publicación |
|
Páginas |
|
Series | |
dcterms:subject | |
Título |
|
Ubicación |
|
Url | |
Volumen |
|
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageExternalLink |
|
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [16 values] |
Is dbpedia-owl:wikiPageWikiLink of |