Fully abstract denotational semantics for concurrent Prolog

R.T. Gerth, M. Codish, Y. Lichtenstein, E. Shapiro

Research output: Book/ReportReportAcademic

54 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages14
Publication statusPublished - 1987

Publication series

NameComputing science notes
Volume8721

Cite this

Gerth, R. T., Codish, M., Lichtenstein, Y., & Shapiro, E. (1987). Fully abstract denotational semantics for concurrent Prolog. (Computing science notes; Vol. 8721). Eindhoven: Technische Universiteit Eindhoven.