Refal - PDFSEARCH.IO - Document Search Engine

Refal
Results: 21

#	Item
11	Building trustworthy refactoring tools Simon Thompson, University of Kent, UK Joint work with Thomas Arts, Dániel Drienyovszky, Dániel Horpácsi, Huiqing Li and Nik Sultana Why should I trust my code to your refactor Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2013-07-20 09:41:27
12	Russian Academy of Sciences Program Systems Institute Research Center for Multiprocessor Systems Programming Automation Laboratory The Refal Plus Programming System Add to Reading List Source URL: skif.pereslavl.ru Language: English - Date: 2006-01-25 02:16:42
13	Program Transformation and Verification are Interrelated (Invited Talk) David Monniaux VERIMAG CNRS - University of Grenoble France Add to Reading List Source URL: refal.botik.ru - Date: 2015-03-05 15:13:23
14	The SeaHorn Verification Framework (Invited Talk) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University USA Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2015-02-17 18:28:20 Software testing Formal methods Software verification Logic in computer science
15	Ping-Pong Protocols and Turchin Relation Antonina Nepeivoda Program Systems Institute of RAS Pereslavl–Zalessky Introduction Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2013-07-20 09:41:29
16	0 Graphical Tracing of Supercompilation: An Intermediate Report Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2013-07-20 09:49:42
17	Transforming Event B Models into Verified C# Implementations Dominique M´ery (Universit´e de Lorraine, France) Rosemary Monahan (NUI Maynooth, Ireland ) presented by Geoff Hamilton (DCU, Ireland) Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2013-07-20 09:41:15
18	0 Cryptographic Protocol Verification via Supercompilation (A Case Study) Abdulbasit Ahmed Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2013-07-20 09:49:45
19	Russian Academy of Sciences Program Systems Institute Research Center for Multiprocessor Systems Programming Automation Laboratory The Refal Plus Programming System Add to Reading List Source URL: skif.pereslavl.ru Language: English - Date: 2006-01-25 01:14:39
20	Introduction to Supercompilation Morten Heine B. Srensen and Robert Gluck Department of Computer Science, University of Copenhagen (DIKU) Universitetsparken 1, DK-2100 Copenhagen , Denmark , glueck@diku.d Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:17 Higher-order functions Programming language comparisons Functional languages Refal Orders of magnitude Fold Substitution Ys Map Standard ML Haskell features

UPDATE