|
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.
The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.
Introduction to Frames and Riesz Bases Автор: Christensen O. Год: 2003 |
Structural Change in European Border Zone Agglomerations Автор: Jan-Philipp Exner, Ergin Yucel Год: 2008 |
Fourier Transformation for Pedestrians Автор: Tilman Butz Год: 2005 |
People - States - Territories: The Political Geographies of British State Transformation Автор: Rhys Jones Год: 2007 |
Reengineering Health Care: The Complexities of Organizational Transformation Автор: Terry McNulty Год: 2004 |