Menü
Alle
Direkt bestellen
Merkzettel
Warenkorb

Bis zu 20%¹ Rabatt + Geschenk für Sie!

¹Ausgenommen preisgebundene & ausgewählte Produkte.

Logic-Based Program Synthesis and Transformation

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Sprache: Englisch)
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Logic-Based Program Synthesis and Transformation".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006....

Mehr zum Inhalt Video Inhaltsverzeichnis
lieferbar
versandkostenfrei

Bestellnummer: 58879429

Buch 69.54 €
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 58879429

Buch 69.54 €
In den Warenkorb

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006....

Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.4407
Bd. 4407

Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.4407

0 Sterne
eBook

69.54 €

Download bestellen
Erschienen am 22.05.2007
sofort als Download lieferbar
All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

0 Sterne
Buch

90.90 €

In den Warenkorb
Erschienen am 20.07.2007
lieferbar
Principles and Practice of Constraint Programming - CP 2005

Principles and Practice of Constraint Programming - CP 2005

0 Sterne
Buch

149.79 €

In den Warenkorb
Erschienen am 22.09.2005
lieferbar
Principle and Practice of Constraint Programming - CP 2006

Principle and Practice of Constraint Programming - CP 2006

0 Sterne
Buch

129.99 €

In den Warenkorb
Erschienen am 26.09.2006
lieferbar
Logic Programming

Logic Programming

0 Sterne
Buch

101.64 €

In den Warenkorb
Erschienen am 03.08.2006
lieferbar
Logic Programming

Logic Programming

0 Sterne
Buch

84.99 €

In den Warenkorb
Erschienen am 19.09.2005
lieferbar
Genetic Programming Theory and Practice II

Genetic Programming Theory and Practice II

0 Sterne
Buch

143.50 €

In den Warenkorb
lieferbar
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 14.05.2015
lieferbar
Compiler Construction

Compiler Construction

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 21.03.2006
lieferbar
Automata, Languages and Programming

Automata, Languages and Programming

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 30.06.2010
lieferbar
Coordination of Large-Scale Multiagent Systems

Coordination of Large-Scale Multiagent Systems

P. Scerri

0 Sterne
Buch

73.00 €

In den Warenkorb
Erschienen am 17.10.2005
lieferbar
Automata, Languages, and Programming, ICALP '98

Automata, Languages, and Programming, ICALP '98

0 Sterne
Buch

129.99 €

In den Warenkorb
Erschienen am 06.07.1998
lieferbar
Automata, Languages and Programming

Automata, Languages and Programming

0 Sterne
Buch

149.79 €

In den Warenkorb
Erschienen am 26.06.2002
lieferbar
Diagrammatic Representation and Inference

Diagrammatic Representation and Inference

0 Sterne
Buch

85.59 €

In den Warenkorb
Erschienen am 10.09.2008
lieferbar
Frontiers in Algorithmics

Frontiers in Algorithmics

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 08.06.2009
lieferbar
Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

Johann M. Schumann

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
Machine Learning for Dynamic Software Analysis: Potentials and Limits

Machine Learning for Dynamic Software Analysis: Potentials and Limits

0 Sterne
Buch

62.05 €

In den Warenkorb
Erschienen am 21.07.2018
lieferbar
Advances in Networked Enterprises

Advances in Networked Enterprises

0 Sterne
Buch

288.50 €

In den Warenkorb
Erschienen am 30.09.2000
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Produktdetails
Produktinformationen zu „Logic-Based Program Synthesis and Transformation “
Klappentext zu „Logic-Based Program Synthesis and Transformation “

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

