Søkt på: Søkeresultat
totalt 16 treff
Algol-like Languages
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the …
Interpolating Cubic Splines
The study of spline functions is an outgrowth of basic mathematical concepts arising from calculus, analysis and numerical analysis. Spline modelling affects a number of fields: …
Neural Networks and Analog Computation
Humanity's most basic intellectual quest to decipher nature and master it has led to numerous efforts to build machines that simulate the world or communi cate with it [Bus70, …
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 …
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 …
The Combinatory Programme
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the …
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 …
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 …
H-Infinity Control for Distributed Parameter Systems
The aim of this book is to extend the major finite-dimensional state-space results to a large class of distributed parameter systems. These distributed parameter systems contain …
The Graph Isomorphism Problem
Recently, a variety ofresults on the complexitystatusofthegraph isomorphism problem has been obtained. These results belong to the so-called structural part of Complexity Theory. …