Effect system

Known as: Effect, Effect systems 
In computing, an effect system is a formal system which describes the computational effects of computer programs, such as side effects. An effect… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Effect systems have the potential to help software developers, but their practical adoption has been very limited. We conjecture… (More)
  • figure 2
  • figure 6
  • figure 9
  • figure 20
  • figure 23
Is this relevant?
2014
2014
We study fundamental properties of a generalisation of monad called parametric effect monad, and apply it to the interpretation… (More)
Is this relevant?
2014
2014
Effect systems have the potential to help software developers, but their practical adoption has been very limited. We conjecture… (More)
  • figure 2
  • figure 5
  • figure 6
  • figure 7
  • figure 10
Is this relevant?
2013
2013
We present an effect system for core Eff, a simplified variant of Eff , which is an ML-style programming language with first… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Today's shared-memory parallel programming models are complex and error-prone.While many parallel programs are intended to be… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2009
2009
Type-and-effect systems are a natural approach for statically reasoning about a program's execution. They have been used to track… (More)
  • figure 2
  • figure 3
  • table 1
  • figure 5
  • figure 6
Is this relevant?
2006
2006
Representation exposure is a well-known problem in the object-oriented realm. Object encapsulation mechanisms have established a… (More)
  • figure 2
  • table 1
  • table 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic… (More)
  • figure 1
  • table 1
  • figure 2
Is this relevant?
1996
1996
Program analysis offers static techniques for predicting safe and computable approximations to the set of values or behaviours… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
We present a new approach to programming languages for parallel computers that uses an effect system to discover expression… (More)
  • figure 1
  • figure 2
Is this relevant?