Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,387,029 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.
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.
2009
2009
Cosastudio: A Software Architecture Modeling Tool
A. Smeda
,
A. Alti
,
M. Oussalah
,
Abdallah Boukerram
2009
Corpus ID: 18908476
— A key aspect of the design of any software system is its architecture. An architecture description provides a formal model of…
Expand
2008
2008
Design and validation of an annotation-concept for the representation of 3D-geometries in Modelica
T. Hoeft
2008
Corpus ID: 55098093
Simulation models of complex technical systems need beside the description of their physical behaviors also a representation of…
Expand
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