Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Formal systemFunctional programmingGotoLecture Notes in Computer Science

Broader (2)

Program analysisType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Confidentiality of Interactions in Concurrent Object-Oriented Systems
We consider a general concurrency model for distributed systems, based on concurrent objects communicating by asynchronous… 
2015
2015
Effects of surface passivation on top-down ZnO nanowire transistors
2015
2015
Certifications of programs with computational effects. (Certification de programmes avec des effets calculatoires)
In this thesis, we aim to formalize the effects of a computation. Indeed, most used programming languages involve different sorts… 
2014
2014
Effects : Optimistic Effects for Dynamic Dispatch
This is the Technical Report version of the 2013 ECOOP submission by the same title. It includes the ECOOP version verbatim… 
2012
2012
Safe locking for multi-threaded Java with exceptions
2011
2011
Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP
Code injection and cross-site scripting belong to the most common security vulnerabilities in modern software, usually caused by… 
2005
2005
Internet information retrieval system based on mobile agent
Although there are many browsers and information searching engines, robot searching technology or artificial classifying search… 
2004
2004
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain
This chapter describes the design of Hume: a domain-specific language targeting real-time embedded systems. Hume provides a… 
2003
2003
Alias types for "environment-aware" computations
2002
2002
COUGAR Concept and New Approach to Service Management By Using Simulation
This paper proposes the challenges introduced by the development of a simulation based DSS (Decision Support System) for… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)