meanings of Effect system encyclopedia of Effect system dictionary of Effect system thesaurus on Effect system books about Effect system dreams about Effect system
 Effect system - Definition 

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.

References

C. Hankin, F Nielson, H.R. Nielson. Principles of Program Analysis. ISBN 3540654100



Missing image
Wiki_letter_w.png


This article is a stub. You can help Wikipedia by expanding it (http://www.wordiq.com/definition/Effect_system).
Copyright 2008 WordIQ.com - Privacy Policy  ::  Terms of Use  :: Contact Us  :: About Us
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Effect system".