Compiler construction using modern tools
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
ACM SIGART Bulletin
ACM SIGSMALL/PC Notes
How (not) to code a finite state machine
ACM SIGPLAN Notices
Visual simulation of finite state machines
ACM SIGCSE Bulletin
Heterogeneous Data Translations Based on Environment Grammars
IEEE Transactions on Software Engineering
Compiling Tinyturing in a compiler construction course
ACM SIGCSE Bulletin
Generation and recognition of formal languages by modifiable grammars
ACM SIGPLAN Notices
An ALGOL object code interpreter in Scheme
ACM SIGCSE Bulletin
Small-X: an environment for constructing expert systems on a microcomputer
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Automated distributed system testing: designing an RTI verification system
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Efficient Computation of LALR(1) Look-Ahead Sets
ACM Transactions on Programming Languages and Systems (TOPLAS)
A generalized user interface for applications programs
Communications of the ACM
On the modification of the formal grammar at parse time
ACM SIGPLAN Notices
Parallel processing: a smart compiler and a dumb machine
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
IEEE Transactions on Software Engineering
An implementation of a code generator specification language for table driven code generators
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A practical method for code generation based on exhaustive search
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A subset algorithm for deterministic FSMs within determinisitic PDAs
ACM SIGPLAN Notices
Control flow, data flow & data independence
ACM SIGPLAN Notices
Comparative efficiency of general and residual parsers
ACM SIGPLAN Notices
Little language processing, an alternative to courses on compiler construction
ACM SIGCSE Bulletin
A formal method for determining if a grammar is connected and grounded
ACM SIGCSE Bulletin
Parallel processing: a smart compiler and a dumb machine
ACM SIGPLAN Notices - Best of PLDI 1979-1999
A combinatorial algorithm for minimizing the number of states of a deterministic finite automation
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Synthesis of trustworthy protocol specifications from service specifications
ISP'06 Proceedings of the 5th WSEAS International Conference on Information Security and Privacy
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Parametric Language Analysis of the Class of Stop-and-Wait Protocols
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Recursive Parametric Automata and ε-Removal
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
| Hi-index | 0.02 |