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

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

29 Citaten (Scopus)

6 Downloads (Pure)

Samenvatting

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.

Originele taal-2	Engels
Pagina's (van-tot)	35-52
Aantal pagina's	18
Tijdschrift	Topology and its Applications
Volume	85
Nummer van het tijdschrift	1-3
DOI's	https://doi.org/10.1016/S0166-8641(97)00140-5
Status	Gepubliceerd - 1998

Toegang tot document

10.1016/S0166-8641(97)00140-5

Citeer dit

@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

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit