Design and Implementation of Programming Languages

Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

AvJ. H. Williams,D. A. Fisher

Häftad, Engelska, 1977

Del i serien Lecture Notes in Computer Science

460 kr

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

Produktinformation

Utgivningsdatum:1977-08-01
Mått:170 x 250 x 28 mm
Vikt:774 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:498
Upplaga:1977
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540083603

Utforska kategorier

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

Innehållsförteckning

Section I the common programming language effort of the department of defense.- Section II data types.- Section III parallel processing, machine dependency and program verification.- Section IV programming language specifications, optimization and run-time support systems.- A note on "pointers".- Some issues in data types and type checking.- Models of data objects and data types.- Encapsulated data types and generic procedures.- Run-time checking of data access in pascal-like languages.- A language design for structured concurrency.- Language features for parallel processing and resource control.- Separate definition and compilation in lis and its implementation.- Requirements for real-time languages.- Remarks on the impact of program verification on language design.- Target computer independent optimization procedures for metacompilers.- The need for optimization standards.- A reminder for language designers.- The tinman and communications applications.- Programming language design issues.- Parallel processing and modular software construction.- After-dinner speech.- Tinman needed characteristics.

Du kanske också är intresserad av

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

The Collected Works of C.G. Jung

C. G. Jung, Gerhard Adler, R. F. C. Hull

Häftad, 1977

533 kr

Del 605

Classification Theory of Riemannian Manifolds

S. R. Sario, M. Nakai, C. Wang, L. O. Chung

Häftad, 1977

501 kr

Mean Steam Riders

J. H. Williams

E-bok

44 kr

Public Use of Private Interest

Charles L. Schultze

Häftad, 1977

295 kr

Mean Steam Riders

J H Williams

Häftad, 2022

148 kr

Rushton and His Times in American Canoeing

Atwood Manley

Häftad, 1977

216 kr

Rehabilitation Praxis und Forschung

W. Augsburger, W. Herrmann, F. Knapp, H.-J. Küppers, H. P. Tews, E. Wiedemann

Häftad, 1977

589 kr

Del 606

Mathematical Aspects of Finite Element Methods

I. Galligani, E. Magenes

Häftad, 1977

391 kr

Anxiety, Learning, and Instruction

J. E. Sieber, H. F. O'Neil, Jr., S. Tobias

Inbunden, 1977

921 kr

Design and Implementation of Programming Languages

Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

AvJ. H. Williams,D. A. Fisher

Häftad, Engelska, 1977

Del i serien Lecture Notes in Computer Science

460 kr

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

Produktinformation

Utgivningsdatum:1977-08-01
Mått:170 x 250 x 28 mm
Vikt:774 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:498
Upplaga:1977
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540083603

Utforska kategorier

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

Innehållsförteckning

Section I the common programming language effort of the department of defense.- Section II data types.- Section III parallel processing, machine dependency and program verification.- Section IV programming language specifications, optimization and run-time support systems.- A note on "pointers".- Some issues in data types and type checking.- Models of data objects and data types.- Encapsulated data types and generic procedures.- Run-time checking of data access in pascal-like languages.- A language design for structured concurrency.- Language features for parallel processing and resource control.- Separate definition and compilation in lis and its implementation.- Requirements for real-time languages.- Remarks on the impact of program verification on language design.- Target computer independent optimization procedures for metacompilers.- The need for optimization standards.- A reminder for language designers.- The tinman and communications applications.- Programming language design issues.- Parallel processing and modular software construction.- After-dinner speech.- Tinman needed characteristics.