Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
In recent years, increasing interest in developing small-scale fully integrated energy resources in distributed power networks… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2016
Highly Cited
2016
Ethereum is a framework for cryptocurrencies which uses blockchain technology to provide an open global computing platform… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2010
Highly Cited
2010
This paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Information security has a challenge to address: enabling information-flow controls with expressive information release (or… Expand
  • figure 2
  • figure 3
  • figure 6
  • figure 7
  • figure 9
Is this relevant?
Highly Cited
2006
Highly Cited
2006
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are… Expand
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… Expand
  • figure 1
  • table 1
  • figure 2
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Applications of conformal field theory to the theory of fractional quantum Hall systems are discussed. In particular, Laughlin's… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The primary goal of this study is to devise a method to express mutations to state in a modern (higher order, polymorphic… Expand
  • figure 1
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… Expand
  • figure 1
  • figure 2
Is this relevant?