International Symposium on Programming

6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

AvM. Paul,B. Robinet

Häftad, Engelska, 1984

Del i serien Lecture Notes in Computer Science

572 kr

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

Produktinformation

Utgivningsdatum:1984-04-01
Mått:155 x 235 x 15 mm
Vikt:417 g
Format:Häftad
Språk:Engelska, Franska
Serie:Lecture Notes in Computer Science
Antal sidor:263
Upplaga:1984
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540129257

Utforska kategorier

Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

Un modele de description de protocoles : Les reseaux fermes d'automates triphases.- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees.- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus.- Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels.- Some topics in the design of the specification language lotos.- Specification and verification of networks protocols using temporal logic.- Une implémentation des coroutines en Lisp, application à Smalltalk.- Vesta Vectorisation automatique et parametree de programmes.- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma.- Projet Vesta.- The program dependence graph and its use in optimization.- Implementations of nondeterministic programs.- For statements with restricted enumerations.- A method for developing concurrent systems.- An optimal-time recursive evaluator for attribute grammars.- On the Merlin-Randell problem of train journeys.- Un systeme d'aide a la preuve de compilateurs.- Optimized combinatoric code for applicative language implementation.- Polymorphic type schemes and recursive definitions.- Non-sequential behaviour.- Proving properties of Snobol4 patterns: Selecting the assertion format.- Polynomial-time analysis for a class of communicating processes.

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

International Symposium on Programming

B. Robinet

Häftad, 1980

572 kr

Programming Symposium

B. Robinet

Häftad, 1974

403 kr

Success in Referential Communication

M. Paul

Inbunden, 1999

1 138 kr

Success in Referential Communication

M. Paul

E-bok

2013

1 427 kr

GI — 19. Jahrestagung II

M. Paul

E-bok

2013

590 kr

Digital Computer Applications to Process Control

M. Paul

E-bok

2016

781 kr

Distributed Systems - Architecture and Implementation

D.W. Davies, E. Holler, E.D. Jensen, S.R. Kimbleton, B.W. Lampson, G. LeLann, K.J. Thurber, R.W. Watson, B. W. Lampson, M. Paul, H. J. Siegert

Häftad, 1981

572 kr

GI — 19. Jahrestagung I

M. Paul

E-bok

2013

590 kr

GI — 19. Jahrestagung II

M. Paul, M. Paul

Häftad, 1989

571 kr

International Symposium on Programming

6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

AvM. Paul,B. Robinet

Häftad, Engelska, 1984

Del i serien Lecture Notes in Computer Science

572 kr

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

Produktinformation

Utgivningsdatum:1984-04-01
Mått:155 x 235 x 15 mm
Vikt:417 g
Format:Häftad
Språk:Engelska, Franska
Serie:Lecture Notes in Computer Science
Antal sidor:263
Upplaga:1984
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540129257

Utforska kategorier

Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

Un modele de description de protocoles : Les reseaux fermes d'automates triphases.- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees.- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus.- Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels.- Some topics in the design of the specification language lotos.- Specification and verification of networks protocols using temporal logic.- Une implémentation des coroutines en Lisp, application à Smalltalk.- Vesta Vectorisation automatique et parametree de programmes.- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma.- Projet Vesta.- The program dependence graph and its use in optimization.- Implementations of nondeterministic programs.- For statements with restricted enumerations.- A method for developing concurrent systems.- An optimal-time recursive evaluator for attribute grammars.- On the Merlin-Randell problem of train journeys.- Un systeme d'aide a la preuve de compilateurs.- Optimized combinatoric code for applicative language implementation.- Polymorphic type schemes and recursive definitions.- Non-sequential behaviour.- Proving properties of Snobol4 patterns: Selecting the assertion format.- Polynomial-time analysis for a class of communicating processes.