Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
The AWK programming language
Motif programming manual (vol. six A)
Motif programming manual (vol. six A)
End-user software engineering with assertions in the spreadsheet paradigm
Proceedings of the 25th International Conference on Software Engineering
Assertions for the Tcl language
TCLTK'97 Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5
Hi-index | 0.00 |
The paper describes the design and implementation of our Awk User Interface (AUI). AUI is a graphical programming environment for editing, running, testing and debugging of Awk programs. The AUI environment supports tracing of Awk programs, setting of breakpoints, and inspection of variable values. An assertion language to describe relationships between input and output of Awk programs is provided. Assertions can be checked after the program has run, and if violated, informative and readable messages can be generated. The assertions and debugging rules for the Awk program are written in a separate text file. Assertions are useful not only for testing and debugging but can be considered as a tool for formal program specification and documentation.