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 computer science-related article is a stub. Help Wikipedia by expanding it.

See also: Effect system, Computer science, Formal system, Side effect (computer science), Type system