Changes between Version 8 and Version 9 of FortressFormalism
- Timestamp:
- 09/01/09 08:33:40 (3 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
FortressFormalism
v8 v9 13 13 14 14 * Acyclic Core Fortress with Field Definitions 15 Core Fortress with Overloading is a straightforward extension of Basic Core Fortress. It includes field definitions inside object definitions and provides acyclic type hierarchy of Fortress.15 This calculus formalizes both the acyclicity check on Fortress trait hierarchies and the definition of fields that do not correspond directly to constructor parameters. 16 16 17 17 You are more than welcome to contribute any core calculus with any Fortress language feature to the Fortress formalism work! Contributions are solicited in (but not limited to) the following:
