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.
كتب مشابهة
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 clinical practice : A guide to artificial intelligence and digital medicine
Explains how artificial intelligence is applied to medicine, illustrating not only its enormous potential but also ancillary issues and the limits and risks inherent in its use on a large scale. The book focuses on the intersection between medicine and AI and its implications on the impact of human health care delivery. Topics discussed include wearable devices, health data, Internet of Things, virtual reality, robotic assistance system, and digital intelligence in the health sector. Additionally, sections discuss diagnostics and decision-making systems and machine/deep learning in clinical setting.
Machine learning for cyber-physical systems: selected papers from the international conference ML4CPS 2023
Contains selected papers from the international conference ML4CPS – Machine Learning for Cyber-Physical Systems, which was held in Hamburg (Germany), from 29 to 31 March 2023. Cyber-physical systems are adaptive and learning: they analyze their environment and, based on observations, learn patterns, associations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnostics. Machine learning is the key technology for these developments.
Communication research into the digital society : Fundamental insights from the Amsterdam School of Communication Research
Media and communication have become ubiquitous in today’s societies andaffect all aspects of life. On an individual level, they impact how we learnabout the world, how we entertain ourselves, and how we interact withothers. On an organisational level, the interactions between media andorganisations, such as political parties, NGOs, businesses and brands, shapeorganisations’ reputation, legitimacy, trust and (financial) performance, aswell as individuals’ consumer, political, social and health behaviours. Atthe societal level, media and communication are crucial for shaping publicopinion on current issues such as climate change, sustainability, diversity,and well-being.
