A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
كتب مشابهة
New challenges in software engineering ; Vol 1
Explores the key challenges shaping the future of software development, including automation, AI-driven development, security-focused engineering, resilient and autonomous architectures, business process optimization, cloud computing, microservices, high-performance distributed systems, and sustainable technologies. Software engineering is undergoing a constant transformation, driven by rapid technological advances and evolving market demands. additionally, it delves into the ethical considerations of AI, the evolution of intuitive user interfaces, and the importance of multidisciplinary collaboration.
Fundamentals of manufacturing engineering using digital visualization
Offers a guide to core principles and practices of manufacturing engineering. It covers the design of, together with technological and measurement issues for, technical systems. Locating charts and setup schemes describing different machining processes are included. Concepts of product quality, with a focus on accuracy indicators, machining accuracy, roughness, and the impact of surface quality on exploitation properties are also explained. Furthermore, key machining methods, including turning, milling, hole machining, grinding, and gear machining, are analyzed in depth, covering their principles, applications, and techniques. The book is enriched by QR codes, linking to a mobile application presenting additional information about the content, for an interactive and extended learning experience. It also uses illustrations visualized with digital tools to promote a better understanding of the concepts.
AI in drug discovery
Constitutes the refereed proceedings of the First international workshop on ai in Drug Discovery, AIDD 2024, held as a part of the 33rd International Conference on Artificial Neural Networks, ICANN 2024, in Lugano, Switzerland, on September 19, 2024. These papers focus on various aspects of the rapidly evolving field of Artificial Intelligence (AI)-driven drug discovery in chemistry, including Big Data and advanced Machine Learning, eXplainable AI (XAI), Chemoinformatics, Use of deep learning to predict molecular properties, Modeling and prediction of chemical reaction data and Generative models.
AI in banking : Practical applications and case studies
Delves into the application of AI from theory to practice, offering detailed insights into AI project design and code implementation across eleven business scenarios in four major sectors: retail banking, e-banking, bank credit, and tech operations. it provides hands-on examples of various technologies, including automatic machine learning, integrated learning, graph computation, recommendation systems, causal inference, generative adversarial networks, supervised learning, unsupervised learning, computer vision, reinforcement learning, fuzzy control, automatic control, speech recognition, semantic understanding, bayesian networks, edge computing, and more. this book stands as a rare and practical guide to AI projects in the banking industry.