Inhaltsverzeichnis zu „Logic-Based Program Synthesis and Transformation “
Invited Talks.- How to Talk to a Human: The Semantic Web and the Clash of the Titans.- CHESS: Systematic Stress Testing of Concurrent Software.- Program Development.- ARM: Automatic Rule Miner.- Constructing Consensus Logic Programs.- Partial Evaluation and Program Transformation.- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques.- Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs.- Towards Description and Optimization of Abstract Machines in an Extension of Prolog.- Security and Synthesis.- Combining Different Proof Techniques for Verifying Information Flow Security.- On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.- Synthesis of Asynchronous Systems.- Debugging and Testing.- A Comparative Study of Algorithmic Debugging Strategies.- A Program Transformation for Tracing Functional Logic Computations.- Termination and Analysis.- Automated Termination Analysis for Logic Programs by Term Rewriting.- Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator.- Polytool: Proving Termination Automatically Based on Polynomial Interpretations.- Grids: A Domain for Analyzing the Distribution of Numerical Values.
Bibliographische Angaben
  • 2007, VIII, 237 Seiten, Maße: 15,7 x 23,8 cm, Kartoniert (TB), Englisch
  • Verlag: Springer Berlin
  • ISBN-10: 354071409X
  • ISBN-13: 9783540714095
  • Erscheinungsdatum: 16.03.2007
Sprache:
Englisch
Kommentar zu "Logic-Based Program Synthesis and Transformation"
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Logic-Based Program Synthesis and Transformation".

Kommentar verfassen
Andere Kunden kauften auch
All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

0 Sterne
Buch

90.90 €

In den Warenkorb
Erschienen am 20.07.2007
lieferbar
Principles and Practice of Constraint Programming - CP 2005

Principles and Practice of Constraint Programming - CP 2005

0 Sterne
Buch

149.79 €

In den Warenkorb
Erschienen am 22.09.2005
lieferbar
Principle and Practice of Constraint Programming - CP 2006

Principle and Practice of Constraint Programming - CP 2006

0 Sterne
Buch

129.99 €

In den Warenkorb
Erschienen am 26.09.2006
lieferbar
Logic Programming

Logic Programming

0 Sterne
Buch

101.64 €

In den Warenkorb
Erschienen am 03.08.2006
lieferbar
Logic Programming

Logic Programming

0 Sterne
Buch

84.99 €

In den Warenkorb
Erschienen am 19.09.2005
lieferbar
Genetic Programming Theory and Practice II

Genetic Programming Theory and Practice II

0 Sterne
Buch

143.50 €

In den Warenkorb
lieferbar
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 14.05.2015
lieferbar
Compiler Construction

Compiler Construction

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 21.03.2006
lieferbar
Automata, Languages and Programming

Automata, Languages and Programming

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 30.06.2010
lieferbar
Coordination of Large-Scale Multiagent Systems

Coordination of Large-Scale Multiagent Systems

P. Scerri

0 Sterne
Buch

73.00 €

In den Warenkorb
Erschienen am 17.10.2005
lieferbar
Automata, Languages, and Programming, ICALP '98

Automata, Languages, and Programming, ICALP '98

0 Sterne
Buch

129.99 €

In den Warenkorb
Erschienen am 06.07.1998
lieferbar
Automata, Languages and Programming

Automata, Languages and Programming

0 Sterne
Buch

149.79 €

In den Warenkorb
Erschienen am 26.06.2002
lieferbar
Diagrammatic Representation and Inference

Diagrammatic Representation and Inference

0 Sterne
Buch

85.59 €

In den Warenkorb
Erschienen am 10.09.2008
lieferbar
Frontiers in Algorithmics

Frontiers in Algorithmics

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 08.06.2009
lieferbar
Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

Johann M. Schumann

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
Machine Learning for Dynamic Software Analysis: Potentials and Limits

Machine Learning for Dynamic Software Analysis: Potentials and Limits

0 Sterne
Buch

62.05 €

In den Warenkorb
Erschienen am 21.07.2018
lieferbar
Advances in Networked Enterprises

Advances in Networked Enterprises

0 Sterne
Buch

288.50 €

In den Warenkorb
Erschienen am 30.09.2000
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Weitere Empfehlungen zu „Logic-Based Program Synthesis and Transformation “
Weitere Artikel zum Thema
Dieser Artikel in unseren Themenspecials
0 Gebrauchte Artikel zu „Logic-Based Program Synthesis and Transformation“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich