✦ LIBER ✦

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 6381 || K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

✍ Scribed by Ölveczky, Peter Csaba

Book ID: 118243804
Publisher: Springer Berlin Heidelberg
Year: 2010
Tongue: German
Weight: 281 KB
Category: Article
ISBN: 3642163106
DOI: 10.1007/978-3-642-16310-4_8

No coin nor oath required. For personal study only.

✦ Synopsis

This Book Constitutes The Refereed Proceedings Of The 8th International Workshop On Rewriting Logic And Its Applications, Wrla 2010, Held As A Satellite Event Of Etaps 2010, Paphos, Cyprus, In March 2010. The 13 Revised Full Papers Presented Were Carefully Reviewed And Selected From 29 Submissions. The Papers Are Organized In Topical Sections On Termination And Narrowing; Tools; The K Framework; Applications And Semantics; Maude Model Checking And Debugging; And Rewrite Engines.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Fiel

[Lecture Notes in Computer Science] Field-Programmable Logic and Applications Volume 1304 || VPR: a new packing, placement and routing tool for FPGA research

✍ Luk, Wayne; Cheung, Peter Y. K.; Glesner, Manfred 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 749 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 6527 || A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs

✍ Davies, Jim; Silva, Leila; Simao, Adenilso 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 267 KB

This Book Constitutes The Thoroughly Refereed Post-conference Proceedings Of The 13th Brazilian Symposium On Formal Methods, Sbmf 2010, Held In Natal, Brazil, In November 2010. The 18 Revised Full Papers Were Carefully Reviewed And Selected From 55 Submissions. The Papers Presented Cover A Broad Ran

[Lecture Notes in Computer Science] Lang

[Lecture Notes in Computer Science] Languages, Methodologies and Development Tools for Multi-Agent Systems Volume 5118 || Enabling the Reuse of Platform-Dependent Agents in Heterogeneous Agent-Based Applications

✍ Dastani, Mehdi; El Fallah Seghrouchni, Amal; Leite, João; Torroni, Paolo 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 465 KB

[Lecture Notes in Computer Science] Fiel

[Lecture Notes in Computer Science] Field-Programmable Logic and Applications Volume 1304 || An FPGA implementation of a matched filter detector for spread spectrum communications systems

✍ Luk, Wayne; Cheung, Peter Y. K.; Glesner, Manfred 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 703 KB