Benjamin Goldberg

MaRDI QIDQ812058zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formal models of distributed memory management Proceedings of the second ACM SIGPLAN international conference on Functional programming	2017-08-21	Paper
Translation validation of loop optimizations and software pipelining in the TVOC framework. In memory of Amir Pnueli Static Analysis	2010-10-01	Paper
Translation and run-time validation of loop transformations Formal Methods in System Design	2006-01-23	Paper
Computer Aided Verification Lecture Notes in Computer Science	2006-01-10	Paper
A syntactic method for finding least fixed points of higher-order functions over finite domains Journal of Functional Programming	1997-10-20	Paper
Static analysis for optimizing reference counting Information Processing Letters	1997-02-27	Paper
Order-of-demand analysis for lazy languages Information Processing Letters	1997-02-27	Paper
scientific article; zbMATH DE number 4013998 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3907755 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Benjamin Goldberg