Hakutulokset: Hakutulos
yhteensä 18 hakutulosta
Polynomial and Matrix Computations
Our Subjects and Objectives. This book is about algebraic and symbolic computation and numerical computing (with matrices and polynomials). It greatly extends the study of these …
Semantics of Type Theory
Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a …
Object-Oriented Programming A Unified Foundation
by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the …
Nondeterminism in Algebraic Specifications and Algebraic Programs
Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic …
Verifying Temporal Properties of Systems
This monograph aims to provide a powerful general-purpose proof tech nique for the verification of systems, whether finite or infinite. It extends the idea of finite local …
Logic of Domains
This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as …
Solving Higher-Order Equations
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of …
Comparative Metric Semantics of Programming Languages
During the last three decades several different styles of semantics for program ming languages have been developed. This book compares two of them: the operational and the …
Subrecursive Programming Systems
1.1. What This Book is About This book is a study of * subrecursive programming systems, * efficiency/program-size trade-offs between such systems, and * how these systems can …
Finite Automata, Formal Logic, and Circuit Complexity
The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in …
Algol-like Languages
In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and …
Isomorphisms of Types
This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming …