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 programming|
Автор: Zohar Manna
|Enabling Consumer and Entrepreneurial Literacy in Subsistence Marketplaces (Education in the Asia-Pacific Region: Issues, Concerns and Prospects)|
Автор: Madhu Viswanathan, S. Gajendiran, R. Venkatesan
|Effects of an Inner City Preschool on Achievement|
Автор: Richard McElroy
|Programming LEGO MINDSTORMS with Java|
Автор: Dario Laverde
|Software Metrics: Best Practices for Successful It Management|
Автор: Goodman P.
|An Assessment of the SBIR Program at the National Science Foundation|
Автор: Joel Kurtzman, Glenn Rifkin, Victoria Griffith