User loginNavigation |
SW verification continuesThere is new release of the Albatross compiler available. The Albatross programming language shoots at making verified software construction available to everybody. The language description has been completely updated. The document describes how to get the compiler. The previous releases already contained induction and recursion and even inductive sets. The most important new feature is abstract data types. Abstract data types are realized by abstract classes, abstract functions and abstract properties. By using the abstraction it is possible to verify a lot of properties which can be inherited by any type which satisfies the concept of the abstract data type. The design of the language is still an ongoing activity any comment. Hints, issue reports etc. are welcome. Regards By hbrandl at 2017-05-16 20:25 | LtU Forum | previous forum topic | next forum topic | other blogs | 3461 reads
|
Browse archives
Active forum topics |
Recent comments
20 weeks 1 day ago
20 weeks 1 day ago
20 weeks 1 day ago
42 weeks 2 days ago
46 weeks 4 days ago
48 weeks 1 day ago
48 weeks 1 day ago
50 weeks 6 days ago
1 year 3 weeks ago
1 year 3 weeks ago