Optimizing Equational Programs

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-17220-3_2

Full Text

Abstract

Available in

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 1987

Authors

Publisher

Springer Berlin Heidelberg

Related search

Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics

English

Estimating and Optimizing Performance for Parallel Programs

Computer Science

English

Optimizing Computation-Communication Overlap in Asynchronous Task-Based Programs

English

A Unified Framework for Optimizing Communication in Data-Parallel Programs

IEEE Transactions on Parallel and Distributed Systems

Computational Theory

Signal Processing

English

Equational Binary Decision Diagrams

English

Equational Approach to Argumentation Networks

Argument and Computation

Computer Science Applications

Artificial Intelligence

Computational Mathematics

English

Optimizing and Implementing Repair Programs for Consistent Query Answering in Databases

English

Type Introduction for Equational Rewriting

Acta Informatica

Computer Networks

Information Systems

English

Equational Theories and Database Constraints

English