• Current Week: 1

Weekly Notes	Topics	Reading	Assignments
Week 1	Mon: Introduction to ITEC 320 Homework 1 - due next week Hello world: hello.adb and prettified Minimal how to compile and run Wed: Syllabus and Notes on Syllabus, Survey More course information at bottom of page FYI: Check my grades More on compile and run, IDEs and installation Even more on compile and run, IDEs, and installation Friday of this week: Bring laptops, and we will work on Class project - to submit by end of Friday	2.1, 2.2 (A mostly simple program); 5.1-5.5 (Lexical elements); 4.2 (Text_io);	Homework 1 is due Tuesday 9/4/18! Check due dates - don't do ones from last year!
Week 2	Monday: Unix, submit Unix tutorial Another unix tutorial More unix commands (notes from earlier semesters) Using the submit command Language Topics: Intro to types, expressions, input : Declarations, Integer, Natural, Positive, Attributes, Integer I/O, Operators and Expressions Keyword and Default Parameters Type Float, Strong Typing, Type Coercion Range Constraints, Subtypes, What is a Type Modular Types Friday - Control Structures: if, case, and loops - see examples Ada by Example: intro_all.adb: shows many basic language features prettified and some notes on it Introductory notes from previous semesters - Whirlwind tour of Ada: Part 1, Part 2a, Part 2b, Part 3a, Part 3b, Part 3c	6.1, 6.5, 6.7, 6.9 (Types) 7.1 - 7.3 (Control structures)	Homework 1 is due Tuesday 9/4/18! P1 for Fall 2018 is is here. Start NOW!
Week 3	Mon: Questions on assignment, and continue material from last week (subtypes and enumerated types). Wed: Gitbash, input file format, od -x (or xxd), errors, execution format Fri: Hurricane day - D2L quiz. Ada by Example	Procs: Ch. 9 + Exceps: 2.6, Ch. 14	P1 for Fall 2018 is is here. Start LAST WEEK!
Week 4	Procedures and Functions and Scope Mon: Functions are values, procedures are statements Wed: Program 1 solution, and parameter modes Fri: More modes and other procedure topics h2.html An interesting article on programming	Procs: chapter 9 Arrays: 8.1-6, 2.4;	P1 for Spring 2017 here. P2 is available
Week 5	Mon: Arrays: Wed: Arrays: Fri: Arrays: Fixed length, unconstrained types: params and declare blcck, type string, slice Notes on Arrays: Declare Blocks (revisited) Array Slices Ada by Example: Has some examples on arrays Type String (an array of characters), declare blocks, and get_line At this point we only look at Fixed Length Strings Notes from previous semesters may be useful Enumeration Types can be indices Exam coming (week 6): Topics list from last semester is here	Procs: chapter 9 Arrays: 8.1-6, 2.4;	Mini Homework 2 is due Wednesday midnight. P2 (Fall 2017) here.
Week 6	FALL 18 EXAM 1 on MONDAY 10/8/18 (Next week) Monday: Side effects, procedural areas, reliability Wednesday: Answer questions on exam topics Friday: Exam 2/23/18. Topics list is here Notes: Side Effects [re Java i = s.pop()] Language features supporting design goals Language design, syntax, and reliable programming Java has no for loop: JavaFor.java and prettified Ada has a real for loop: ada_for.adb and pretty and ada_for.s and pretty	Arrays: 8.1-6, 2.4;	P2 is here. P3 (For Fall 17) is here
Week 7	FALL 18 EXAM 1 on MONDAY 10/8/18 (This week) Mon: Return exam, program 3, Operator precedence Wed: Look_ahead, Packages, Generic Packages Fri: More of the above Program 3 Records: Introduction to Records Nested Records and Nested Composite Types: Composition vs aggregation More on Records (Employee class project) A Possible Error when using Records Useful for program 3: variant records Use Look_Ahead to skip white space Look_Ahead(c, eol); returns next character in input without advancing the input marker. Notes on look_ahead . Example: lookahead3.adb (and prettified) Example 2: The program lookaheaddemo.adb (prettified) shows look_ahead in use. Packages (and old notes on packages) Generic Packages	Records: 8.7, 2.4	P3 is here (For Spring 2017)
Week 8	Introduction to Records Nested Records and Nested Composite Types: Composition vs aggregation Wednesday: Group project at end of thse notes More on Records (Employee class project) A Possible Error when using Records Records in other languages (cover next week) Later (around week 11) we will discuss records vs classes, Records - Example programs: Basic Records (and prettified) Records as parameters (and prettified) Record and functions (and prettified) Procedures and functions (and prettified) Line List (and prettified) Renaming: Lots of things can be renamed (useful for long record names): From Ada by Example: new_names.adb and prettified Forgot to say: different from macro expansion More on renames Exceptions	Packages: 3.1 & Ch. 11	P3 is here (For Spring 17)
Week 9	Monday: Employees Wednesday and Wednesday: Group project: Unique words	Packages: 3.1 & Ch. 11 Generics: 3.4 & Ch. 17	Program 3 for Spring 2017
Week 10	Monday: Solution: unique.adb (prettified) and packages Packages (and old notes on packages) Some example packages Limited types: := and default = are not allowed in client. = can be defined (normally in spec) and used by client.	Records: 8.7, 2.4 Packages: 3.1 & Ch. 11	Program 4 for Fall 2017 Exam 2 coming
Week 11	Exam 2: next week on Wednesday (11/14/18) on these topics Child Packages: Generic Packages Parameterized to better support ADTs Generic stackpkg.ads (pretty) and stackpkg.adb (pretty) Generic queuepkg.ads (pretty) (no implementation given) Generic Child Packages Generic Procedures Generic sorts: Ada.Containers.Generic_Array_Sort (unconstrained array types only): Example (prettified). Ada.Containers.Generic_Constrained_Array_Sort (constrained array types only): Example (prettified). Parameters to Generic Packages and Procedures Finish notes from last week on generic package and procedures and their parameters Comparing packages and records with Classes Packages vs Classes (and old notes) Records vs Classes	Pointers:  Chapter 10  Section 2.5	Exam 2 next week Program 4 for Fall 2017
Week 13	Exam 2: this week on Wednesday (11/14/18) on these topics Pointers Introduction, linked structures, stacks, queues, others Pointers - The Essentials on Linked LIsts Notes on Memory Organization Errors that can occur with pointers Group Project: Even BigNums		Exam 2 NEXT week Program 5 for Fall 2018
Week 14	Exam 2: Monday 4/16/18 (of THIS week) on these topics Pointers Continued: Introduction, linked structures, stacks and queues, other uses Pointers - The Essentials on Linked LIsts Not covered: Limited Private Types Abstract Data Types You might want to look at these Hints on using pointers Old notes on Pointers		Exam 2 NEXT week Program 5 for Fall 2015
Week 15	Wednesday: Dr. Barland's notes on writing the queue package. Is_Full: See "Partial Stack implementation in these notes Practicing with dynamic lists (ie pointers): print, equal (, and copy, if there were time) Notes on Memory Organization Errors that can occur with pointers Friday: A little more on pointers - Memory addresses - one example only: Memory addresses Infinite recursion: infrec.adb and pretty Exhaust the heap: exhheap.adb and pretty Some final thoughts (from Dr. Barland) Final Exam Topics (updated for Fall 2018) Other topics: Procedural and Object Oriented programming in Ada: OO vs FO: Changing data vs changing methods Very Briefly: OO implementation An alternative to way to create a type hierarchy: variant records and a comparison with Java Consequences of adding data and functionality to OO and PO solution. (Unfortunately these notes have been removed) Functionality-Oriented Programming : Notes from the course Developing Software that Matters by Franco Gasperoni (Unfortunately these notes have been removed) Object-Oriented Programming : OO Programming in Ada (ie How to add OO to a procedural language) [ when to use OO vs FO: see last slide] (from the same course) Proof Server!		Program 5 for Fall 2015
Week 16	Comprehensive Final Exam: 8:00 a.m. - 10:00 a.m., Wednesday, 12/12/18 Topics (updated for Fall 2018) Exam week schedule (Fall 2018) Interesting Links and some fun: Some information on Fred Brooks AdaCore University Ada Lovelace Day Lady Ada's Translation and Notes on Babbage's computers (Babbage used punch cards from Jacquard looms) The Road Coloring Problem has been solved! The Cipher Event winner and his program and more detail Ada, ATC, and modifying systems Some other Topics: Side Effects [re Java i = s.pop()] New Integer and Float Types: tennis.adb and prettified Subtypes Predicates: Static and Dynamic More on Types Numeric Types More on Types Stepwise Refinement, functional decomposition, and structure charts Some other topics: Generics and Generic Sort Example 1 (and prettified). Example 2 (and prettified) Types : Enumeration Types Example: colors.adb and prettified Introduction Subtypes Using static and dynamic predicates predicates.adb and prettified Example showing subtypes defined with static and dynamic predicates static_pred.adb and prettified Using static and dynamic predicates predicates.adb and prettified Numeric Types To skip white space you can use Look_Ahead(c, eol); which returns next character in input without advancing the input marker. Notes on look_ahead . Example: lookahead3.adb (and prettified) Example 2: The program lookaheaddemo.adb (prettified) shows look_ahead in use. Opening files and command line arguments ( cmdline.adb and cline.adb and text.adb) I/O of Enumeration Types Example: colors.adb and prettified An example (from 2015) showing how language affects program reliability: Predict the output of this program: One.java (and prettified) Same problem in Ada: one_v1.adb (and prettified) A solution using Ada's type model: one_v2.adb (and prettified) An even better Ada solution: one_v3.adb (and prettified) An Ada solution with some binary output: one_v4.adb (and prettified) More on OOP in Ada: More on OO An OO project in Ada: Project Notes Abstract Objects Procedural Programming, Reliable programming, Ada Design Goals, Language Design:: A Brief Introduction to Procedural Programming and Ada History and goals, Application Areas, Hello World, Identifiers, Compile and Run, Use Statement, Ada.text_io.put Global variables: discussed in Procedures and Functions Reliable programming Gnatprove examples Information on reliable databases is available from Ada Gems: Part one and Part two. To try this, you will need to install the sql feature from gnatcoll (one of the downloads available from libre.adacore.com) and, probably, sqlite. If you have questions, let me know; I'd be glad to help. Ada History, Design Goals, and Procedural Application Areas Language features supporting design goals Language design, syntax, and reliable programming Some notes on unbounded strings are near the end of these notes on strings Example using Unbounded String: reverse_unbounded.adb and prettified: using an array of unbounded string Java Strings and the String Pool: Str.java and prettified JEWL (Windows only) and GNOGA (any platform) can be used to build GUIs. Overloading operators Literals Example program with end of file and get strings (and the prettified version) Unbounded Strings: Some notes on unbounded strings are near the end of these notes on strings (and a word about bounded strings too, from the same notes) procedure get(From: in String; Item: out Integer; Last: out Positive) is in Ada.Text_IO		Comprehensive Final Exam

