FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4231424247> ?p ?o ?g. }

• W4231424247 endingPage "569" @default.
• W4231424247 startingPage "567" @default.
• W4231424247 abstract "This volume contains the final post-workshop proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003). The workshop was held as part of the Federated Conference on Rewriting, Deduction and Programming (RDP 2003) in Valencia, Spain, on June 8, 2003. The preliminary proceedings of WRS 2003 have been published as Technical Report DSIC-II/14/03 of the Universidad Politécnica de Valencia. Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. New types of reduction strategies have been invented and investigated, and new results on rewriting/computation under particular strategies have been obtained. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application and implementation issues. The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation) and (more deterministic) rewriting with particular strategies (programming). Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values, infinitary normalization, head-normalization) to implementations of programming languages. Therefore any progress in this area is likely to be of interest not only to the rewriting community, but also to neighbouring fields like functional programming, functional-logic programming, and termination proofs of algorithms. WRS 2003 is the third edition in a series of workshops intended to stimulate and promote research and progress in this important field. The workshop wants to provide a forum for the presentation and discussion of new ideas and results, recent developments, new research directions, as well as of surveys on existing knowledge in this area. Furthermore we aim at fostering interaction and exchange between researchers and students actively working on such topics. Previous WRS editions took place in Utrecht (The Netherlands) in 2001 (WRS 2001) and in Copenhagen (Denmark) in 2002 (WRS 2002). Topics of interest for the workshop included, but were not restricted to, theoretical foundations for the definition and semantic description of reduction strategies, strategies in different frameworks (term rewriting, graph rewriting, infinitary rewriting, lambda calculi, higher order rewriting and explicit substitutions, conditional rewriting, rewriting with built-ins, narrowing, constraint solving, etc.) and their application in (equational, functional, functional-logic) programming (languages), properties of reduction strategies/computations under strategies (e.g., completeness, computability, decidability, complexity, optimality, (hyper-)normalization, cofinality, fairness, perpetuality, context-freeness, neededness, laziness, eagerness, strictness), interrelations, combinations and applications of reduction under different strategies (e.g., equivalence conditions for fundamental properties like termination and confluence, applications in modularity analysis, connections between strategies of different frameworks, etc.), program analysis and other semantics-based optimization techniques dealing with reduction strategies, rewrite systems/tools/implementations with flexible/programmable strategies as essential concept/ingredient, specification of reduction strategies in (real) languages, data structures and implementation techniques for reduction strategies. The program committee received nine submissions for WRS 2003. After the workshop, authors of accepted papers were invited to submit revised versions for the final ENTCS proceedings of WRS 2003. Based on the careful and thorough reviewing process for the workshop and on a subsequent second round of reviewing for the revised ENTCS submissions, the following six regular papers were accepted for inclusion in the final post-workshop proceedings, published in this issue of Electronic Notes in Theoretical Computer Science: Weak Reduction and Garbage Collection in Interaction Nets by Jorge Sousa Pinto Simulating Liveness by Reduction Strategies by Jürgen Giesl and Hans Zantema Call-by-Value, Call-by-Name, and Strong Normalization for the Classical Sequent Calculus by Stéphane Lengrand A Rewriting Strategy for Protocol Verification by Monica Nesi, Giuseppina Rucci and Massimo Verdesca Call-by-Need Reductions for Membership Conditional Term Rewriting Systems by Mizuhito Ogawa An Abstract Concept of Optimal Implementation by Zurab Khasidashvili and John Glauert Furthermore, this issue also contains the following two invited papers by Manuel Claveland by Claude Kirchner Strategies and User Interfaces in Maude at Work by Manuel Clavel Rewrite Strategies in the Rewriting Calculus by Horatiu Cirstea, Claude Kirchner, Luigi Liquori and Benjamin Wack Program Committee of WRS 2003 Sergio AntoyPortland State University (USA)Zena M. AriolaUniversity of Orgeon (USA)Roberto Di CosmoUniversité de Paris VII (France)Jürgen GieslRWTH Aachen (Germany)Bernhard Gramlich (co-chair)TU Wien (Austria)Salvador Lucas (co-chair)TU Valencia (Spain)Aart MiddeldorpUniversity of Tsukuba (Japan)Ricardo PeñaUniversidad Complutense de Madrid (Spain)Pierre RétyUniversité d'Orléans (France)Eelco VisserUniversiteit Utrecht (The Netherlands) Additional External Referees Thomas Genet, Sebastien Limet, Sarah Mocas, Monica Nesi, and Vincent van Oostrom. Local Organization María Alpuente, Salvador Lucas (chair), Javier Oliver, María José Ramírez, Germán Vidal, and the whole ELP group at the Universidad Politécnica de Valencia. We would like to thank the invited speakers for their willingness to accept our invitation. Regarding the reviewing process we are very grateful to the members of the program committee as well as to the additional external referees for their careful reviewing work. Furthermore we wish to express our gratitude to all members of the local Organizing Committee for providing a very pleasant venue and frame for holding WRS 2003 as part of RDP 2003. Finally, we would also like to thank Michael Mislove, Managing Editor of the ENTCS series, for his technical assistance concerning the ENTCS format. December 5, 2003 Bernhard Gramlich and Salvador Lucas." @default.
• W4231424247 created "2022-05-12" @default.
• W4231424247 creator A5012146310 @default.
• W4231424247 creator A5029936422 @default.
• W4231424247 date "2003-12-01" @default.
• W4231424247 modified "2023-09-25" @default.
• W4231424247 title "Preface" @default.
• W4231424247 doi "https://doi.org/10.1016/s1571-0661(05)82611-8" @default.
• W4231424247 hasPublicationYear "2003" @default.
• W4231424247 type Work @default.
• W4231424247 citedByCount "0" @default.
• W4231424247 crossrefType "journal-article" @default.
• W4231424247 hasAuthorship W4231424247A5012146310 @default.
• W4231424247 hasAuthorship W4231424247A5029936422 @default.
• W4231424247 hasBestOaLocation W42314242471 @default.
• W4231424247 hasConcept C108710211 @default.
• W4231424247 hasConcept C135790938 @default.
• W4231424247 hasConcept C136886441 @default.
• W4231424247 hasConcept C144024400 @default.
• W4231424247 hasConcept C154690210 @default.
• W4231424247 hasConcept C19165224 @default.
• W4231424247 hasConcept C199360897 @default.
• W4231424247 hasConcept C2524010 @default.
• W4231424247 hasConcept C33923547 @default.
• W4231424247 hasConcept C41008148 @default.
• W4231424247 hasConcept C42383842 @default.
• W4231424247 hasConcept C80444323 @default.
• W4231424247 hasConceptScore W4231424247C108710211 @default.
• W4231424247 hasConceptScore W4231424247C135790938 @default.
• W4231424247 hasConceptScore W4231424247C136886441 @default.
• W4231424247 hasConceptScore W4231424247C144024400 @default.
• W4231424247 hasConceptScore W4231424247C154690210 @default.
• W4231424247 hasConceptScore W4231424247C19165224 @default.
• W4231424247 hasConceptScore W4231424247C199360897 @default.
• W4231424247 hasConceptScore W4231424247C2524010 @default.
• W4231424247 hasConceptScore W4231424247C33923547 @default.
• W4231424247 hasConceptScore W4231424247C41008148 @default.
• W4231424247 hasConceptScore W4231424247C42383842 @default.
• W4231424247 hasConceptScore W4231424247C80444323 @default.
• W4231424247 hasIssue "4" @default.
• W4231424247 hasLocation W42314242471 @default.
• W4231424247 hasOpenAccess W4231424247 @default.
• W4231424247 hasPrimaryLocation W42314242471 @default.
• W4231424247 hasRelatedWork W1582807178 @default.
• W4231424247 hasRelatedWork W2126018011 @default.
• W4231424247 hasRelatedWork W2143940368 @default.
• W4231424247 hasRelatedWork W2151540855 @default.
• W4231424247 hasRelatedWork W2164522131 @default.
• W4231424247 hasRelatedWork W2466581924 @default.
• W4231424247 hasRelatedWork W3102394861 @default.
• W4231424247 hasRelatedWork W351893248 @default.
• W4231424247 hasRelatedWork W4251805752 @default.
• W4231424247 hasRelatedWork W2585545025 @default.
• W4231424247 hasVolume "86" @default.
• W4231424247 isParatext "false" @default.
• W4231424247 isRetracted "false" @default.
• W4231424247 workType "article" @default.