Show simple item record

dc.contributor.authorMorrison, Jerry Howard
dc.date.accessioned2008-08-26T15:31:32Z
dc.date.available2008-08-26T15:31:32Z
dc.date.issued1977-05
dc.identifier.urihttp://hdl.handle.net/1721.1/41981
dc.descriptionArtificial Intelligence Laboratory Massachusetts Institute of Technology Working papers are informal papers intended for internal use. This report describes research conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for this research was provided by the Office of Naval Research under contract N00014-75-C-0522.en
dc.description.abstractPLASMA (for PLAnner-like System Modeled on Actors) is a message-passing computer language based on actor semantics. Since every event in the system is the receipt of a message actor by a target actor, a complete history of a computation can be kept by recording these events. The facility to search through and examine such a history, combined with the facility to pre-set breakpoints or stopping points, and the ability to restore side effects, provides a powerful way to debug programs written in PLAMSA. The kinds of history-manipulation and breakpoint setting commands needed, and the ways they can be used, particularly on recursive programs without side effects, are presented.en
dc.description.sponsorshipMIT Artificial Intelligence Laboratory Department of Defense Advanced Research Projects Agencyen
dc.language.isoen_USen
dc.publisherMIT Artificial Intelligence Laboratoryen
dc.relation.ispartofseriesMIT Artificial Intelligence Laboratory Working Papers, WP-148;
dc.titleA History Keeping Debugging System for PLASMAen
dc.typeWorking Paperen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record