Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,833,694 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
33 relations
ALGOL 68
ANSI C
Ada
Ada Conformity Assessment Test Suite
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Key Initiatives for Interoperability through Standardization – Applicability to Small Unmanned Vehicles –
Daniel Serrano
2015
Corpus ID: 33408631
This paper intends to study the problem of standardizing the way small Unmanned Vehicles (UxV) are commanded and the way they…
Expand
2014
2014
An Autopoietic Repertoire
M. Wheatman
SGAI Conferences
2014
Corpus ID: 45502602
This paper presents a strategy for natural language processing in natural language. Using a concept as a unit of conversation…
Expand
2011
2011
HATS : Highly Adaptable and Trustworthy Software using Formal Models
Reiner Hähnle
,
M. Dam
,
A. Poetzsch-Heffter
,
Ina Schaefer
,
Jan Schäfer
2011
Corpus ID: 15569328
behavioral HATS ABS language Specification level Languages Figure 1: Positioning of the HATS ABS language.
2006
2006
The Generic Eclipse Modeling System
Jules White
,
D. Schmidt
,
Sean Mulligan
2006
Corpus ID: 2380808
The Generic Eclipse Modeling System (GEMS), a part of the Ecl ipse Generative Modeling Technologies (GMT) project, gives dom ain…
Expand
2003
2003
Dialogue Protocols for Multi-Agent Systems
Chris Walton
2003
Corpus ID: 56644096
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning…
Expand
Review
2001
Review
2001
SMIL 2.0 part 1: overview, concepts, and structure
D. Bulterman
2001
Corpus ID: 5671667
The World Wide Web Consortium's Synchronized Multimedia Integration Language format for encoding multimedia presentations for…
Expand
1998
1998
The CCMG visual language hierarchy
K. Marriott
,
Bernd Meyer
1998
Corpus ID: 62423465
In Chapter 2 we saw that visual language specification methods come in a variety of forms, making the systematic comparison of…
Expand
1997
1997
Customizable Concurrency Control for Persistent Java
Laurent Daynès
,
M. Atkinson
,
P. Valduriez
Advanced Transaction Models and Architectures
1997
Corpus ID: 31900063
We report on the issues raised when designing a customizable locking mechanism for Persistent Java, a type-safe, object-oriented…
Expand
1996
1996
The Sather 1.1 Specification
David Stoutamire
,
S. Omohundro
1996
Corpus ID: 59696660
This document is a concise specification of Sather 1.1. Sather is an object oriented language designed to be simple, efficient…
Expand
1990
1990
On the effective use of software standards in systems integration
D. Kuhn
Systems Integration '90. Proceedings of the First…
1990
Corpus ID: 7539331
A set of standards for an open systems environment is presented, and an approach to the use of these standards in systems…
Expand