Posts By: Ian Johnson
Date | Post | Topic |
07/12/2012 | There are languages built | Language Implementation 101 |
07/14/2012 | Denotational semantics is | Language Implementation 101 |
05/22/2012 | Sure, just trivially | Languages with 'unique' programs |
05/23/2012 | Programmers only think in terms, not programs | Languages with 'unique' programs |
05/25/2012 | i think you mean | Languages with 'unique' programs |
10/10/2011 | Yes, but likely that's not what you want. | Can I express variable occurence ranges in logic? |
05/31/2010 | I'd like more theorem provers like Milawa | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |