Programming Languages and Their Definition - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer-Verlag

354013378x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The semantics of parallel processing

Programming Languages and Their Definition - Lecture Notes in Computer Science ◽

10.1007/bfb0048946 ◽

2006 ◽

pp. 215-229 ◽

Author(s):

H. Bekić

Keyword(s):

Parallel Processing

Download Full-text

Mathematical semantics and compiler correctness

Programming Languages and Their Definition - Lecture Notes in Computer Science ◽

10.1007/bfb0048943 ◽

2006 ◽

pp. 156-167

Author(s):

H. Bekić

Keyword(s):

Compiler Correctness ◽

Mathematical Semantics

Download Full-text

Nondeterministic programs : An example

Programming Languages and Their Definition - Lecture Notes in Computer Science ◽

10.1007/bfb0048948 ◽

2006 ◽

pp. 240-247

Author(s):

Hans Bekić

Download Full-text

Note on a test example for ALGOL60 compilers by D.E. Knuth

Programming Languages and Their Definition - Lecture Notes in Computer Science ◽

10.1007/bfb0048934 ◽

2006 ◽

pp. 1-1 ◽

Author(s):

H. Bekić

Download Full-text

Nondeterministic functions and the semantics of CSP

Programming Languages and Their Definition - Lecture Notes in Computer Science ◽

10.1007/bfb0048947 ◽

2006 ◽

pp. 230-239

Author(s):

Hans Bekić

Download Full-text

A formal definition of a PL/I subset

Programming Languages and Their Definition - Lecture Notes in Computer Science ◽

10.1007/bfb0048942 ◽

2006 ◽

pp. 107-155 ◽

Author(s):

H. Bekić ◽

D. Bjørner ◽

W. Henhapl ◽

C. B. Jones ◽

P. Lucas

Keyword(s):

Formal Definition ◽

Download Full-text

The meaning of names in PL/I

Programming Languages and Their Definition - Lecture Notes in Computer Science ◽

10.1007/bfb0048936 ◽

2006 ◽

pp. 4-16

Author(s):

H. Bekić

Download Full-text

Towards a mathematical theory of processes

Programming Languages and Their Definition - Lecture Notes in Computer Science ◽

10.1007/bfb0048944 ◽

2006 ◽

pp. 168-206 ◽

Author(s):

H. Bekić

Keyword(s):

Mathematical Theory

Download Full-text

Formalization of storage properties

Programming Languages and Their Definition - Lecture Notes in Computer Science ◽

10.1007/bfb0048940 ◽

2006 ◽

pp. 56-85

Author(s):

H. Bekić ◽

K. Walk

Keyword(s):

Storage Properties

Download Full-text

On the formal definition of programming languages

Programming Languages and Their Definition - Lecture Notes in Computer Science ◽

10.1007/bfb0048941 ◽

2006 ◽

pp. 86-106 ◽

Author(s):

H. Bekic

Keyword(s):

Programming Languages ◽

Formal Definition ◽

Download Full-text