Refal - PDFSEARCH.IO - Document Search Engine

Refal
Results: 21

#	Item
1	Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France Add to Reading List Source URL: refal.botik.ru - Date: 2018-03-19 17:25:59
2	Progress on Algorithms for Stateless Model Checking (Invited Talk) Kostis Sagonas Uppsala University, Sweden Add to Reading List Source URL: refal.botik.ru - Date: 2018-03-21 12:44:11
3	Energy Consumption Analysis and Verification (Invited Talk) Manuel Hermenegildo∗ ? joint work with P. Lopez∗ ◦ , U. Liqat∗ and M. Klemen∗ ∗ IMDEA Software Institute, Madrid, Spain Add to Reading List Source URL: refal.botik.ru - Date: 2017-03-14 08:43:59
4	Polynomial Analysis Algorithms for Free-Choice Workflow Nets (Invited Talk) Javier Esparza Technische Universit¨at M¨unchen, Germany Add to Reading List Source URL: refal.botik.ru - Date: 2017-02-23 15:30:38
5	Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia Add to Reading List Source URL: refal.botik.ru - Date: 2017-03-12 03:19:31
6	Metacomputation: MST plus SCP Valentin F. Turchin The City College of New York First of all, I want to thank the organizers of this seminar for inviting me Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Declarative programming Functional programming Functional languages Refal Metacompilation Functions and mappings Pattern matching Closure Function Monad
7	Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2016-03-08 11:18:53 Distributed computing Safety Liveness Computing Formal methods Software engineering Concurrency Logic in computer science
8	Finite Tree Automata in Horn Clause Transformations (Invited Talk) John P. Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain Add to Reading List Source URL: refal.botik.ru - Date: 2016-02-22 02:22:12
9	A Self-Applicable Supercompiler Andrei P. Nemytykh Victoria A. Pinchuk Programming Systems Institute, Pereslavl-Zalesski, Russia Valentin F. Turchin The City College of New York Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Functional languages Subroutines Refal Metacompilation Closure Pattern matching Free variables and bound variables Variable Parameter Lisp Expression

UPDATE