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

403 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

Logical Frameworks

Gerard Huet, G. Plotkin

Inbunden, 1991

1 319 kr

Semantics of Concurrent Computation

G. Kahn

Häftad, 1979

346 kr

-21%

Ha en nice dag

Mikael Yvesand

Inbunden, 2026

189 kr239 kr

-19%

Sex in the City

Caroline Ringskog Ferrada-Noli

Inbunden, 2026

209 kr259 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

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

-30%

Se dig inte om

Harlan Coben

Pocket, 2026

69 kr99 kr

-16%

Livet som gåva

P. C. Jersild

Inbunden, 2026

209 kr249 kr

Nyhet

Billgrens mat

Elsa Billgren, Sigfrid Billgren

Kartonnage, 2026

269 kr

Nyhet

Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

269 kr

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

403 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.