How to Make Destructive Updates Less Destructive

How to Make Destructive Updates Less Destructive (1991)

by Martin Odersky

Venue:	IN PROC. 18TH ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:	12 - 1 self

Datum	Value	Source
TITLE	How to make destructive updates less destructive	INFERENCE
AUTHOR NAME	Martin Odersky	SVM HeaderParse 0.1
ABSTRACT	We present a safe embedding of mutable data structures in functional languages. With safety we mean that confluence and (in some sense) referential transparency are interpretation which checks that any side-effect which a function may exert via a destructive update remains invisible. The technique opens up the possibility of designing safe and efficient wide-spectrum languages which combine functional and imperative language constructs.	SVM HeaderParse 0.1
YEAR	1991	INFERENCE
VENUE	In Proc. 18th ACM Symp. on Principles of Programming Languages	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	25--36	INFERENCE
CITATIONS	18 found	ParsCit 1.0