A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
What can we do about the unnecessary diversity of notation for syntactic definitions?
Communications of the ACM
Systems Programming
PASCAL user manual and report
Compiler Construction, An Advanced Course, 2nd ed.
An extended attribute grammar for Pascal
ACM SIGPLAN Notices
Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
The CABER project: the capture and analysis of behavioural events in real-time
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
| Hi-index | 0.00 |