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 proceeding › Conference contribution

8 Scopus citations

Original language	English (US)
Title of host publication	Unknown Host Publication Title
Editors	Alan Bundy
Pages	25-28
Number of pages	4
Volume	1
State	Published - Dec 1 1983

ASJC Scopus subject areas

@inproceedings{60574292b5764dd7b8bc4ff1d53b9abf,

title = "SYNTHESIZING LEAST FIXED POINT QUERIES INTO NON-RECURSIVE ITERATIVE PROGRAMS.",

author = "Naqvi, {Shamim A.} and Henschen, {Lawrence J.}",

year = "1983",

month = dec,

day = "1",

language = "English (US)",

isbn = "0865760640",

volume = "1",

pages = "25--28",

editor = "Alan Bundy",

booktitle = "Unknown Host Publication Title",

}

TY - GEN

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

AU - Naqvi, Shamim A.

AU - Henschen, Lawrence J.

PY - 1983/12/1

Y1 - 1983/12/1

UR - http://www.scopus.com/inward/record.url?scp=0020884888&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0020884888&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0020884888

SN - 0865760640

VL - 1

SP - 25

EP - 28

BT - Unknown Host Publication Title

A2 - Bundy, Alan

ER -