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
  • 1988 (xsd:integer)
  • 1999 (xsd:integer)
  • 2008 (xsd:integer)
Capítulo
  • 16 (xsd:integer)
rdfs:comment
  • 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. (es)
Doi
  • 101145 (xsd:integer)
Editorial
First
  • Chris (es)
  • Daniel (es)
  • David (es)
  • David K. (es)
  • Flemming (es)
  • Franklyn A. (es)
  • Hanne Riis (es)
  • John M. (es)
  • Mark A. (es)
  • Todd (es)
foaf:isPrimaryTopicOf
Isbn
  • 0 (xsd:integer)
  • 3 (xsd:integer)
rdfs:label
  • Sistema de efectos (es)
Last
  • Gifford (es)
  • Hankin (es)
  • Lucassen (es)
  • Marino (es)
  • Millstein (es)
  • Nielson (es)
  • Sheldon (es)
  • Turbak (es)
Page
  • 39 (xsd:integer)
Is foaf:primaryTopic of
Publicación
  • Correct System Design: Recent Insight and Advances (es)
  • Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (es)
  • Proceedings of the 4th international workshop on Types In Language Design And Implementation (es)
Páginas
  • 114 (xsd:integer)
  • 47 (xsd:integer)
Series
dcterms:subject
Título
  • A Generic Type and Effect System (es)
  • Design Concepts in Programming Languages (es)
  • Polymorphic Effect Systems (es)
  • Principles of Program Analysis (es)
  • Type and Effect Systems (es)
Ubicación
  • Berlin (es)
  • Cambridge, Mass (es)
Url
Volumen
  • 1710 (xsd:integer)
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 5559582 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3651 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 17 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 64841223 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [16 values]
Is dbpedia-owl:wikiPageWikiLink of