Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday: 4600 - Brossura

 
9783540731467: Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday: 4600
Brossura
ISBN 10: 3540731466 ISBN 13: 9783540731467
Casa editrice: Springer, 2007

Sinossi

Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

From the reviews:

"The book ... gives an overview of Jouannaud’s distinguished career and contributions, and provides an impressive list of doctoral descendants. ... will be very useful not only as a reference tool for specialists, but also as an inspiration and source of ideas for budding researchers." (G. Sivakumar, ACM Computing Reviews, Vol. 49 (12), December, 2008)

Contenuti

Rewriting Foundations.- The Hydra Battle Revisited.- Orderings and Constraints: Theory and Practice of Proving Termination.- Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations.- Computability Closure: Ten Years Later.- Reduction Strategies and Acyclicity.- Proof and Computation.- Towards Rewriting in Coq.- Superdeduction at Work.- Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus.- Linear Recursive Functions.- Towards Safety and Security.- Deducibility Constraints, Equational Theory and Electronic Money.- Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms.- Towards Modular Algebraic Specifications for Pointer Programs: A Case Study.- Modeling Permutations in Coq for Coccinelle.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2007
Lingua
Inglese
ISBN 10 
3540731466
ISBN 13 
9783540731467
Rilegatura
Copertina flessibile
Numero di pagine
292
Redattore
Comon-Lundh Hubert
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783540839712: Rewriting, Computation and Proof

Edizione in evidenza

ISBN 10:  3540839712 ISBN 13:  9783540839712
Casa editrice: Springer, 2008
Brossura