Side-effect free functions in object-oriented languages

Authors:
Roberto Ierusalimschy;Noemi Rodriguez
Affiliations:
Departamento de Informática, PUC-Rio Rua M.S. Vincente 225, Rio de Janeiro, 22453-900, Brazil;Departamento de Informática, PUC-Rio Rua M.S. Vincente 225, Rio de Janeiro, 22453-900, Brazil
Venue:
Computer Languages
Year:
1995

Citing 7
Cited 2

On understanding types, data abstraction, and polymorphism

ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Inheritance as an incremental modification mechanism or what like is and isn'tlike

on ECOOP '88 (European Conference on Object-Oriented Programming)
Types in school

ACM SIGPLAN Notices
The programming language SuperPascal

Software—Practice & Experience
Subtypes vs. where clauses: constraining parametric polymorphism

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Report on the programming language Euclid

ACM SIGPLAN Notices
A denotational approach for type-checking in object-oriented programming languages

Computer Languages

Verifiable functional purity in java

Proceedings of the 15th ACM conference on Computer and communications security
Read-only execution for dynamic languages

TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a method for statically verifying that functions do not produce side-effects, in an object-oriented language. The described model, although not allowing any changes to pre-existing objects during a function call, permits an imperative style of programming, where new objects can be freely created and manipulated.