> Details

Bruynooghe, Maurice [Author]

Logic Based Program Synthesis and Transformation

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book
  • Title: Logic Based Program Synthesis and Transformation : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
  • Contains: Literaturangaben
  • Contributor: Bruynooghe, Maurice [Author]
  • imprint: Berlin; Heidelberg: Springer, 2004
  • Published in: Lecture notes in computer science ; 301800
  • Extent: Online-Ressource (X, 233 p. Also available online); digital
  • Language: English
  • DOI: 10.1007/b98080
  • ISBN: 9783540259381; 3540221743; 9783540221746
  • Identifier:
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Logische Programmierung > Programmsynthese > Programmtransformation > Computational logic
  • Reproductino series: Springer eBook Collection. Computer Science
  • Origination:
  • Footnote:
  • Description: 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