Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Semantics of Data Types

International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings

AvG. Kahn,D.B. MacQueen

Häftad, Engelska, 1984

Del i serien Lecture Notes in Computer Science

398 kr

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

Produktinformation

Utgivningsdatum:1984-06-01
Mått:155 x 235 x 22 mm
Vikt:610 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:396
Upplaga:1984
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540133469

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theoryof parameterized specifications.

Du kanske också är intresserad av

Gerard Huet, G. Plotkin - Logical Frameworks, Inbunden

Logical Frameworks

Gerard Huet, G. Plotkin

Inbunden, 1991

1 264 kr

G. Kahn - Semantics of Concurrent Computation, Häftad

Semantics of Concurrent Computation

G. Kahn

Häftad, 1979

342 kr

Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden

Signerad!

SIGNERAD - Mackans kost : Middagar och matlådor

Marcus Frank

Inbunden, 2026

269 kr

Laleh Pourkarim - SIGNERAD - Jag såg hur vi var stjärnor, Inbunden

Signerad!

SIGNERAD - Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

269 kr

Alison Espach - Bröllopsgästerna, Pocket

-30%

Bröllopsgästerna

Alison Espach

Pocket, 2026

(7)

69 kr99 kr

Katarina Wennstam - SIGNERAD - Moder blod, Inbunden

Signerad!

Del 4

SIGNERAD - Moder blod

Katarina Wennstam

Inbunden, 2026

249 kr

Tone Schunnesson - Ultravåld, Inbunden

-19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

(6)

209 kr259 kr

Francesca Giannone - Brevbäraren i Lizzanello, Pocket

4 för 3

Brevbäraren i Lizzanello

Francesca Giannone

Pocket, 2026

(68)

99 kr

Fredrik Backman - Mina vänner, Pocket

-30%

Mina vänner

Fredrik Backman

Pocket, 2026

(6)

69 kr99 kr

Kristin Hannah - En flicka som kallas Alice, Pocket

4 för 3

En flicka som kallas Alice

Kristin Hannah

Pocket, 2025

(52)

99 kr