Lecture Notes in Computer Science - Towards a Formal Description of Ada
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540102830, 9783540384151

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The design of a virtual machine for Ada

Lecture Notes in Computer Science - Towards a Formal Description of Ada ◽

10.1007/3-540-10283-3_5 ◽

1980 ◽

pp. 435-606 ◽

Cited By ~ 3

Author(s):

Ole Dommergaard

Keyword(s):

Virtual Machine

Download Full-text

A denotational (static) semantics method for defining Ada context conditions

Lecture Notes in Computer Science - Towards a Formal Description of Ada ◽

10.1007/3-540-10283-3_2 ◽

1980 ◽

pp. 21-212 ◽

Cited By ~ 2

Author(s):

Jørgen Bundgaard ◽

Lennart Schultz

Keyword(s):

Static Semantics

Download Full-text

A formal semantics definition of sequential Ada

Lecture Notes in Computer Science - Towards a Formal Description of Ada ◽

10.1007/3-540-10283-3_3 ◽

1980 ◽

pp. 213-308 ◽

Cited By ~ 3

Author(s):

Jan Storbank Pedersen

Keyword(s):

Formal Semantics ◽

Definition Of

Download Full-text

The DDC Ada compiler development method

Lecture Notes in Computer Science - Towards a Formal Description of Ada ◽

10.1007/3-540-10283-3_1 ◽

1980 ◽

pp. 1-20 ◽

Cited By ~ 8

Author(s):

Dines Bjørner ◽

Ole Nybye Oest

Keyword(s):

Development Method

Download Full-text

Parallelism in Ada

Lecture Notes in Computer Science - Towards a Formal Description of Ada ◽

10.1007/3-540-10283-3_4 ◽

1980 ◽

pp. 309-434 ◽

Cited By ~ 1

Author(s):

Hans Henrik Løvengreen

Download Full-text

Lecture Notes in Computer Science - Towards a Formal Description of AdaLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The design of a virtual machine for Ada

A denotational (static) semantics method for defining Ada context conditions

A formal semantics definition of sequential Ada

The DDC Ada compiler development method

Parallelism in Ada

Lecture Notes in Computer Science - Towards a Formal Description of Ada
Latest Publications