First Page | Document Content | |
---|---|---|
Date: 2007-11-21 10:57:32Software engineering Computing Formal methods Refinement FDR Model checking Prolog Algorithm Predicate transformer semantics Type system Abstract machine XSB | Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2Add to Reading ListSource URL: rodin.cs.ncl.ac.ukDownload Document from Source WebsiteFile Size: 229,51 KBShare Document on Facebook |
The Prolog to Mercury transition guide Version rotdThomas Conway Zoltan Somogyi Fergus HendersonDocID: 1xVTf - View Document | |
The Prolog to Mercury transition guide VersionThomas Conway Zoltan Somogyi Fergus HendersonDocID: 1xUyl - View Document | |
Prolog-Programm: - Fakten - Regeln - Anfragen Horn-Klauseln, bilden WissensbasisDocID: 1vbGX - View Document | |
Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands http://www.swi.psy.uva.nl Programming in XPCE / PrologDocID: 1uQRL - View Document | |
Avoiding Equivariance in Alpha-Prolog Christian Urban1 and James Cheney2 1 Ludwig-Maximilians-University Munich () 2DocID: 1uyDU - View Document |