Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : LOPSTR Symposium (22nd ; 2012 ; Leuven, Belgium)
Titre(s) : Logic-based program synthesis and transformation [Texte électronique] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers / Elvira Albert (ed.)
Publication : Berlin ; New York : Springer, cop. 2013
Description matérielle : 1 online resource (x, 243 pages)
Collection : Lecture notes in computer science ; 7844
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Note(s) : Includes bibliographical references and author index. - Online resource; title from PDF title page (SpringerLink, viewed May 23, 2013).
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd
International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR
2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented
together with 2 invited talks were carefully reviewed and selected from 27 submissions.
Among the topics covered are specification, synthesis, verification, analysis, optimization,
specialization, security, certification, applications and tools, program/model manipulation,
and transformation techniques for any programming language paradigm
Autre(s) auteur(s) : Albert, Elvira. Fonction indéterminée
Autre(s) forme(s) du titre :
- Autre forme du titre : LOPSTR 2012
Sujet(s) : Logique informatique
Programmation logique
Logiciels
Indice(s) Dewey :
005.115 (23e éd.) = Programmation logique (informatique) ; 005.11 (23e éd.) = Méthodes de développement de logiciels ; paradigmes de programmation
Identifiants, prix et caractéristiques : ISBN 9783642381973
Identifiant de la notice : ark:/12148/cb44707086g
Notice n° :
FRBNF44707086
(notice reprise d'un réservoir extérieur)
Table des matières : Symbolic Evaluation Graphs and Term Rewriting ; A General Methodology for Analyzing
Logic Programs /Jürgen Giesl, Thomas Ströder ; An Introduction to Search Combinators
/Tom Schrijvers, Guido Tack, Pieter Wuille ; A Declarative Pipeline Language for Complex
Data Analysis /Henning Christiansen, Christian Theil Have ; Semantic Code Clones in
Logic Programs /Céline Dandois, Wim Vanhoof ; Specialization with Constrained Generalization
for Software Model Checking /Emanuele De Angelis, Fabio Fioravanti ; Enhancing Declarative
Debugging with Loop Expansion and Tree Compression /David Insa, Josep Silva, César
Tomás ; XACML 3.0 in Answer Set Programming /Carroline Dewi Puspa Kencana Ramli ;
Types vs. PDGs in Information Flow Analysis /Heiko Mantel, Henning Sudbrock ; Galliwasp:
A Goal-Directed Answer Set Solver /Kyle Marple, Gopal Gupta ; Computing More Specific
Versions of Conditional Rewriting Systems /Naoki Nishida, Germán Vidal ; Improving
Determinization of Grammar Programs for Program Inversion
