Assignments for applicative languages

Assignments for applicative languages (1991)

Cached

Download Links

[www.cs.bham.ac.uk]

Other Repositories/Bibliography

DBLP

by Vipin Swarup , Uday S. Reddy , Evan Ireland , Palmerston North

Venue:	Conf. on Functional Program. Lang. and Comput. Arch
Citations:	37 - 11 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Assignments for applicative languages	INFERENCE
AUTHOR NAME	Vipin Swarup	SVM HeaderParse 0.2
AUTHOR AFFIL	The MITRE Corporation	SVM HeaderParse 0.2
AUTHOR ADDR	Burlington Road; Bedford, MA 01730.	SVM HeaderParse 0.2
AUTHOR NAME	Uday S. Reddy	SVM HeaderParse 0.2
AUTHOR AFFIL	Dept. of Computer Science; University of Illinois; at Urbana-Champaign	SVM HeaderParse 0.2
AUTHOR ADDR	Urbana, IL 61801.	SVM HeaderParse 0.2
AUTHOR NAME	Evan Ireland	SVM HeaderParse 0.2
AUTHOR AFFIL	School of Information Sciences; Massey University	SVM HeaderParse 0.2
AUTHOR NAME	Palmerston North	SVM HeaderParse 0.2
AUTHOR AFFIL	New Zealand.	SVM HeaderParse 0.2
ABSTRACT	We propose a theoretical framework for adding assignments and dynamic data to functional languages without violating their semantic properties. This differs from semi-functional languages like Scheme and ML in that values of expressions remain static and side-effect-free. A new form of abstraction called observer is designed to encapsulate state-oriented computation from the remaining purely applicative computation. The type system ensures that observers are combined linearly, allowing an implementation in terms of a global store. The utility of this extension is in manipulating shared dynamic data embedded in data structures. Evaluation of well-typed programs is Church-Rosser. Thus, programs produce the same results whether an eager or lazy evaluation order is used (assuming termination). A simple, sound logic permits reasoning about well-typed programs. The benefits of this work include greater expressive power and efficiency (compared to applicative languages), while retaining simplicity of reasoning.	SVM HeaderParse 0.2
YEAR	1991	INFERENCE
VENUE	Conf. on Functional Program. Lang. and Comput. Arch	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	192--214	INFERENCE
CITATIONS	28 found	ParsCit 1.0