Executable description of the OSI transport service in Prolog
Proc. of IFIP WG 6.1 4th Int'l Workshop on Protocol specification, testing, and verification, IV
The C programming language
Structure of a LOTOS interpreter
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
A meta-language and system for nonlocal incremental attribute evaluation in language-based editors
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Incremental evaluation for attribute grammars with application to syntax-directed editors
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
4.2bsd Networking Implementation Notes (Revised July, 1983)
4.2bsd Networking Implementation Notes (Revised July, 1983)
A grammar-based methodology for protocol specification and implementation
A grammar-based methodology for protocol specification and implementation
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets
IEEE Transactions on Software Engineering
Parallel programming with coordination structures
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Delirium: an embedding coordination language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
A readable TCP in the Prolac protocol language
Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Designing an Agent Synthesis System for Cross-RPC Communication
IEEE Transactions on Software Engineering
Implementing declarative overlays
Proceedings of the twentieth ACM symposium on Operating systems principles
Mace: language support for building distributed systems
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
NSDI'09 Proceedings of the 6th USENIX symposium on Networked systems design and implementation
Research: The ISO virtual terminal protocol: a semi-automatic implementation
Computer Communications
Hi-index | 0.00 |
The RTAG (real-time asynchronous grammars) programming language is discussed. The language is based on an attribute grammar notation for specifying protocols. Its main design goals are: (1) to support concise and easily understood expression of complex real-world protocols; and (2) to serve as the basis of a portable software system for automated protocol implementation. The algorithms used in generating implementations from given specifications are sketched, and a Unix-based automated implementation system for RTAG is described.