Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France

Source URL: refal.botik.ru

Progress on Algorithms for Stateless Model Checking (Invited Talk) Kostis Sagonas Uppsala University, Sweden

Source URL: refal.botik.ru

Energy Consumption Analysis and Verification (Invited Talk) Manuel Hermenegildo∗ ? joint work with P. Lopez∗ ◦ , U. Liqat∗ and M. Klemen∗ ∗ IMDEA Software Institute, Madrid, Spain

Source URL: refal.botik.ru

Polynomial Analysis Algorithms for Free-Choice Workflow Nets (Invited Talk) Javier Esparza Technische Universit¨at M¨unchen, Germany

Source URL: refal.botik.ru

Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia

Source URL: refal.botik.ru

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

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Functional languages
• Refal
• Metacompilation
• Functions and mappings
• Pattern matching
• Closure
• Function
• Monad

Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France

Source URL: refal.botik.ru

• Distributed computing
• Safety
• Liveness
• Computing
• Formal methods
• Software engineering
• Concurrency
• Logic in computer science

Finite Tree Automata in Horn Clause Transformations (Invited Talk) John P. Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain

Source URL: refal.botik.ru

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

Source URL: repository.readscheme.org

• Functional languages
• Subroutines
• Refal
• Metacompilation
• Closure
• Pattern matching
• Free variables and bound variables
• Variable
• Parameter
• Lisp
• Expression