Optimizing Equational Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-17220-3_2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

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

2012English

Estimating and Optimizing Performance for Parallel Programs

Computer
Computer Science
1995English

Optimizing Computation-Communication Overlap in Asynchronous Task-Based Programs

2019English

A Unified Framework for Optimizing Communication in Data-Parallel Programs

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
1996English

Equational Binary Decision Diagrams

English

Optimizing and Implementing Repair Programs for Consistent Query Answering in Databases

English

Equational Approach to Argumentation Networks

Argument and Computation
LinguisticsComputer Science ApplicationsArtificial IntelligenceLanguageComputational Mathematics
2012English

Equational Theories and Database Constraints

1985English

Type Introduction for Equational Rewriting

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy