Logic Based Program Synthesis and Transformation, 15 conf., LOPSTR 2005

Warning: mysql_num_rows() expects parameter 1 to be resource, boolean given in /home/web/naiti.in/lib.php on line 113
Logic Based Program Synthesis and Transformation, 15 conf., LOPSTR 2005
Год
 
Страниц
 
186
ISBN
 
ISBN10:3540326545
Издатель
 
Springer
Искать в интернет библиотекахКупить

Описание:

This book constitutes the thoroughly refereed postproceedings of the
15th International Symposium on Logic Based Program Synthesis and
Transformation, LOPSTR 2005, held in London, UK in September 2005 in
conjunction with SAS 2005, the Symposium on Static Analysis.

The 10 revised full papers presented together with one invited talk were
carefully selected and revised from 33 submissions. The papers are
organized in topical sections on tools for program development, program
transformations, and software development and program analysis.

Похожие книги

Lectures on the logic of computer programmingLectures on the logic of computer programming
Автор: Zohar Manna
Год: 1987
Effects of an Inner City Preschool on AchievementEffects of an Inner City Preschool on Achievement
Автор: Richard McElroy
Год: 2010
Programming LEGO MINDSTORMS with JavaProgramming LEGO MINDSTORMS with Java
Автор: Dario Laverde
Год: 2002
An Assessment of the SBIR Program at the National Science FoundationAn Assessment of the SBIR Program at the National Science Foundation
Автор: Joel Kurtzman, Glenn Rifkin, Victoria Griffith
Год: 2008