scientific article; zbMATH DE number 3976296

MaRDI QIDQ3741016zbMATH OpenFDO

Authors Yellamraju V. Srinivas, Rajeev Sangal

Publication date 1986

zbMATH Keywords

functional programminglazy evaluationfunctional forms

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A methodology for synthesis of recursive functional programs
• scientific article; zbMATH DE number 3856378
• scientific article; zbMATH DE number 3864470
• Structuring FP-style functional programs
• scientific article; zbMATH DE number 3878326

Cited in

(11)

• scientific article; zbMATH DE number 4011895 (Why is no real title available?)
• A methodology for synthesis of recursive functional programs
• scientific article; zbMATH DE number 3878326 (Why is no real title available?)
• Structuring FP-style functional programs
• A generalized back-door criterion
• scientific article; zbMATH DE number 3917684 (Why is no real title available?)
• scientific article; zbMATH DE number 3856378 (Why is no real title available?)
• Some FP algebra with currying operation
• scientific article; zbMATH DE number 3928329 (Why is no real title available?)
• scientific article; zbMATH DE number 3970093 (Why is no real title available?)
• scientific article; zbMATH DE number 3864470 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3741016)