skip to content
Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers Preview this item
ClosePreview this item
Checking...

Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers

Author: Santiago Escobar, (Computer scientist)
Publisher: Cham : Springer, [2014] ©2014
Series: Lecture notes in computer science, 8663.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014. The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Santiago Escobar, (Computer scientist)
ISBN: 9783319129044 331912904X
OCLC Number: 897802971
Notes: Includes author index.
Description: 1 online resource (x, 297 pages) : illustrations.
Contents: Composition of Graph-Transformation-Based DSL Definitions by Amalgamation.- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude.- Real-Time Maude and Its Applications.- Conditional Narrowing Modulo in Rewriting Logic and Maude.- Language Definitions as Rewrite Theories.- Infinite-State Model Checking of LTLR Formulas Using Narrowing.- Modelling and Verifying Contract-Oriented Systems in Maude.- Towards Static Analysis of Functional Programs Using Tree Automata Completion.- Framework for Mobile Ad hoc Networks in Real-Time Maude.- Strong and Weak Operational Termination of Order-Sorted Rewrite Theories.- 2D Dependency Pairs for Proving Operational Termination of CTRSs.- FunKons: Component-Based Semantics in K.- An Integration of CafeOBJ into Full Maude.- Rewriting Modulo SMT and Open System Analysis.- Formal Specification of Button-Related Fault-Tolerance Micropatterns.- A Formal Semantics of the OSEK/VDX Standard in K Framework and Its Applications.
Series Title: Lecture notes in computer science, 8663.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: WRLA 2014
Responsibility: Santiago Escobar (Ed.).

Abstract:

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014. The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/897802971> # Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "897802971" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2243764069#Topic/maude_computer_program_language> ; # Maude (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/2243764069#Topic/computer_logic> ; # Computer logic
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:alternateName "WRLA 2014" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2243764069#Meeting/wrla_conference_10th_2014_grenoble_france> ; # WRLA (Conference) (10th : 2014 : Grenoble, France)
    schema:datePublished "2014" ;
    schema:description "This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014. The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/2243764069#Person/escobar_santiago_computer_scientist> ; # (Computer scientist) Santiago Escobar
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2243764069> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2243764069#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2243764069#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isSimilarTo <http://worldcat.org/entity/work/data/2243764069#CreativeWork/> ;
    schema:name "Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers"@en ;
    schema:productID "897802971" ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-3-319-12904-4> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-12904-4> ;
    schema:url <http://www.springerlink.com/content/978-3-319-12904-4> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-3-319-12904-4> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-12904-4> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-12904-4> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks3/springer/2015-03-04/1/9783319129044> ;
    schema:workExample <http://worldcat.org/isbn/9783319129044> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-12904-4> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/897802971> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2243764069#Meeting/wrla_conference_10th_2014_grenoble_france> # WRLA (Conference) (10th : 2014 : Grenoble, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/2243764069#Place/grenoble_france> ; # Grenoble, France)
    schema:name "WRLA (Conference) (10th : 2014 : Grenoble, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243764069#Person/escobar_santiago_computer_scientist> # (Computer scientist) Santiago Escobar
    a schema:Person ;
    schema:familyName "Escobar" ;
    schema:givenName "Santiago" ;
    schema:name "(Computer scientist) Santiago Escobar" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243764069#Place/grenoble_france> # Grenoble, France)
    a schema:Place ;
    schema:name "Grenoble, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243764069#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/897802971> ; # Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/2243764069#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/897802971> ; # Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243764069#Topic/maude_computer_program_language> # Maude (Computer program language)
    a schema:Intangible ;
    schema:name "Maude (Computer program language)"@en ;
    .

<http://worldcat.org/entity/work/data/2243764069#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/897802971> ; # Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers
    .

<http://worldcat.org/isbn/9783319129044>
    a schema:ProductModel ;
    schema:isbn "331912904X" ;
    schema:isbn "9783319129044" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/897802971> ; # Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers
    schema:issn "0302-9743" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/897802971> ; # Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers
    schema:issn "1611-3349" ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/897802971>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/897802971> ; # Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers
    schema:dateModified "2018-07-13" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.