A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez

First Page		Document Content
Date: 2011-12-17 11:26:12 Mathematics Static single assignment form Golden ratio Applied mathematics Philosophy of mathematics Linear temporal logic Temporal logic Logic in computer science Computation tree logic		A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: pagesperso-systeme.lip6.fr Download Document from Source Website File Size: 641,60 KB Share Document on Facebook