Add to ORKGAbstract. We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The semantics establishes the soundness of both the analysis and its use in effect-based program transformations.
In this paper we introduce a variable typed logic of effects inspired by the variable type systems o...
Program fragments in functional languages may be observationally congruent in a language without eff...
AbstractThis paper describes a flexible type and effect inference system for Featherweight Java (FJ)...
Type and effect systems significantly extend type systems and allow one to express general semantic ...
We give a semantics to a polymorphic effect analysis that tracks possibly-thrown exceptions and poss...
Many object-oriented systems, such as CASE tools manipulated by GUIs and Java Servlet applications r...
Reasoning about programs that use effects can be much harder than reasoning about their pure counter...
We present a general semantic account of Gifford-style type-and-effect systems. These type systems p...
Effect handlers have recently gained popularity amongst programming language researchers. Existing t...
We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic obje...
Argumentation is an important means of communication. For describing especially arguments about cons...
Effect systems were originally conceived as an inference-based program analysis to capture program b...
We outline a type and effect system which infers sharing possibly introduced by the evaluation of an...
We compare the expressive power of three programming abstractions for user-defined computational eff...
We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic obje...
In this paper we introduce a variable typed logic of effects inspired by the variable type systems o...
Program fragments in functional languages may be observationally congruent in a language without eff...
AbstractThis paper describes a flexible type and effect inference system for Featherweight Java (FJ)...
Type and effect systems significantly extend type systems and allow one to express general semantic ...
We give a semantics to a polymorphic effect analysis that tracks possibly-thrown exceptions and poss...
Many object-oriented systems, such as CASE tools manipulated by GUIs and Java Servlet applications r...
Reasoning about programs that use effects can be much harder than reasoning about their pure counter...
We present a general semantic account of Gifford-style type-and-effect systems. These type systems p...
Effect handlers have recently gained popularity amongst programming language researchers. Existing t...
We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic obje...
Argumentation is an important means of communication. For describing especially arguments about cons...
Effect systems were originally conceived as an inference-based program analysis to capture program b...
We outline a type and effect system which infers sharing possibly introduced by the evaluation of an...
We compare the expressive power of three programming abstractions for user-defined computational eff...
We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic obje...
In this paper we introduce a variable typed logic of effects inspired by the variable type systems o...
Program fragments in functional languages may be observationally congruent in a language without eff...
AbstractThis paper describes a flexible type and effect inference system for Featherweight Java (FJ)...