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.

References

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

This article is a stub. You can help Wikipedia by expanding it (http://www.mywiseowl.com/index.php?title=Effect_system&action=edit).

Retrieved from "http://www.mywiseowl.com/articles/Effect_system"

This page has been accessed 73 times. This page was last modified 18:26, 29 Aug 2004. All text is available under the terms of the GNU Free Documentation License (see Copyrights for details).