Rewriting Techniques and Applications, Hubert Comon
Автор: Jean-Pierre Jouannaud Название: Rewriting Techniques and Applications ISBN: 3540159762 ISBN-13(EAN): 9783540159766 Издательство: Springer Рейтинг: Цена: 5589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: First International Conference on Rewriting Techniques and Applications
Автор: Ralf Treinen Название: Rewriting Techniques and Applications ISBN: 3642023479 ISBN-13(EAN): 9783642023477 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasilia, Brazil, during June 29 - July 1, 2009. This work covers research on various aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks and semantics.
Автор: Lucanu Название: Rewriting Logic and Its Applications ISBN: 3319448013 ISBN-13(EAN): 9783319448015 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.
Автор: Hubert Comon-Lundh; Claude Kirchner; H?l?ne Kirchn Название: Rewriting, Computation and Proof ISBN: 3540731466 ISBN-13(EAN): 9783540731467 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This title includes 13 refereed papers that are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a section entitled Towards Safety and Security.
Автор: Narciso Mart?-Oliet; Peter Csaba ?lveczky; Carolyn Название: Logic, Rewriting, and Concurrency ISBN: 3319231642 ISBN-13(EAN): 9783319231648 Издательство: Springer Рейтинг: Цена: 11180.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday.
Автор: Jan Heering; Karl Meinke; Bernhard M?ller; Tobias Название: Higher-Order Algebra, Logic, and Term Rewriting ISBN: 3540582339 ISBN-13(EAN): 9783540582335 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The research papers collected in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques such as resolution and term rewriting, and specification and verification case studies. They suggest new research directions in this area.
Автор: Enno Ohlebusch Название: Advanced Topics in Term Rewriting ISBN: 1441929215 ISBN-13(EAN): 9781441929211 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Term rewriting techniques are applicable in various fields of computer sci- ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro- gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and mathematics. Roughly speaking, term rewriting techniques can suc- cessfully be applied in areas that demand efficient methods for reasoning with equations. One of the major problems one encounters in the theory of term rewriting is the characterization of classes of rewrite systems that have a desirable property like confluence or termination. If a term rewriting system is conflu- ent, then the normal form of a given term is unique. A terminating rewrite system does not permit infinite computations, that is, every computation starting from a term must end in a normal form. Therefore, in a system that is both terminating and confluent every computation leads to a result that is unique, regardless of the order in which the rewrite rules are applied. This book provides a comprehensive study of termination and confluence as well as related properties.
Автор: Terese Название: Term Rewriting Systems ISBN: 0521391156 ISBN-13(EAN): 9780521391153 Издательство: Cambridge Academ Рейтинг: Цена: 32155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on the web, an extensive bibliography and a chapter on applications.
Автор: Andrei Voronkov Название: Rewriting Techniques and Applications ISBN: 3540705880 ISBN-13(EAN): 9783540705888 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. This book includes papers that cover research on various aspects of rewriting including areas such as applications and foundational issues.
Автор: Tobias Nipkow Название: Rewriting Techniques and Applications ISBN: 354064301X ISBN-13(EAN): 9783540643012 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.
Автор: Santiago Escobar Название: Rewriting Logic and Its Applications ISBN: 3319129031 ISBN-13(EAN): 9783319129037 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Описание: Statistical Model Checking: Past, Present and Future.- Hypothesis testing for rare-event simulation: limitations and possibilities.- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances.- Feedback Control for Statistical Model Checking of Cyber-Physical Systems.- Probabilistic Model Checking of Incomplete Models.- Plasma Lab: A Modular Statistical Model Checking Platform.- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO.- Statistical Model Checking for Product Lines.- Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems.- Better railway engineering through statistical model checking.- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle.- Automatic Synthesis of Code using Genetic Programming.- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).- Symbolic Execution with CEGAR.- Multi-Core Model Checking of Large-Scale Reactive Systems Using Different State Representations.- Sparse Analysis of Variable Path Predicates Based Upon SSA-Form.- A Model Interpreter for Timed Automata.- ModSyn-PP: Modular Synthesis of Programs and Processes: Track Introduction.- Combinatory Process Synthesis.- Synthesis from a Practical Perspective.- A Long and Winding Road Towards Modular Synthesis.- Semantic heterogeneity in the formal development of complex systems: an introduction.- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications.- Strengthening MDE and Formal Design Models by references to Domain Ontologies. A Model Annotation Based Approach.- Towards Functional Requirements Analytics.- Heterogeneous Semantics and Unifying Theories.- Static and Runtime Verification: Competitors or Friends?.- StaRVOOrS - Episode II, Strengthen and Distribute the Force.- A Model-Based Approach to Combining Static and Dynamic Verification Techniques.- Information flow analysis for Go.- Challenges in High-Assurance Runtime Verification .- Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014.- Considering Type-State Verification for Quantified Event Automata.- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.- On Combinations of Static and Dynamic Analysis.- Safer Refactorings.- Rigorous Engineering of Collective Adaptive Systems.- Programming of CAS systems by relying on attribute-based communication.- Towards Static Analysis of Policy-Based Self-Adaptive Computing Systems.- A Calculus for Open Ensembles and Their Composition.- Logic Fragments: coordinating entities with logic programs.- Mixed-Critical Systems Design with Coarse-grained Multi-core Interference.- A Library and Scripting Language for Tool Independent Simulation Descriptions.- Adaptation to the unforeseen: Do we master our autonomous systems?'-- Questions to the Panel.- Smart coordination of autonomic component ensembles in the context of ad-hoc communication.- A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems.- Rigorous graphical modelling of movement in Collective Adaptive Systems.- Integration and Promotion of Autonomy with the ARE Framework.- Safe Artificial Intelligence and Formal Methods.- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance Issues.- Correctness-by-Construction and Post-hoc Verification: Friends or Foes?.- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?.- Deductive Verification of Legacy Code.- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families.- Conditions for Compatibility of Components - The case of masters and slaves.- A Logic for Statistical Model Checking of Dynamic Software Architectures.- On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithms
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
