A methodology for synthesis of recursive functional programs

DOI10.1145/24039.24071zbMath0623.68013OpenAlexW2089009297MaRDI QIDQ3761673

Debasish Banerjee

Publication date: 1987

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1987-9/

zbMATH Keywords

transformationreduction semanticsleast fixed pointFunctional Programmingexample specificationFP program synthesis methodologyrecursive FP programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A knowledge-based approach to program synthesis from examples

This page was built for publication: A methodology for synthesis of recursive functional programs