Lecture Notes in Computer Science - International Symposium on Programming
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540129257, 9783540388098

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A method for developing concurrent systems

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-12925-1_36 ◽

1984 ◽

pp. 155-166 ◽

Cited By ~ 1

Author(s):

Ryszard Janicki

Keyword(s):

Concurrent Systems

Download Full-text

On the Merlin-Randell problem of train journeys

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-12925-1_38 ◽

1984 ◽

pp. 179-190 ◽

Cited By ~ 2

Author(s):

Maciej Koutny

Download Full-text

Une implémentation des coroutines en Lisp, application à Smalltalk

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-12925-1_29 ◽

1984 ◽

pp. 74-88

Author(s):

Pierre Cointe

Download Full-text

Some topics in the design of the specification language lotos

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-12925-1_27 ◽

1984 ◽

pp. 47-58 ◽

Cited By ~ 1

Author(s):

V. Carchiolo ◽

A. Faro ◽

F. Minissale ◽

G. Scollo

Keyword(s):

Specification Language

Download Full-text

Proving properties of Snobol4 patterns: Selecting the assertion format

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-12925-1_43 ◽

1984 ◽

pp. 240-250

Author(s):

Morris M. Siegel

Download Full-text

An optimal-time recursive evaluator for attribute grammars

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-12925-1_37 ◽

1984 ◽

pp. 167-178 ◽

Cited By ~ 14

Author(s):

Martin Jourdan

Keyword(s):

Optimal Time ◽

Attribute Grammars

Download Full-text

Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-12925-1_26 ◽

1984 ◽

pp. 35-46

Author(s):

A. Bossavit

Download Full-text

The program dependence graph and its use in optimization

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-12925-1_33 ◽

1984 ◽

pp. 125-132 ◽

Cited By ~ 21

Author(s):

Jeanne Ferrante ◽

Karl J. Ottenstein ◽

Joe D. Warren

Keyword(s):

Dependence Graph ◽

Program Dependence Graph ◽

Program Dependence

Download Full-text

Un systeme d'aide a la preuve de compilateurs

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-12925-1_39 ◽

1984 ◽

pp. 191-205 ◽

Cited By ~ 3

Author(s):

E. Madelaine

Download Full-text

Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-12925-1_25 ◽

1984 ◽

pp. 23-34

Author(s):

Patrick Bellot

Download Full-text

Lecture Notes in Computer Science - International Symposium on ProgrammingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A method for developing concurrent systems

On the Merlin-Randell problem of train journeys

Une implémentation des coroutines en Lisp, application à Smalltalk

Some topics in the design of the specification language lotos

Proving properties of Snobol4 patterns: Selecting the assertion format

An optimal-time recursive evaluator for attribute grammars

Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels

The program dependence graph and its use in optimization

Un systeme d'aide a la preuve de compilateurs

Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus

Lecture Notes in Computer Science - International Symposium on Programming
Latest Publications