Mathematical Foundation of Programming Semantics

International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings

AvAustin Melton

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

557 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-10-01
Mått:155 x 235 x 23 mm
Vikt:616 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:400
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540168164

Utforska kategorier

Innehållsförteckning

Standard, storeless semantics for ALGOL-style block structure and call-by-name.- Cartesian closed categories, quasitopoi and topological universes.- Concrete categories and injectivity.- Fixed points in process algebras with internal actions.- A fully abstract semantics and a proof system for an algol-like language with sharing.- Comparing categories of domains.- Galois connections.- Retracts of SFP objects.- Continuous categories.- Free constructions of powerdomains.- Additive domains.- A topological framework for cpos lacking bottom elements.- Detecting local finite breadth in continuous lattices and semilattices.- On the variety concept for ?-continuous algebras. Application of a general approach.- On denotational semantics of data bases.- Postconditional semantics of data base queries.- What is a model? A consumer's perspective on semantic theory.- Modal theory, partial orders, and digital geometry.- An FP domain with infinite objects.- Union complete countable subset systems.- On the syntax and semantics of concurrent computing.

Du kanske också är intresserad av

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Mathematical Foundations of Programming Semantics

Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt

Häftad, 1994

1 139 kr

Categorical Perspectives

Jürgen Koslowski, Austin Melton

Häftad, 2012

1 106 kr

Mathematical Foundations of Programming Semantics

Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt

Häftad, 1992

557 kr

Categorical Perspectives

Austin Melton, Jurgen Koslowski

E-bok

2012

1 427 kr

Mathematical Foundations of Programming Language Semantics

Michael Main, Austin Melton, Michael Mislove, David Schmidt

Häftad, 1988

557 kr

Categorical Perspectives

J. Koslowski, A. Melton, Jürgen Koslowski, Austin Melton

Inbunden, 2001

1 106 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Signerad!

SIGNERAD - Om julens wälgång

Klara Peters Bastin

Inbunden, 2026

249 kr

Mathematical Foundation of Programming Semantics

International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings

AvAustin Melton

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

557 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-10-01
Mått:155 x 235 x 23 mm
Vikt:616 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:400
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540168164

Utforska kategorier

Innehållsförteckning

Standard, storeless semantics for ALGOL-style block structure and call-by-name.- Cartesian closed categories, quasitopoi and topological universes.- Concrete categories and injectivity.- Fixed points in process algebras with internal actions.- A fully abstract semantics and a proof system for an algol-like language with sharing.- Comparing categories of domains.- Galois connections.- Retracts of SFP objects.- Continuous categories.- Free constructions of powerdomains.- Additive domains.- A topological framework for cpos lacking bottom elements.- Detecting local finite breadth in continuous lattices and semilattices.- On the variety concept for ?-continuous algebras. Application of a general approach.- On denotational semantics of data bases.- Postconditional semantics of data base queries.- What is a model? A consumer's perspective on semantic theory.- Modal theory, partial orders, and digital geometry.- An FP domain with infinite objects.- Union complete countable subset systems.- On the syntax and semantics of concurrent computing.