Sökt på: Sökresultat
totalt 26 träffar
The Optimal Implementation of Functional Programming Languages
All traditional implementation techniques for functional languages (mostly based on supercombinators, environments or continuations) fail to avoid useless repetition of work; they …
Higher Order Logic and Hardware Verification
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of …
Temporal Logics in Computer Science
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the …
Initial Algebras and Terminal Coalgebras
Providing an in-depth treatment of an exciting research area, this text's central topics are initial algebras and terminal coalgebras, primary objects of study in all areas of …
The Clausal Theory of Types
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a …
Advanced Topics in Bisimulation and Coinduction
Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important …
Topological Duality for Distributive Lattices
Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical …
Data Refinement
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for …
Design Theory and Computer Science
The logic and methodology of design is examined in this book from the perspective of computer science. Computers provide the context for this examination both by discussion of the …
Hybrid Graph Theory and Network Analysis
First published in 1999, this book combines traditional graph theory with the matroidal view of graphs and throws light on mathematical aspects of network analysis. This approach …
Nets, Terms and Formulas
The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets …
Nominal Sets
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming …