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.
2018
2018
Adapting Scenario Definition Language for Formalizing UAS Concept of Operations
Recent regulatory efforts from EASA introduced the new concept of a specific category that allows a stepwise adaptation of… 
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… 
2008
2008
Intensional semantics for RDF data structures
The Resource Description Framework Schema Specification (RDFS) is the foundation of the Semantic Web and an ontology… 
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… 
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… 
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)