recent posts

typetitleauthor sort iconlast post
StoryHow to Make Ad Hoc Proof Automation Less Ad Hoc Paul Snively2012-07-24 00:43
StoryCertified Programming With Dependent Types Goes Beta Paul Snively2010-01-16 00:10
StoryVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Paul Snively2012-02-09 18:04
StoryEffective Interactive Proofs for Higher-Order Imperative Programs Paul Snively2010-02-01 03:18
StoryValidating LR(1) parsers Paul Snively2012-07-01 11:54
StoryThe Experimental Effectiveness of Mathematical Proof Paul Snively2011-11-12 12:16
StoryParametric Higher-Order Abstract Syntax for Mechanized Semantics Paul Snively2008-06-22 20:50
StoryThe Daikon Invariant Detector Paul Snively2006-08-28 02:55
Forum topicBCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon paulboca2017-09-10 18:02
Forum topicAnnual Peter Landin Semantics Seminar: On correspondences between programming languages & semantic notations: 8th Dec 2014 paulboca2014-07-24 20:46