Description
Part 1: Introductory Topics1. Introduction2. Basic Types3. Basic Control Structures4. Procedures and Functions5. Arrays, Records and Access Types6. Basics of Object Oriented ProgrammingPart 2: Intermediate Topics7. Exception Handling8. The Basics Of I/O And Interacting With The Operating System9. String Operations10. Data ContainersPart 3: Advanced Topics11. Multiprocessing With Tasks12. Advanced Types13. Advanced OOP14. Contracts and Proofs15. Networking and Advanced I/O16. Project Organization17. LibrariesAppendix A: Installing GNAT in Linux and UnixAppendix B: Installing GNAT in WindowsAppendix C: Reserved KeywordsAppendix D: Debugging Ada Applications
Author: Andrew T. Shvets
Publisher: Apress
Published: 12/10/2019
Pages: 343
Binding Type: Paperback
Weight: 1.39lbs
Size: 10.00h x 7.00w x 0.75d
ISBN13: 9781484254271
ISBN10: 1484254279
BISAC Categories:
- Computers | Languages | General
- Computers | Programming | Object Oriented
Author: Andrew T. Shvets
Publisher: Apress
Published: 12/10/2019
Pages: 343
Binding Type: Paperback
Weight: 1.39lbs
Size: 10.00h x 7.00w x 0.75d
ISBN13: 9781484254271
ISBN10: 1484254279
BISAC Categories:
- Computers | Languages | General
- Computers | Programming | Object Oriented
About the Author
Ever since beginning programming, Andrew Shvets was very interested in writing software that could be proven to be correct, without having to test every possible outcome or pray that extra bugs won't show up. Upon discovering SPARK/Ada, it became clear that his calling was answered.