Sciweavers

13734 search results - page 29 / 2747

» Abstractions of data types

77

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 4 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

91

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 4 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

75

LICS
1995
IEEE

79views Automated Reasoning» more LICS 1995»

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

15 years 3 months ago

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

Download fpl.cs.depaul.edu

Alan Jeffrey

claim paper

Read More »

88

FORTE
2010

139views Formal Methods» more FORTE 2010»

Static Type Analysis of Pattern Matching by Abstract Interpretation

15 years 1 months ago

Static Type Analysis of Pattern Matching by Abstract Interpretation

Download people.inf.ethz.ch

Pietro Ferrara

claim paper

Read More »

50

DAGSTUHL
2008

89views Software Engineering» more DAGSTUHL 2008»

08061 Abstracts Collection -- Types, Logics and Semantics for State

15 years 1 months ago

08061 Abstracts Collection -- Types, Logics and Semantics for State

Download drops.dagstuhl.de

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...

claim paper

Read More »

« Prev « First page 29 / 2747 Last » Next »