Reliable interactive programming with modules
Autor: | Sho-Huan Simon Tung, R. Kent Dybvig |
---|---|
Rok vydání: | 1996 |
Předmět: |
Interactive programming
General Computer Science Computer program business.industry Computer science Programming language media_common.quotation_subject Modular design computer.software_genre Inductive programming Computer Science Applications Programming style Debugging State (computer science) Programmer business computer Software media_common |
Zdroj: | Lisp and Symbolic Computation. 9:343-358 |
ISSN: | 1573-0557 0892-4635 |
DOI: | 10.1007/bf01806317 |
Popis: | Interactive programming is a convenient programming style that supports fast prototyping and debugging but often results in a loss of modularity and security. This article addresses the problem of supporting reliable and modular interactive programming. A module system designed for interactive use is introduced. This module system supports separate compilation and automatic updating of module interfaces during program development. It also allows the programmer to obtain a fresh program state for reliable testing, eliminating the need to reload an entire program. |
Databáze: | OpenAIRE |
Externí odkaz: |