Robert Griesemer  Home/Search
Context Related
| cuiwww.unige.ch/OSG/p...icsi94032.ps.gz berkeley.edu/pub/tech...tr94032.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cuisg11.unige.ch/OSG/people/jv... (more) From: math.tau.ac.il/~guy/Ob...bibfull (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Procedural programming languages usually do not support side_effect free functions but merely a form of function procedures. We argue that functions should be free of (non_local) side_effects, if they are considered as abstraction mechanism for expressions. While it is easy to statically detect side_effects in functions that do not dynamically allocate variables, this is no longer the case for functions that do create new data structures. After giving a classification of different levels of... (Update)
Similar documents based on text: More All
0.1: Metaprogramming in Oberon - Templ (1994) (Correct)
0.0: Oberon News - Institute For Computer (Correct)
0.0: A Programming Language for Vector Computers - Griesemer (1993) (Correct)
BibTeX entry: (Update)
R. Griesemer. Detection of side-effects in function procedures. ICSI, 1994. http://citeseer.ist.psu.edu/griesemer94detection.html More
@techreport{ griesemer94detection,
author = "Robert Griesemer",
title = "Detection of Side-Effects in Function Procedures",
number = "94-032",
year = "1994",
url = "citeseer.ist.psu.edu/griesemer94detection.html" }
Citations (may not include all citations):58 Project Oberon - The Design of an Operating System and Compi.. (context) - Wirth, Gutknecht - 1992
35 The Programming Language Oberon (context) - Wirth - 1988
32 Functional Programming - Application and Implementation (context) - Henderson - 1980
31 Report On The Programming Language Euclid (context) - Lampson, Horning et al. - 1977
26 A Method of Programming (context) - Dijkstra, Feijen - 1988
4 A Programming Language for Vector Computers - Griesemer - 1993
1 Side Effect Free Functions in Object_Oriented Languages (context) - Ierusalimschy, Rocque - 1993
1 and B.K.P. Horn (1984). Lisp, 2nd edition (context) - Winston - 1984
Documents on the same site (http://cuisg11.unige.ch/OSG/people/jvitek/Resources/Archive/): More
Coordinating Distributed Objects with Declarative Interfaces - Singh, Gisi (1995) (Correct)
A Simple Scheme to Make Passwords Based on One-Way Functions Much .. - Manber (1996) (Correct)
The Cecil Language, Specification and Rationale - Chambers (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC