Science Fair Project Encyclopedia
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
Last updated: 10-13-2005 19:46:12
12-19-2008 14:25:18
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


