Effect system

Effect system

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.

An effect system is typically an extension of a type system. The term "type and effect system" is sometimes used in this case.

References

C. Hankin, F Nielson, H.R. Nielson. "Principles of Program Analysis". ISBN 3-540-65410-0


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Future Rapid Effect System — The Future Rapid Effect System (FRES) is the UK Ministry of Defence’s programme to deliver a fleet of more than 3,000 armoured vehicles for the British Army that is rapidly deployable, network enabled, capable of operating across the spectrum of… …   Wikipedia

  • System of a Down — au Download Festival en mai 2005. Pays d’origine …   Wikipédia en Français

  • Effect size — In statistics, an effect size is a measure of the strength of the relationship between two variables in a statistical population, or a sample based estimate of that quantity. An effect size calculated from data is a descriptive statistic that… …   Wikipedia

  • effect — ef|fect1 W1S1 [ıˈfekt] n ▬▬▬▬▬▬▬ 1¦(change/result)¦ 2 put/bring something into effect 3 take effect 4¦(law/rule)¦ 5 with immediate effect/with effect from 6 in effect 7 to good/great/no etc effect 8 to this/that/the effect 9¦(idea/feeling)¦ …   Dictionary of contemporary English

  • effect — ▪ I. effect ef‧fect 1 [ɪˈfekt] noun 1. [countable, uncountable] the way in which an action, event, or person changes someone or something: • Inflation is having a disastrous effect on the economy. demonˈstration efˌfect [singular] …   Financial and business terms

  • effect — ef|fect1 [ ı fekt ] noun *** 1. ) count or uncount a change that is produced in one person or thing by another: an adverse/beneficial effect (=a bad/good effect): East German companies were suffering the adverse effects of German economic union.… …   Usage of the words and phrases in modern English

  • effect — 1 /I fekt/ noun 1 CHANGE/RESULT (C, U) the way in which an event, action, or person changes someone or something (+ of): the harmful effects of smoking | have an effect on: Inflation is having a disastrous effect on the economy. | have/achieve… …   Longman dictionary of contemporary English

  • effect — I UK [ɪˈfekt] / US noun Word forms effect : singular effect plural effects *** 1) [countable/uncountable] a change that is produced in one person or thing by another effect on/upon: Scientists are studying the chemical s effect on the environment …   English dictionary

  • System of a Down — This article is about the band. For their self titled album, see System of a Down (album). System of a Down …   Wikipedia

  • System Shock — Infobox VG title = System Shock developer = Looking Glass Studios publisher = Origin Systems/Electronic Arts designer = Doug Church engine = Enhanced Underworld engine released = March 26, 1994cite web |… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”