Skip to search formSkip to main contentSkip to account menu

Programming language specification

Known as: Language specification 
In computing, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so… 
Wikipedia (opens in a new tab)

Related topics

Related topics

33 relations
ALGOL 68ANSI CAdaAda Conformity Assessment Test Suite

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Extracting design information from natural language specifications
  • I. Harris
  • DAC Design Automation Conference
  • 2012
  • Corpus ID: 16002183
Natural language specifications are the first concrete behavioral description which is the basis for any manually generated… 
2007
2007
Fully Verified Java Card API Reference Implementation
We present a formally verified reference implementation of the JAVA CARD API. This case study has been developed with the KeY… 
Highly Cited
2005
Highly Cited
2005
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless… 
Highly Cited
2004
Highly Cited
2004
A Web Service Architecture for Enforcing Access Control Policies
Review
2001
Review
2001
SMIL 2.0 part 1: overview, concepts, and structure
The World Wide Web Consortium's Synchronized Multimedia Integration Language format for encoding multimedia presentations for… 
Highly Cited
2001
Highly Cited
2001
The standard SpecC language
The paper introduces SpecC language, a system level description language based on C, and its consortium, SpecC Technology Open… 
Review
1998
Review
1998
TED—a language for modeling telecommunication networks
TeD is a language designed mainly for modeling telecommunication networks. The TeD language specification is separated into two… 
1996
1996
The Sather 1.1 Specification
This document is a concise specification of Sather 1.1. Sather is an object oriented language designed to be simple, efficient… 
Highly Cited
1989
Highly Cited
1989
State-of-the-art in Computer Animation
Computer animation may be defined as a technique in which the illusion of movement is created by displaying on a screen, or… 
1988
1988
Formal specification of a small example based on GKS
Implicit regeneration is a fundamental concept of the Graphical Kernel System (GKS), an IS0 International Standard, but it is… 
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)