WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1103595163

Logic based program synthesis and transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001. The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "International Workshop on Logic-Based Program Synthesis and Transformation"
  • "LOPSTR 2001"

contributor

creator

description

http://schema.org/description

  • "This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001. The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis."@en

genre

http://schema.org/genre

  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Paphos (Ktima 2001)"
  • "Kongress"
  • "Electronic books"@en
  • "Paphos (Ktima, 2001)"

name

http://schema.org/name

  • "Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 : Paphos, Cyprus, November 28-30, 2001 : selected papers"
  • "Logic based program synthesis and transformation : 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers"
  • "Logic based program synthesis and transformation 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers"
  • "Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers"
  • "Logic based program synthesis and transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers"
  • "Logic based program synthesis and transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers"@en
  • "Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28-30, 2001 Selected Papers"

workExample