search

dhh1128 / intent

the intent formal language
https://intentlang.org
2 stars 1 forks source link

implement consistency and conciseness tests for identifiers #100

Open dhh1128 opened 9 years ago

dhh1128 commented 9 years ago

See http://www.cs.loyola.edu/~binkley/papers/scam06-conciseness.ps