Denotational models for programming languages : applications of Banach's fixed point theorem

J.W. Bakker, de; E.P. Vink, de

doi:10.1016/S0166-8641(97)00140-5

Denotational models for programming languages : applications of Banach's fixed point theorem

J.W. Bakker, de
, E.P. Vink, de

Research output: Contribution to journal › Article › Academic › peer-review

30 Citations (Scopus)

6 Downloads (Pure)

Abstract

For an abstract programming language both a linear and a branching denotational semantics are developed. The main instrument for the construction of the two models and for the semantical operators involved is the classical Banach Fixed Point Theorem. Via higher-order transformations the various semantical definitions are justified by their characterization as—necessarily unique—fixed points of contractions on a complete metric space. Additionally the Banach Theorem proves itself useful in relating the two models presented.

Original language	English
Pages (from-to)	35-52
Number of pages	18
Journal	Topology and its Applications
Volume	85
Issue number	1-3
DOIs	https://doi.org/10.1016/S0166-8641(97)00140-5
Publication status	Published - 1998

Access to Document

10.1016/S0166-8641(97)00140-5

Cite this

@article{b3250d6ae19b412dbfcbcaddf60992e7,

title = "Denotational models for programming languages : applications of Banach's fixed point theorem",

abstract = "For an abstract programming language both a linear and a branching denotational semantics are developed. The main instrument for the construction of the two models and for the semantical operators involved is the classical Banach Fixed Point Theorem. Via higher-order transformations the various semantical definitions are justified by their characterization as—necessarily unique—fixed points of contractions on a complete metric space. Additionally the Banach Theorem proves itself useful in relating the two models presented.",

author = "\{Bakker, de\}, J.W. and \{Vink, de\}, E.P.",

year = "1998",

doi = "10.1016/S0166-8641(97)00140-5",

language = "English",

volume = "85",

pages = "35--52",

journal = "Topology and its Applications",

issn = "0166-8641",

publisher = "Elsevier B.V.",

number = "1-3",

}

TY - JOUR

T1 - Denotational models for programming languages : applications of Banach's fixed point theorem

AU - Bakker, de, J.W.

AU - Vink, de, E.P.

PY - 1998

Y1 - 1998

N2 - For an abstract programming language both a linear and a branching denotational semantics are developed. The main instrument for the construction of the two models and for the semantical operators involved is the classical Banach Fixed Point Theorem. Via higher-order transformations the various semantical definitions are justified by their characterization as—necessarily unique—fixed points of contractions on a complete metric space. Additionally the Banach Theorem proves itself useful in relating the two models presented.

AB - For an abstract programming language both a linear and a branching denotational semantics are developed. The main instrument for the construction of the two models and for the semantical operators involved is the classical Banach Fixed Point Theorem. Via higher-order transformations the various semantical definitions are justified by their characterization as—necessarily unique—fixed points of contractions on a complete metric space. Additionally the Banach Theorem proves itself useful in relating the two models presented.

U2 - 10.1016/S0166-8641(97)00140-5

DO - 10.1016/S0166-8641(97)00140-5

M3 - Article

SN - 0166-8641

VL - 85

SP - 35

EP - 52

JO - Topology and its Applications

JF - Topology and its Applications

IS - 1-3

ER -

Denotational models for programming languages : applications of Banach's fixed point theorem

Abstract

Access to Document

Fingerprint

Cite this