• ITEC 320 Language References:
• Ada by Example
• FAQ


• Example programs:
• Some example programs
• Rosetta Code and its Ada page


• Language Comparisons:
• Syntax across languages and its Ada page
• Hello World Page
• Another Hello World Page
• 99 Bottles: Standard Version and a Multitasking Version from 99 Bottles


• Print Books:
• Programming in Ada 2012, John Barnes, Cambridge University Press, 2014.
• Programming in Ada 2005, also
• Ada for Software Engineers, Second Edition, Mordechi Ben-Ari, Springer, 2009.


• Tutorials and Ebooks:
• An excellent online tutorial from Adacore.


• Ada for the C++ or Java Developer [2012] by Quentin Ochem



• Ada Wikibook [2012]
• Video tutorials at adacore university.
• AdaCore University [2012]


• A nice overview of Ada
• Ada: A Crash Course [Incomplete] [2012] by Peter Chapin
• Ada: A Crash Course [2005] by Peter Bromin
• Ada Distilled (pdf) [2005]


• Quick Ada [1995]
• Ada95: The Craft of Object Oriented Programming [1995]
• Lovelace Ada Tutorial [1995]


• AdaTutor [1995]
• Ada in Action (by Do-While Jones) [1983]


• Tools and Libraries:
• Ada Information Clearinghouse
• Tools and Libraries
• A list of Ada tools: http://deim.urv.cat/~sgomez/ada/


