Thumbnail
Access Restriction
Open

Author Conchon, Sylvain
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Abstract groundequations.Startingfromasetoftwosimpleinferencerules,we nddatastructurefromasetof showhowouralgorithmcanbemadeincrementalbyaddingtwoextra rulestotheoriginalset.Commutativesymbolsarealsohandledthanksto aslightmodi onthedescriptionlevelofourframeworkwhichishighenoughtoenjoy cationoftherules.Themainoriginalityofthisworkrests rigorous(andself-contained)correctnessproofsandlowenoughsothat therulesaredirectlyderivedfromoure cientOCamlimplementation. 1
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study