International Symposium on Programming

Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

AvB. Robinet

Häftad, Engelska, 1980

Del i serien Lecture Notes in Computer Science

573 kr

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

Produktinformation

Utgivningsdatum:1980-04-01
Mått:170 x 250 x 20 mm
Vikt:540 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:350
Upplaga:1980
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540099819

Utforska kategorier

Innehållsförteckning

Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- Échappements et continuations en semantique dénotationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable.

Du kanske också är intresserad av

Programming Symposium

B. Robinet

Häftad, 1974

403 kr

International Symposium on Programming

M. Paul, B. Robinet

Häftad, 1984

573 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

Nyhet

Sluta aldrig skriv

Mats Olsson

Inbunden, 2026

239 kr

-30%

Se dig inte om

Harlan Coben

Pocket, 2026

69 kr99 kr

Nyhet

Easynomics : pengar, frihet och noll vuxenspråk

Mika Fredholm

Inbunden, 2026

269 kr

Nyhet

Del 11

Medusa

Lars Kepler

E-bok

2026

139 kr

Nyhet

Del 11

Medusa

Lars Kepler

Ljudbok

2026

149 kr

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

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

International Symposium on Programming

Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

AvB. Robinet

Häftad, Engelska, 1980

Del i serien Lecture Notes in Computer Science

573 kr

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

Produktinformation

Utgivningsdatum:1980-04-01
Mått:170 x 250 x 20 mm
Vikt:540 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:350
Upplaga:1980
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540099819

Utforska kategorier

Innehållsförteckning

Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- Échappements et continuations en semantique dénotationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable.