Correctness of monadic state Conferences

authors

• Ariola, Zena M
• Sabry, Amr

status

• published 

publication date

• 1998

published in

• Conference Record of the Annual ACM Symposium on Principles of Programming Languages  Journal

presented at event

• the 25th ACM SIGPLAN-SIGACT symposium  Conference

keywords

• 46 Information and Computing Sciences
• 4602 Artificial Intelligence

Digital Object Identifier (DOI)

• 10.1145/268946.268952

start page

• 62

end page

• 74