Simplifying reductions

From MaRDI portal

Publication:5348911

Jump to:navigation, search

DOI10.1145/1111037.1111041zbMath1369.68098OpenAlexW2296463846MaRDI QIDQ5348911

No author found.

Publication date: 21 August 2017

Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1111037.1111041

zbMATH Keywords

program transformation incremental computation polyhedral model equational programming loop optimization

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Simplifying reductions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5348911&oldid=20049381"