Overview of a Linguistic Theory of Design
SPADE is a theory of the design of computer programs in terms of complementary planning and debugging processes. An overview of the authors' recent research on this theory is provided. SPADE borrows tools from computational linguistics ??ammars, augmented transition networks (ATN's),...
| Main Authors: | , |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/5779 |
| _version_ | 1826190063602499584 |
|---|---|
| author | Miller, Mark L. Goldstein, Ira P. |
| author_facet | Miller, Mark L. Goldstein, Ira P. |
| author_sort | Miller, Mark L. |
| collection | MIT |
| description | SPADE is a theory of the design of computer programs in terms of complementary planning and debugging processes. An overview of the authors' recent research on this theory is provided. SPADE borrows tools from computational linguistics ??ammars, augmented transition networks (ATN's), chart-based parsers ?? formalize planning and debugging. The theory has been applied to parsing protocols of programming episodes, constructing a grammar-based editor in which programs are written in a structured fashion, and designing an automatic programming system based ont eh ATN formalism. |
| first_indexed | 2024-09-23T08:34:29Z |
| id | mit-1721.1/5779 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T08:34:29Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/57792019-04-09T18:31:33Z Overview of a Linguistic Theory of Design Miller, Mark L. Goldstein, Ira P. SPADE is a theory of the design of computer programs in terms of complementary planning and debugging processes. An overview of the authors' recent research on this theory is provided. SPADE borrows tools from computational linguistics ??ammars, augmented transition networks (ATN's), chart-based parsers ?? formalize planning and debugging. The theory has been applied to parsing protocols of programming episodes, constructing a grammar-based editor in which programs are written in a structured fashion, and designing an automatic programming system based ont eh ATN formalism. 2004-10-01T20:36:46Z 2004-10-01T20:36:46Z 1977-02-01 AIM-383 http://hdl.handle.net/1721.1/5779 en_US AIM-383 31 p. 2148615 bytes 1525761 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Miller, Mark L. Goldstein, Ira P. Overview of a Linguistic Theory of Design |
| title | Overview of a Linguistic Theory of Design |
| title_full | Overview of a Linguistic Theory of Design |
| title_fullStr | Overview of a Linguistic Theory of Design |
| title_full_unstemmed | Overview of a Linguistic Theory of Design |
| title_short | Overview of a Linguistic Theory of Design |
| title_sort | overview of a linguistic theory of design |
| url | http://hdl.handle.net/1721.1/5779 |
| work_keys_str_mv | AT millermarkl overviewofalinguistictheoryofdesign AT goldsteinirap overviewofalinguistictheoryofdesign |