A formal approach to undo operations in programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
IDL: sharing intermediate representations
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Cost of Data Flow Testing: An Empirical Study
IEEE Transactions on Software Engineering
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Scan grammars: parallel attribute evaluation via data-parallelism
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
A library of generic algorithms in Ada
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Discrete event simulation in Pascal with SIMTOOLS
WSC '86 Proceedings of the 18th conference on Winter simulation
Dynamically bypassing copy rule chains in attribute grammars
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Introductory programming, criterion-referencing, and bloom
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
More Experience with Data Flow Testing
IEEE Transactions on Software Engineering
Decentralised control flow - based on UNIX
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
A workbench for project oriented software engineering courses
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
First year programming: let all the flowers bloom
ACE '03 Proceedings of the fifth Australasian conference on Computing education - Volume 20
ACM SIGPLAN Notices
A system for writing Pascal programs interactively
ACM SIGPLAN Notices
Eighteen Pascal texts: an objective comparison
ACM SIGCSE Bulletin
A characterization of software design tools
ACM SIGSOFT Software Engineering Notes
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
From the Publisher:With the same style and clarity that characterized their highly acclaimed The Elements of Programming Style and Software Tools, the authors have written Software Tools in Pascal to teach how to write good Pascal programs that make good tools. The programs contained in the book are not artificial, but are actual tools that have proved valuable in the production of other programs. Structured programming and top-down design are emphasized and applied to every program, as are principles of sound design, testing, efficiency, and portability. All of the programs are complete and have been tested directly from the text. The programs are available in machine-readable form from Addison-Wesley. Software Tools in Pascal is ideal for use in a software engineering course, for a second course in programming, or as a supplement in any programming course. All programmers, professional and student, will find the book invaluable as a source of proven, useful programs for reading and study. Numerous exercises are provided to test comprehension and to extend the concepts presented in the book. 0201103427B04062001