• Ada Reference Manuals and Ada Rationale:
• Ada 2012 Reference Manual.
• Ada 2012 Rationale.
• Ada 2005 Reference Manual.
• Ada 2005 Rationale.
• Ada 1995 Reference Manual.
• Ada 1995 Rationale.
• Ada 1983 Reference Manual.
• Ada 1983 Rationale.


• More Documentation and Code:
• Ada standard library documentation (an Ada 95 API)
• Package Standard [from Appendix A of Reference Manual] - automatically available for every program.


• AdaCore Documentation
• GCC Online Documentation (including gnat)
• Gnat Reference Manual
• Gnat Users Guide
• GNU Gnat Coding Style


• Ada standard library packages source code
  • All file names are krunched to 8 characters. For example, a-textio, a-strunb, and a-tiunio, are for Ada.Text_IO, Ada.Strings.Unbounded, and Ada.Text_IO.Unbounded_IO. To learn the krunched name of a package, use gnatkr (eggnatkr ada.integer_text_io.ads returns a-inteio.ads/li>


• Other Ada Links
• AdaCore
• An excellent online tutorial from Adacore.
• AdaCore Blog
• AdaCore Documentation
• AdaCore GitHub
• ACM SIGAda Home Page
• Who's using Ada
• comp.lang.ada
• Stack Overflow Ada Page
• Reddit Ada Page
• Facebook
• Google+


• SPARK 2014
• Proof Server!
• SPARK Reference Sheet
• SPARK User's Guide
• SPARK Reference Manual
• SPARK Mailing List Archive [Dead link]
• SPARK Blog - now integrated with AdaCore Blog


• Installing a Compiler:
• AdaCore's Free Compilers
• Another source for compiler information
• Wikibooks page on compiler installation
• Installing an Ada Compiler


• Compiling and Running Ada:
• Compiling and running Ada
• How to find the source of an exception when using gnat with a unix command line. (Or use an integrated environment.)
• Some tips on editing Ada programs with vim
• Compile and run small programs online


• Course Information:
• Check my grades
• Assignment checker
• List Pictures of the board (on D2L)
• Style guidelines
• Syllabus
• Some unix commands
• Instructions for the submit command