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

Påfyllt med fler pocketböcker – 4 för 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

395 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 309 kr

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

Semantics of Concurrent Computation

G. Kahn

Häftad, 1979

339 kr

Tone Schunnesson - Ultravåld, Inbunden

-19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

(32)

209 kr259 kr

Karin Slaughter - Alla är vi skyldiga, Pocket

4 för 3

Del 1

Alla är vi skyldiga

Karin Slaughter

Pocket, 2026

(3)

99 kr

Jørn Lier Horst - Under ytan, Pocket

4 för 3

Del 18

Under ytan

Jørn Lier Horst

Pocket, 2026

99 kr

Camilla Grebe - Innan natten tar oss, Inbunden

-23%

Del 1

Innan natten tar oss

Camilla Grebe

Inbunden, 2026

(12)

199 kr259 kr

Gillian McAllister - Hans sista ord, Pocket

4 för 3

Hans sista ord

Gillian McAllister

Pocket, 2026

69 kr

David Szalay - Kött, Inbunden

-23%

Kött

David Szalay

Inbunden, 2026

(29)

199 kr259 kr

Francesca Giannone - Brevbäraren i Lizzanello, Pocket

4 för 3

Brevbäraren i Lizzanello

Francesca Giannone

Pocket, 2026

(108)

99 kr

Jessika Devert - Tanter på tåg, Pocket

4 för 3

Tanter på tåg

Jessika Devert

Pocket, 2026

99 kr