Konferenzschrift | Kongress
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers
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.
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540221746
3540221743
- Maße
-
24 cm
- Umfang
-
X, 232 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 3018
- Klassifikation
-
Informatik
- Schlagwort
-
Logische Programmierung
Programmsynthese
Logische Programmierung
Programmtransformation
Computational logic
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
2004
- Beteiligte Personen und Organisationen
-
Bruynooghe, Maurice
LOPSTR (13 : 2003 : Uppsala)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:35 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Bruynooghe, Maurice
- LOPSTR (13 : 2003 : Uppsala)
- Springer
Entstanden
- 2004
Ähnliche Objekte (12)
Membrane computing : 13th international conference ; revised selected papers
Information hiding : 13th international conference ; revised selected papers
Information security : 13th international conference ; revised selected papers
Chinese lexical semantics : 13th workshop ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Logic based program synthesis and transformation : 12th international workshop ; revised selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Fast software encryption : 13th international workshop ; revised selected papers
Membrane computing : 13th international conference ; revised selected papers
Information hiding : 13th international conference ; revised selected papers
Information security : 13th international conference ; revised selected papers
Chinese lexical semantics : 13th workshop ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Logic based program synthesis and transformation : 12th international workshop ; revised selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Fast software encryption : 13th international workshop ; revised selected papers
Membrane computing : 13th international conference ; revised selected papers
Information hiding : 13th international conference ; revised selected papers
Information security : 13th international conference ; revised selected papers
Chinese lexical semantics : 13th workshop ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Logic based program synthesis and transformation : 12th international workshop ; revised selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers