Company ABC Technology: Summer 200X Update August 200X † © 2007.
Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001...
-
Upload
audra-nichols -
Category
Documents
-
view
213 -
download
0
Transcript of Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001...
![Page 1: Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001 Bloomington, MN.](https://reader036.fdocuments.us/reader036/viewer/2022082817/56649dbf5503460f94ab2847/html5/thumbnails/1.jpg)
Update on Ada 200X
SIGAda 2001S. Tucker Taft
CTOAverCom Corp., a Titan Company
October 4, 2001Bloomington, MN
![Page 2: Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001 Bloomington, MN.](https://reader036.fdocuments.us/reader036/viewer/2022082817/56649dbf5503460f94ab2847/html5/thumbnails/2.jpg)
Last Year’s Presentation
Preserve/Enhance Safety of Ada Additional Portability Libraries
Directory Operations Sockets
Support for common OO paradigms Cyclic Dependence of Types across packages Object’Operation(…) <=> Op(Object, …)
now Object.Operation(…) Multiple inheritance of Interfaces
![Page 3: Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001 Bloomington, MN.](https://reader036.fdocuments.us/reader036/viewer/2022082817/56649dbf5503460f94ab2847/html5/thumbnails/3.jpg)
What we have done this past year
“not null” access subtypes Access-constant parameters Directory ops Cyclic dependence across packages
“with type” package “abstracts” incomplete (sub)type stubs & separate
completions Object.Operation(…)
Ada 200X
![Page 4: Update on Ada 200X SIGAda 2001 S. Tucker Taft CTO AverCom Corp., a Titan Company October 4, 2001 Bloomington, MN.](https://reader036.fdocuments.us/reader036/viewer/2022082817/56649dbf5503460f94ab2847/html5/thumbnails/4.jpg)
What we have done this past year (cont’d)
Multiple inheritance of interfaces type Int1 is abstract; type Int2 is abstract; type Imp is new Parent and Int1 and Int2 with ...
Int1 Int2
Imp