Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897910303

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Effective machine descriptors for Ada

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 ◽

10.1145/948632.948664 ◽

1980 ◽

Author(s):

Judy M. Bishop

Download Full-text

An Ada code generator for VAX 11/780 with Unix

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 ◽

10.1145/948632.948645 ◽

1980 ◽

Author(s):

Mark Sherman ◽

Andy Hisgen ◽

David Alex Lamb ◽

Jonathan Rosenberg

Keyword(s):

Code Generator

Download Full-text

Nesting in Ada programs is for the birds

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 ◽

10.1145/948632.948651 ◽

1980 ◽

Author(s):

Lori A. Clarke ◽

Jack C. Wileden ◽

Alexander L. Wolf

Download Full-text

On a formal model of the tasking concept in Ada

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 ◽

10.1145/800004.807952 ◽

1980 ◽

Cited By ~ 3

Author(s):

Hans Henrik Løvengreen ◽

Dines Bjørner

Keyword(s):

Formal Model

Download Full-text

A multi-processing implementation-oriented formal definition of Ada in SEMANOL

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 ◽

10.1145/800004.807951 ◽

1980 ◽

Cited By ~ 3

Author(s):

F. C. Belz ◽

E. K. Blum ◽

D. Heimbigner

Keyword(s):

Formal Definition ◽

Definition Of

Download Full-text

Nesting in Ada programs is for the birds

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 ◽

10.1145/800004.807944 ◽

1980 ◽

Cited By ~ 7

Author(s):

Lori A. Clarke ◽

Jack C. Wileden ◽

Alexander L. Wolf

Download Full-text

TCOLAda and the “Middle End” of the PQCC Ada compiler

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 ◽

10.1145/800004.807940 ◽

1980 ◽

Cited By ~ 2

Author(s):

Benjamin M. Brosgol

Download Full-text

Type resolution in Ada

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 ◽

10.1145/800004.807935 ◽

1980 ◽

Author(s):

Peter A. Belmont

Download Full-text

Overloading in preliminary Ada

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 ◽

10.1145/800004.807934 ◽

1980 ◽

Cited By ~ 2

Author(s):

Guido Persch ◽

Georg Winterstein ◽

Manfred Dausmann ◽

Sophia Drossopoulou

Download Full-text

Using Ada for industrial embedded microprocessor applications

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 ◽

10.1145/800004.807932 ◽

1980 ◽

Author(s):

A. G. Duncan ◽

J. S. Hutchison

Keyword(s):

Embedded Microprocessor

Download Full-text

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Effective machine descriptors for Ada

An Ada code generator for VAX 11/780 with Unix

Nesting in Ada programs is for the birds

On a formal model of the tasking concept in Ada

A multi-processing implementation-oriented formal definition of Ada in SEMANOL

Nesting in Ada programs is for the birds

TCOLAda and the “Middle End” of the PQCC Ada compiler

Type resolution in Ada

Overloading in preliminary Ada

Using Ada for industrial embedded microprocessor applications

Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80
Latest Publications