A technique for solving a class of quadratic FP equations

DOI10.1016/0167-6423(92)90004-UzbMath0754.68079OpenAlexW2065849376MaRDI QIDQ1199835

Debasish Banerjee

Publication date: 17 January 1993

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(92)90004-u

zbMATH Keywords

expansionsfunctional programmingreasoning about programsrecursive programsFP functional algebra

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: A technique for solving a class of quadratic FP equations