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.
2015
2015
Effects of surface passivation on top-down ZnO nanowire transistors
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… 
2007
2007
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources
2006
2006
Type-Safe Runtime Class Upgrades in Creol
Modern applications distributed across networks such as the Internet may need to evolve without compromising application… 
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
DEVELOPMENT OF TRIPLE-EFFECT ABSORPTION CHILLER-HEATER
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)