plazoo.com
Add Feed | New Search | Preferences | About Us
Company News

 Fixed point promotion: taking the induction out of automated induction 
 
 
 
Fixed point promotion: taking the induction out of automated induction
 
Date : Wed, 01 Mar 2017 00:00:00 GMT
Source : Computer Laboratory Technical Reports
Link : http://www.cl.cam.ac.uk/techreports/UCAM-CL-T
R-905.pdf

This thesis describes the implementation of Elea: the first automated theorem prover for properties of observational approximation between terms in a functional programming language. A term approxima... >>>>>
 
ClipBox

add clipping to ClipBox