Dictionary
Thesaurus
Reference
Translate
Web
Effect system
Sponsored Links Effects System
Bargain Prices. You want it, we got it!
BizRate.com
1 reference results for: Effect system
Wikipedia
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

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Sunday June 29, 2008 at 13:37:43 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

CITE THIS SOURCE|PRINT
Share This:Share This: digg.comShare This: ma.gnolia.comShare This: www.stumbleupon.comShare This: del.icio.usShare This: FacebookShare This: favorites.live.comShare This: www.technorati.comShare This: furl.netShare This: myweb2.search.yahoo.comShare This: www.google.com
Sponsored Links Effects System
Bargain Prices. You want it, we got it!
BizRate.com