Article,

Dealing with World-Model-Based Programs.

, and .
ACM Trans. Program. Lang. Syst., 7 (2): 334-347 (1985)

Meta data

Tags

Users

  • @dblp

Comments and Reviews