Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Effect_system> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Effect_system abstract "In computing, an effect system is a formal system which describes the computational effects of computer programs, such as side effects. An effect system can be used to provide a compile-time checking of the possible effects of the program.The effect system extends the notion of type to have an \"effect\" component, which comprises an effect kind and a region. The effect kind describes what is being done, and the region describes with what it is being done.An effect system is typically an extension of a type system. The term \"type and effect system\" is sometimes used in this case. Often, a type of a value is denoted together with its effect as type ! effect, where both the type component and the effect component mention certain regions (for example, a type of a mutable memory cell is parameterized by the label of the memory region in which the cell resides).Some examples of the behaviors that can be described by effect systems include: Reading, writing or allocating memory: the effect kind is read, write, allocate or free, and the region is the point of the program where allocation was performed (i.e., each program point where allocation is performed is assigned a unique label, and region information is statically propagated along the dataflow). Most functions working with memory will actually be polymorphic in the region variable: for example, a function that swaps two locations in memory will have type forall r1 r2, unit ! {read r1, read r2, write r1, write r2}. Working with resources, such as files: for example, the effect kind may be open, read and close, and again, the region is the point of the program where the resource is opened. Control transfers with continuations and long jumps: the effect kind may be goto (i.e. the piece of code may perform a jump) and comefrom (i.e. the piece of code may be the target of a jump), and the region denotes the point of the program from which or to which the jump may be performed. Java's checked exceptions are an example of an effect system: the effect kind is throws and the region is the type of the exception being thrown.Effect systems may be used to prove the external purity of certain internally impure definitions: for example, if a function internally allocates and modifies a region of memory, but the function's type does not mention the region, then the corresponding effect may be erased from the function's effect.".
- Effect_system wikiPageExternalLink scholar?cluster=4860658690557317521.
- Effect_system wikiPageExternalLink nielson-nielson-csd99.pdf.
- Effect_system wikiPageExternalLink tldi09.pdf.
- Effect_system wikiPageID "677451".
- Effect_system wikiPageLength "4320".
- Effect_system wikiPageOutDegree "15".
- Effect_system wikiPageRevisionID "543791226".
- Effect_system wikiPageWikiLink ACM_SIGACT.
- Effect_system wikiPageWikiLink Association_for_Computing_Machinery.
- Effect_system wikiPageWikiLink COMEFROM.
- Effect_system wikiPageWikiLink Category:Program_analysis.
- Effect_system wikiPageWikiLink Category:Type_theory.
- Effect_system wikiPageWikiLink Computing.
- Effect_system wikiPageWikiLink Exception_handling.
- Effect_system wikiPageWikiLink Formal_system.
- Effect_system wikiPageWikiLink Goto.
- Effect_system wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Effect_system wikiPageWikiLink SIGPLAN.
- Effect_system wikiPageWikiLink Side_effect_(computer_science).
- Effect_system wikiPageWikiLink Symposium_on_Principles_of_Programming_Languages.
- Effect_system wikiPageWikiLink Type_system.
- Effect_system wikiPageWikiLinkText "Effect system".
- Effect_system wikiPageWikiLinkText "effect system".
- Effect_system wikiPageUsesTemplate Template:Cite_book.
- Effect_system wikiPageUsesTemplate Template:Cite_journal.
- Effect_system wikiPageUsesTemplate Template:No_footnotes.
- Effect_system subject Category:Program_analysis.
- Effect_system subject Category:Type_theory.
- Effect_system hypernym System.
- Effect_system type Method.
- Effect_system comment "In computing, an effect system is a formal system which describes the computational effects of computer programs, such as side effects. An effect system can be used to provide a compile-time checking of the possible effects of the program.The effect system extends the notion of type to have an \"effect\" component, which comprises an effect kind and a region.".
- Effect_system label "Effect system".
- Effect_system sameAs Q2497866.
- Effect_system sameAs Sistema_de_efectos.
- Effect_system sameAs m.03241t.
- Effect_system sameAs Q2497866.
- Effect_system wasDerivedFrom Effect_system?oldid=543791226.
- Effect_system isPrimaryTopicOf Effect_system.