4 ms·
Actually the formal document languages have type checking and consistency analysis systems/tools. Tools like Alloy[1] allow you to write your documentation/def
by spitfire 17y ago
Actually the formal document languages have type checking and consistency analysis systems/tools.
Tools like Alloy[1] allow you to write your documentation/definition and check its consistency. These languages are always limited so you don't get into Gödel incompleteness problems.
1. http://alloy.mit.edu/alloy4/ http://alloy.mit.edu/alloy4/