Coverart for item
The Resource Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised selected papers, Francisco Durán (ed.)

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised selected papers, Francisco Durán (ed.)

Label
Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised selected papers
Title
Rewriting logic and its applications
Title remainder
9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised selected papers
Statement of responsibility
Francisco Durán (ed.)
Title variation
  • WRLA 2012
  • ETAPS 2012
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems
Member of
Cataloging source
GW5XE
Dewey number
005.101/5113
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.9.L63
LC item number
W75 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
WRLA (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
2012
http://library.link/vocab/relatedWorkOrContributorName
  • Durán, Francisco
  • ETAPS (Conference)
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7571
http://library.link/vocab/subjectName
  • Computer logic
  • Informatique
  • Computer logic
Label
Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised selected papers, Francisco Durán (ed.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer and José Meseguer
  • Making Maude Definitions More Interactive
  • Andrei Arusoaie, Traian Florin Şerbănuţă, Chucky Ellison and Grigore Roşu
  • Model Checking LTLR Formulas under Localized Fairness
  • Kyungmin Bae and José Meseguer
  • Modelling and Analyzing Adaptive Self-assembly Strategies with Maude
  • Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente and Andrea Vandin
  • Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude
  • Muhammad Fadlisyah, Peter Csaba Ölveczky and Erika Ábrahám
  • Order-Sorted Equality Enrichments Modulo Axioms
  • Rigorous Component-Based System Design
  • Raúl Gutiérrez, José Meseguer and Camilo Rocha
  • Timed CTL Model Checking in Real-Time Maude
  • Daniela Lepri, Erika Ábrahám and Peter Csaba Ölveczky
  • Using Narrowing to Test Maude Specifications
  • Adrián Riesco
  • A Rule-Based Framework for Building Superposition-Based Decision Procedures
  • Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen and Olga Kouchnarenko
  • (Invited Paper)
  • Ananda Basu, Saddek Bensalem, Marius Bozga and Joseph Sifakis
  • Program Analysis Scenarios in Rascal
  • Mark Hills, Paul Klint and Jurgen J. Vinju
  • K Framework Distilled
  • Dorel Lucanu, Traian Florin Şerbănuţă and Grigore Roşu
  • Design and Analysis of Cloud-Based Architectures with KLAIM and Maude
Control code
813975135
Dimensions
unknown
Extent
1 online resource
File format
unknown
Form of item
online
Isbn
9783642340055
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-34005-5
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)813975135
Label
Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised selected papers, Francisco Durán (ed.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer and José Meseguer
  • Making Maude Definitions More Interactive
  • Andrei Arusoaie, Traian Florin Şerbănuţă, Chucky Ellison and Grigore Roşu
  • Model Checking LTLR Formulas under Localized Fairness
  • Kyungmin Bae and José Meseguer
  • Modelling and Analyzing Adaptive Self-assembly Strategies with Maude
  • Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente and Andrea Vandin
  • Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude
  • Muhammad Fadlisyah, Peter Csaba Ölveczky and Erika Ábrahám
  • Order-Sorted Equality Enrichments Modulo Axioms
  • Rigorous Component-Based System Design
  • Raúl Gutiérrez, José Meseguer and Camilo Rocha
  • Timed CTL Model Checking in Real-Time Maude
  • Daniela Lepri, Erika Ábrahám and Peter Csaba Ölveczky
  • Using Narrowing to Test Maude Specifications
  • Adrián Riesco
  • A Rule-Based Framework for Building Superposition-Based Decision Procedures
  • Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen and Olga Kouchnarenko
  • (Invited Paper)
  • Ananda Basu, Saddek Bensalem, Marius Bozga and Joseph Sifakis
  • Program Analysis Scenarios in Rascal
  • Mark Hills, Paul Klint and Jurgen J. Vinju
  • K Framework Distilled
  • Dorel Lucanu, Traian Florin Şerbănuţă and Grigore Roşu
  • Design and Analysis of Cloud-Based Architectures with KLAIM and Maude
Control code
813975135
Dimensions
unknown
Extent
1 online resource
File format
unknown
Form of item
online
Isbn
9783642340055
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-34005-5
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)813975135

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...