Skip to search formSkip to main contentSkip to account menu

Programming language implementation

A programming language implementation is a system for executing computer programs. There are two general approaches to programming language… 
Wikipedia (opens in a new tab)

Related topics

Related topics

24 relations
ACM Transactions on Programming Languages and SystemsBelt machineCPythonCode generation (compiler)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
JPaxos: State machine replication based on the Paxos protocol
State machine replication is a technique for making services fault-tolerant by replicating them over a group of machines… 
2005
2005
Reconciling CA-Oblivious Encryption, Hidden Credentials, OSBE and Secret Handshakes
We compare four recent systems which have often been cited together, yet which have significant, subtle differences. We argue… 
2002
2002
Semantics of Protocol Modules Composition and Interaction
This paper studies the semantics of protocol modules composition and interaction in configurable communication systems. We… 
2002
2002
A Virtual Machine for Multi-Language Execution
This paper presents the architecture of a virtual machine designed specifically for the execution of multiple languages, which we… 
2000
2000
A Taxonomy of Certificate Status Information Mechanisms
A number of mechanisms have been proposed for generating and disseminating information on the status of certificates. Their… 
1996
1996
Protocol specification using parameterized communicating extended finite state machines-a case study of the ATM ABR rate control scheme
Formal specifications are indispensible for computer-aided verification and testing of communication protocols. However, a large… 
Review
1994
Review
1994
A SURVEY OF HIGH PERFORMANCE PROTOCOL IMPLEMENTATION TECHNIQUES
Many techniques have been developed for high performance communication protocol implementations. In this chapter, we survey these… 
1987
1987
Implementation guide for the ISO Transport Protocol
This RFC is being distributed to members of the Internet community in order to solicit comments on the Implementors Guide. While… 
1987
1987
Language definition-based compiler development
Highly Cited
1975
Highly Cited
1975
Some experience in interactive system development and application
Minicomputers pgoggammed in a high-level interactive language form a very attractive basis fog the development of systems… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)