SYNTHESIZING LEAST FIXED POINT QUERIES INTO NON-RECURSIVE ITERATIVE PROGRAMS.

Shamim A. Naqvi*, Lawrence J. Henschen

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations
Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
EditorsAlan Bundy
Pages25-28
Number of pages4
Volume1
StatePublished - Dec 1 1983

ASJC Scopus subject areas

  • Engineering(all)

Cite this