Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

44

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540108436, 9783540387459

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic construction of verification condition generators from hoare logics

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_30 ◽

1981 ◽

pp. 363-377 ◽

Author(s):

Mark Moriconi ◽

Richard L. Schwartz

Keyword(s):

Automatic Construction ◽

Verification Condition

Download Full-text

Circular expressions: Elimination of static environments

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_31 ◽

1981 ◽

pp. 378-392

Author(s):

Ravi Sethi

Download Full-text

On the generation of cryptographically strong pseudo-random sequences

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_43 ◽

1981 ◽

pp. 544-550 ◽

Author(s):

Adi Shamir

Keyword(s):

Random Sequences

Download Full-text

Flow analysis of lambda expressions

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_10 ◽

1981 ◽

pp. 114-128 ◽

Author(s):

Neil D. Jones

Keyword(s):

Download Full-text

The implication problem for data dependencies

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_7 ◽

1981 ◽

pp. 73-85 ◽

Author(s):

C. Beeri ◽

M. Y. Vardi

Keyword(s):

Data Dependencies ◽

Implication Problem

Download Full-text

Cost tradeoffs in graph embeddings, with applications

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_4 ◽

1981 ◽

pp. 41-55 ◽

Author(s):

Hong Jia-Wei ◽

Kurt Mehlhorn ◽

Arnold L. Rosenberg

Keyword(s):

Graph Embeddings

Download Full-text

Impartiality, justice and fairness: The ethics of concurrent termination

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_22 ◽

1981 ◽

pp. 264-277 ◽

Author(s):

D. Lehmann ◽

A. Pnueli ◽

J. Stavi

Download Full-text

Realizing an equational specification

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_37 ◽

1981 ◽

pp. 459-478 ◽

Author(s):

A. Pnueli ◽

R. Zarhi

Download Full-text

Algorithmic specifications of abstract data types

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_11 ◽

1981 ◽

pp. 129-147 ◽

Author(s):

Jacques Loeckx

Keyword(s):

Abstract Data Types ◽

Download Full-text

On LALR(k) testing

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_17 ◽

1981 ◽

pp. 208-217 ◽

Author(s):

Seppo Sippu ◽

Eljas Soisalon-Soininen

Download Full-text