default search action

combined dblp search
author search
venue search
publication search

ask others

Towards a Formal Description of Ada 1980

> Home > Conferences and Workshops > Ada

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/1980
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/1980
Dines Bjørner, Ole N. Oest:
Towards a Formal Description of Ada. Lecture Notes in Computer Science 98, Springer 1980, ISBN 3-540-10283-3

Compiler Development

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BjornerO80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BjornerO80
Dines Bjørner, Ole N. Oest:
The DDC Ada Compiler Development Project. 1-20

A Formal Definition of Ada

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BundgaardS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BundgaardS80
Jørgen Bundgaard, Lennart Schultz:
A Denotational (Static) Semantics Method for Defining Ada Context Conditions. 21-212
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Pedersen80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Pedersen80
Jan Storbank Pedersen:
A Formal Semantics Definition of Sequential Ada. 213-308
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Lovengreen80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Lovengreen80
Hans Henrik Løvengreen:
Parallelism in Ada. 309-434

An Ada Computer

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Dommergaard80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Dommergaard80
Ole Dommergaard:
The Design of a Virtual Machine for Ada. 435-606

Appendix

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sigada/Bjorner80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Bjorner80
Dines Bjørner:
Reference Manual for the Meta-Language. Towards a Formal Description of Ada 1980: 607-623

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.