First Page | Document Content | |
---|---|---|
Date: 2013-02-08 18:19:57 | Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. NumeAdd to Reading ListSource URL: www.cs.rhul.ac.ukDownload Document from Source WebsiteFile Size: 229,91 KBShare Document on Facebook |