Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

AvM. Leuschel

Häftad, Engelska, 2003

Del i serien Lecture Notes in Computer Science

554 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

571 kr

853 kr

627 kr

627 kr

627 kr

661 kr

554 kr

572 kr

571 kr

571 kr

Beskrivning

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

Produktinformation

Utgivningsdatum:2003-06-18
Mått:155 x 233 x 17 mm
Vikt:452 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:279
Upplaga:2003
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540404385

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

Debugging and Types.- Abstract Diagnosis of Functional Programs.- A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.- Tabling and Constraints.- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming.- Translating Datalog-Like Optimization Queries into ILOG Programs.- Tabling Structures for Bottom-Up Logic Programming.- Abstract Interpretation.- A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.- Two Variables per Linear Inequality as an Abstract Domain.- Convex Hull Abstractions in Specialization of CLP Programs.- Collecting Potential Optimisations.- Program Refinement.- An Operational Approach to Program Extraction in the Calculus of Constructions.- Refinement of Higher-Order Logic Programs.- A Generic Program for Minimal Subsets with Applications.- Verification.- Justification Based on Program Transformation.- Combining Logic Programs and Monadic Second Order Logics by Program Transformation.- Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers.- A Proof System for Information Flow Security.- Partial Evaluation.- Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.- A Fixed Point Semantics for Logic Programs Extended with Cuts.- Abstract Partial Deduction Challenged.- Rewriting and Object-Oriented Development.- Towards Correct Object-Oriented Design Frameworks in Computational Logic.- Mapping Modular SOS to Rewriting Logic.- Program Synthesis Based on the Equivalent Transformation Computation Model.

Mer från samma författare

Logic Based Program Synthesis and Transformation

M. Leuschel

E-bok

2003

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, 2000

571 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Logic Based Program Synthesis and Transformation

Kung-Kiu Lau

Häftad, 2001

571 kr

Del 13290

Logic-Based Program Synthesis and Transformation

Emanuele De Angelis, Wim Vanhoof

Häftad, 2022

627 kr

Del 8981

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

Häftad, 2015

554 kr

Del 10184

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

Häftad, 2017

572 kr

Logic-Based Program Synthesis and Transformation

Andy King

Häftad, 2008

571 kr

Logic-Based Program Synthesis and Transformation

Danny De Schreye

Häftad, 2010

571 kr

Logic Based Program Synthesis and Transformation

Alberto Pettorossi

Häftad, 2002

571 kr

Del 11408

Logic-Based Program Synthesis and Transformation

Fred Mesnard, Peter J. Stuckey

Häftad, 2019

571 kr

Logic-Based Program Synthesis and Transformation

Annalisa Bossi

Häftad, 2000

571 kr

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

AvM. Leuschel

Häftad, Engelska, 2003

Del i serien Lecture Notes in Computer Science

554 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

571 kr

853 kr

627 kr

627 kr

627 kr

661 kr

554 kr

572 kr

571 kr

571 kr

Beskrivning

Produktinformation

Utgivningsdatum:2003-06-18
Mått:155 x 233 x 17 mm
Vikt:452 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:279
Upplaga:2003
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540404385

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

Debugging and Types.- Abstract Diagnosis of Functional Programs.- A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.- Tabling and Constraints.- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming.- Translating Datalog-Like Optimization Queries into ILOG Programs.- Tabling Structures for Bottom-Up Logic Programming.- Abstract Interpretation.- A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.- Two Variables per Linear Inequality as an Abstract Domain.- Convex Hull Abstractions in Specialization of CLP Programs.- Collecting Potential Optimisations.- Program Refinement.- An Operational Approach to Program Extraction in the Calculus of Constructions.- Refinement of Higher-Order Logic Programs.- A Generic Program for Minimal Subsets with Applications.- Verification.- Justification Based on Program Transformation.- Combining Logic Programs and Monadic Second Order Logics by Program Transformation.- Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers.- A Proof System for Information Flow Security.- Partial Evaluation.- Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.- A Fixed Point Semantics for Logic Programs Extended with Cuts.- Abstract Partial Deduction Challenged.- Rewriting and Object-Oriented Development.- Towards Correct Object-Oriented Design Frameworks in Computational Logic.- Mapping Modular SOS to Rewriting Logic.- Program Synthesis Based on the Equivalent Transformation Computation Model.

Mer från samma författare

Logic Based Program Synthesis and Transformation

M. Leuschel

E-bok

2003

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051