Re:Why You Do Not Use Lisp -- a survey
by spitfire on Wednesday October 21, 2009 @08:52PM
(#895996)
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.
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/