Speakers | |
---|---|
Jean-Pierre Rosen | |
Schedule | |
Day | Saturday |
Room | AW1.121 |
Capacity | 81 |
Start time | 13:30 |
End time | 13:55 |
Duration | 00:25 |
Info | |
Track | Ada Devroom |
The contract model of Ada 2012
The basics of programming by contracts and how contracts were introduced in Ada 2012.
Ada 2005 already had assertions. The notion was considerably extended in Ada 2012, with pre- and post-conditions and type invariants. Together with other properties of the language that separate clearly interfaces from implementations, these new features provide an accurate description of the obligations and expectations of the user and of the provider of software components.
Concurrent events:
Next (up to 3) talks in the same room (AW1.121):
When | Event | Track |
---|---|---|
14:00-14:50 | Multicore programming support in Ada | Ada |
15:00-15:25 | Lovelace: towards a full Ada OS | Ada |
15:30-15:55 | Programming Arduinos in Ada | Ada |