Posts By: vintermann
| Date | Post | Topic |
| 02/13/2010 | The illusion of languages and the reality of implementations | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/08/2007 | Compile time garbage collection | Compile time garbage collection |
| 11/22/2006 | Syntactic sugar? | Haskell -> Javascript converter, kind of |
| 11/13/2006 | Hostility to design formalisations | Functional programming and software engineering |
| 11/13/2006 | Interfaces and OO | Functional programming and software engineering |
| 11/06/2006 | I recommend Alloy. | Want to learn something new |
| 01/18/2007 | Isn't that the point with SPARK | What do you believe about Programming Languages (that you can't prove (yet))? |
| 01/23/2007 | You're right about compiling, | What do you believe about Programming Languages (that you can't prove (yet))? |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |