Beginning Ada Programming
Apress (Verlag)
978-1-4842-5427-1 (ISBN)
Starting with the simplest of topics, detailed explanations demonstrate the how and why of Ada. You are strongly encouraged to experiment and break things (without which the learning process is linear and quite dull). At the end of Beginning Ada Programming, you will have an excellent understanding of the general topics that make up the Ada programming language and can tackle far more challenging topics.
Each chapter builds on what was previously described. Furthermore, each code example is independent of others and will run all by itself. Instructions are provided where you can obtain an Adacompiler and how to debug your code.
What You Will Learn
Master basic types, control structures, procedures, and functions in Ada
Use Ada arrays, records, and access types
Implement OO programming using Ada
Handle the basics of I/O and interfacing with the operating system
Take advantage of string operators, data containers, multiprocessing with tasks, and more
Work with contracts and proofs, networks, and various Ada libraries
Who This Book Is For
Programmers who are new to Ada, with at least some experience in programming, especially scientific programming.
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.
Part 1: Introductory Topics.- 1. Introduction.- 2. Basic Types.- 3. Basic Control Structures.- 4. Procedures and Functions.- 5. Arrays, Records and Access Types.- 6. Basics of Object Oriented Programming.- Part 2: Intermediate Topics.- 7. Exception Handling.- 8. The Basics Of I/O And Interacting With The Operating System.- 9. String Operations.- 10. Data Containers.- Part 3: Advanced Topics.- 11. Multiprocessing With Tasks.- 12. Advanced Types.- 13. Advanced OOP.- 14. Contracts and Proofs.- 15. Networking and Advanced I/O.- 16. Project Organization.- 17. Libraries.- Appendix A: Installing GNAT in Linux and Unix.- Appendix B: Installing GNAT in Windows.- Appendix C: Reserved Keywords.- Appendix D: Debugging Ada Applications.
Erscheinungsdatum | 31.12.2019 |
---|---|
Zusatzinfo | XVII, 343 p. |
Verlagsort | Berkley |
Sprache | englisch |
Maße | 178 x 254 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | ADA • application • Beginning • build • Code • language • programming • Software • source |
ISBN-10 | 1-4842-5427-9 / 1484254279 |
ISBN-13 | 978-1-4842-5427-1 / 9781484254271 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich