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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1964-2017
0102019642017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Millions of computer end users need to perform tasks over tabular spreadsheet data, yet lack the programming knowledge to do such… (More)
  • figure 1
  • table 2
  • table 3
Is this relevant?
2013
2013
Formal methods use mathematical notations to precisely express requirements specification. The formal specification removes… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 9
  • figure 10
Is this relevant?
2009
2009
Development of formal programming language specifications is an important problem of theoretical and practical programming. The… (More)
Is this relevant?
2009
2009
MOTIVATION Model exchange in systems and synthetic biology has been standardized for computers with the Systems Biology Markup… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper describes the Java Language Extender framework, a tool that allows one to create new domain-adapted languages by… (More)
  • figure 5
  • figure 13
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We present a probability-sensitive confidentiality specification – a form of probabilistic noninterference – for a small multi… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1994
1994
The High Performance Fortran Forum (HPFF), a coalition of over 40 industrial, academic, and government organizations, met from… (More)
Is this relevant?
1993
1993
This paper presents a method of translating natural language specifications of communication protocols into algebraic… (More)
  • figure 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Visual programming languages use pictures as programs. One approach to building a visual programming environment is to… (More)
  • figure 1
  • figure 3
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1985
Highly Cited
1985
A critique of a natural-language specification, followed by presentation of a mathematical alternative, demonstrates the weakness… (More)
Is this relevant?