Search references for PROGRAMMING LANGUAGE-SPECIFICATION. Phrases containing PROGRAMMING LANGUAGE-SPECIFICATION
See searches and references containing PROGRAMMING LANGUAGE-SPECIFICATION!PROGRAMMING LANGUAGE-SPECIFICATION
Documentation defining a programming language
In computer programming, a programming language specification (or standard or definition) is a specification language or documentation[dubious – discuss]
Programming language specification
Programming_language_specification
Programming language
Go Programming Language". The Go Programming Language. "The Go Programming Language Specification". The Go Programming Language. "The Go Programming Language
Go_(programming_language)
Formal language used in computer science
much higher level than a programming language, which is used to produce the executable code for a system. Specification languages are generally not directly
Specification_language
Computer programming standard meant to be interoperable across programming languages
A language-independent specification (LIS) is a programming language specification[citation needed] providing a common interface usable for defining semantics
Language-independent specification
Language-independent_specification
Formal specification language used for describing and modelling computing systems
formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based
Z_notation
Computer language specialized to a specific set of requirements or function
domain-specific language is somewhere between a tiny programming language and a scripting language, and is often used in a way analogous to a programming library
Domain-specific_language
Object-oriented programming language
Java is a high-level, general-purpose, memory-safe, object-oriented programming language. It is intended to let programmers write once, run anywhere (WORA)
Java_(programming_language)
Programming language close to hardware
A low-level programming language is a programming language that provides little or no abstraction from a computer's instruction set architecture, memory
Low-level programming language
Low-level_programming_language
General-purpose programming language
(class-based), and component-oriented programming disciplines. The principal designers of the C# programming language were Anders Hejlsberg, Scott Wiltamuth
C Sharp (programming language)
C_Sharp_(programming_language)
Form of source code, without regard to meaning
computer language rules. Like a natural language, a computer language (i.e. a programming language) defines the syntax that is valid for that language. A syntax
Syntax (programming languages)
Syntax_(programming_languages)
High-level programming language first released in 1980
Association DOD Ada programming language (ANSI/MIL STD 1815A-1983) specification JTC1/SC22/WG9 ISO home of Ada Standards Ada Programming Language Materials, 1981–1990
Ada_(programming_language)
General-purpose programming language
C is a general-purpose programming language created in the 1970s by Dennis Ritchie. By design, C gives programmers relatively direct access to the features
C_(programming_language)
Programming paradigm based on asynchronous data streams
In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. With this paradigm
Reactive_programming
Language for controlling a computer
A programming language is an engineered language for expressing computer programs, typically allowing software to be written in a human readable manner
Programming_language
List of programming languages types and the languages that meet its description
(Combined Programming Language) Curl D Distributed Application Specification Language (DASL) (combine declarative programming and imperative programming) ECMAScript
List of programming languages by type
List_of_programming_languages_by_type
Programming language
"Dart Programming Language Specification, 5th edition" (PDF). "Dart Programming Language Specification, 6th edition draft" (PDF). "Dart language GitHub
Dart_(programming_language)
Programming language
SPARK is a formally defined computer programming language based on the Ada programming language, intended for developing high-integrity software used in
SPARK_(programming_language)
Programming languages are used for controlling the behavior of a machine (often a computer). Like natural languages, programming languages follow rules
Comparison of programming languages
Comparison_of_programming_languages
Programming language
Limbo is a programming language for writing distributed systems and is the language used to write applications for the Inferno operating system. It was
Limbo_(programming_language)
Branch of computer science
theory. Formal semantics is the formal specification of the behaviour of computer programs and programming languages. Three common approaches to describe
Programming_language_theory
Multi-paradigm system programming language
D, also known as dlang, is a multi-paradigm system programming language created by Walter Bright at Digital Mars and released in 2001. Andrei Alexandrescu
D_(programming_language)
Group of computer programming languages
A fourth-generation programming language (4GL) is a high-level computer programming language that belongs to a class of languages envisioned as an advancement
Fourth-generation programming language
Fourth-generation_programming_language
Programming language written graphically by a user
computing, a visual programming language (visual programming system, VPL, or, VPS), also known as diagrammatic programming, graphical programming or block coding
Visual_programming_language
Software system for statistical models
Probabilistic programming (PP) is a programming paradigm based on the declarative specification of probabilistic models, for which inference is performed
Probabilistic_programming
language, enabling symbolic programming. Mathematical notation Notation (general) Programming language specification Symbol table Symbolic language (other)
Symbolic language (programming)
Symbolic_language_(programming)
Imperative programming – explicit statements that change a program state Logic programming – uses explicit mathematical logic for programming Metaprogramming
Comparison of multi-paradigm programming languages
Comparison_of_multi-paradigm_programming_languages
Functional programming language
Miranda programming language, which served to focus the efforts of the initial Haskell working group. The last formal specification of the language was made
Haskell
Computer programming paradigm
In computer programming, dataflow programming is a programming paradigm that models a program as a directed graph of the data flowing between operations
Dataflow_programming
Temporal logic
Property Specification Language (PSL) is a temporal logic extending linear temporal logic with a range of operators for both ease of expression and enhancement
Property Specification Language
Property_Specification_Language
Programming language with hardware abstraction
high-level programming language is a programming language with strong abstraction from the details of the computer. In contrast to low-level programming languages
High-level programming language
High-level_programming_language
Language for controlling network data forwarding
P4 is a programming language for controlling packet forwarding planes in networking devices, such as routers and switches. In contrast to a general purpose
P4_(programming_language)
Set of logic terms used to describe processes
The Process Specification Language (PSL) is a set of logic terms used to describe processes. The logic terms are specified in an ontology that provides
Process Specification Language
Process_Specification_Language
Lexical token that names a programming language's entities
Learning. p. 397. ISBN 978-1-285-85274-4. "The Go Programming Language Specification - The Go Programming Language". Golang.org. 2013-05-08. Retrieved 2013-06-05
Identifier (computer languages)
Identifier_(computer_languages)
Symbol representing the word "and" (&)
18 June 2021. "Pointer types". doc.rust-lang.org. "The Go Programming Language Specification". Archived from the original on 13 May 2021. Retrieved 18
Ampersand
Specification for machine-readable interface files
OpenAPI Specification (OAS), previously known as the Swagger Specification, is a specification for a machine-readable interface definition language for describing
OpenAPI_Specification
Gamatié. Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification. ISBN 978-1-4419-0940-4. Book edited by Springer
SIGNAL_(programming_language)
Programming paradigm based on modeling the logic of a computation
declarative programming is a programming paradigm that expresses the logic of a computation without fully describing its control flow. Languages that permit
Declarative_programming
High-level shading language
OpenGL Shading Language (GLSL) is a high-level shading language with a syntax based on the C programming language. It was created by the OpenGL ARB (OpenGL
OpenGL_Shading_Language
Programming language derived from Perl
of programming languages. Formerly named Perl 6, it was renamed in October 2019. Raku introduces elements of many modern and historical languages. Compatibility
Raku_(programming_language)
General-purpose programming language
introductory programming language. Since 2003, Python has consistently ranked among the top ten most popular programming languages in the TIOBE Programming Community
Python_(programming_language)
Unpredictable result when running a program
A computer program exhibits undefined behavior (UB) when it contains, or is executing code for which its programming language specification does not mandate
Undefined_behavior
Functional programming language inspired by ML and aimed at program verification
functional and object-oriented programming language inspired by the languages ML, Caml, and OCaml, and intended for program verification. It is a joint project
F*_(programming_language)
eXtender Language" after the language's original purpose, the specification and rapid prototyping of variants and extensions of the Turing programming language
TXL_(programming_language)
Declarative specification language
computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a
Alloy (specification language)
Alloy_(specification_language)
Protocol between IDEs and programming language-specific servers
a sophisticated understanding of the programming language that the program's source is written in. A programming tool without such an understanding—for
Language_Server_Protocol
Programming paradigm based on applying and composing functions
functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm
Functional_programming
Programming languages optimized for sound production
3D graphics programming Ixi lang, a programming language for live coding musical expression. JFugue, a Java and JVM library for programming music that
List of audio programming languages
List_of_audio_programming_languages
Programming language
and logic programming, including constraint programming integration. It is nearly a superset of Haskell but does not support all language extensions
Curry_(programming_language)
Object-oriented programming language
Eiffel is an object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software Construction)
Eiffel_(programming_language)
General-purpose programming language
(/ˈfɔːrtræn/; formerly FORTRAN) is a third-generation, compiled, imperative programming language designed for numeric computation and scientific computing. Fortran
Fortran
Text processing programming language
only scripting language available in a standard Unix environment. It is one of the mandatory utilities of the Single UNIX Specification, and is required
AWK
General-purpose modeling language
systems modeling language (SysML) is a general-purpose modeling language for systems engineering applications. It supports the specification, analysis, design
Systems_modeling_language
Programming language
Universal Test Specification Language (UTSL) is a programming language used to describe ASIC tests in a format that leads to an automated translation
Universal Test Specification Language
Universal_Test_Specification_Language
Topics referred to by the same term
cadastre GIS used by local governments Language-independent specification, a programming language specification Legume Information System, online resources
LIS
Specialized computer language used to describe electronic circuits
illusion of being programming languages, when they are more precisely classified as specification languages or modeling languages. Simulators capable
Hardware_description_language
Two or three characters, treated as one
respectively, that appear in source code and, according to a programming language's specification, should be treated as if they were single characters. Various
Digraphs and trigraphs (programming)
Digraphs_and_trigraphs_(programming)
Programming language family
(historically LISP, an abbreviation of "list processing") is a family of programming languages with a long history and a distinctive, fully parenthesized prefix
Lisp_(programming_language)
Free-software license
terminology which is mainly intended for applications written in the C programming language or its family. Franz Inc., the developers of Allegro Common Lisp
GNU Lesser General Public License
GNU_Lesser_General_Public_License
Functional programming language
Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation
Agda_(programming_language)
Low-level programming language family
was commonplace for both systems programming and application programming to take place entirely in assembly language. While still irreplaceable for some
Assembly_language
1998 esoteric programming language
Malbolge (/mælˈboʊldʒ/) is a public-domain esoteric programming language invented by Ben Olmstead in 1998, named after the eighth circle of hell in Dante's
Malbolge
Programming language
Ballerina is a general-purpose programming language designed by WSO2 for cloud computing application software. It is free and open-source software released
Ballerina (programming language)
Ballerina_(programming_language)
Type of programming language
A concatenative programming language is a point-free computer programming language in which all expressions denote functions, and the juxtaposition of
Concatenative programming language
Concatenative_programming_language
Programming language
programming language. It is a dialect of the programming language ML, designed by Hongwei Xi to unify computer programming with formal specification.
ATS_(programming_language)
Procedural, imperative computer programming language
PL/I (Programming Language One, pronounced /piː ɛl wʌn/ and sometimes written PL/1) is a procedural, imperative computer programming language initially
PL/I
Organizing code into modules
Modular programming is a programming paradigm that emphasizes organizing the functions of a codebase into independent modules, each providing an aspect
Modular_programming
Programming language
of .NET Framework. The language emphasizes type safety, component-oriented programming, and modern object-oriented programming concepts. C# syntax is
Outline of the C sharp programming language
Outline_of_the_C_sharp_programming_language
Software paradigm independent of language
benefits. Language-independent specification Cross-language information retrieval, refers to natural languages, not programming languages Language independent
Language-agnostic
Mathematical study of the meaning of programming languages
In programming language theory, semantics is the rigorous mathematical logic study of the meaning of programming languages. Semantics assigns computational
Semantics (programming languages)
Semantics_(programming_languages)
Software interface description language
interface description languages, IDL defined interfaces in a language- and machine- independent way, allowing the specification of interfaces between
IDL_specification_language
Software design modeling notation
modeling language to describe an emerging system. UML was created in an attempt to define a standard language for object-oriented programming at the OOPSLA
Unified_Modeling_Language
Documentation for users of a computer programming language
a programming language reference or language reference manual is part of the documentation associated with most mainstream programming languages. It
Programming language reference
Programming_language_reference
Method of computer program specification
programming is the original name of a formal method for program specification and refinement, more recently called a Practical Theory of Programming,
Predicative_programming
Formal language for communicating with a computer
interchangeably with programming language, but today, used primarily for taxonomy, is a broader term that encompasses languages that are not programming in nature
Computer_language
Programming language
termination specifications and read/write framing specifications. The language combines ideas from the functional programming and imperative programming paradigms;
Dafny
Tactile programming is the specification, development, interaction with and interpretation of computer programs through a touch-centric interface. It
Tactile_programming_language
Connection between computers or programs
An application programming interface (API) is a connection between computers or between computer programs. It is a type of software interface, offering
API
Topics referred to by the same term
Language-independent may refer to: Language-independent specification, a programming language specification applicable toward arbitrary language bindings
Language-independent
Standards organization for information and communication systems
Eiffel: Analysis, design and programming Language (See Eiffel programming language) ECMA-372 – C++/CLI Language Specification ECMA-376 – Office Open XML
Ecma_International
Programming language
Java-syntax-compatible object-oriented programming language for the Java platform. It is both a static and dynamic language with features similar to those of
Apache_Groovy
Arbitrary-precision calculator supporting interactive and scripted use
language is traditionally written as a program in the dc programming language to provide a higher level of access to the features of the dc language without
Bc_(programming_language)
General-purpose functional programming language
functional programming language with compile-time type checking and type inference. It is popular for writing compilers, for programming language research
Standard_ML
Topics referred to by the same term
There are two EML programming languages: Extended ML, which is actually a specification language, and the Extensible ML programming language This disambiguation
EML_programming_language
Library provided with a programming language to provide common services
associated programming language specification, however, some are set in part or whole by more informal practices of a language community. Some languages define
Standard_library
Discontinued programming language
a discontinued programming language created by James Gosling in 1989, initially for Sun Microsystems' set-top box project. The language later evolved to
Oak_(programming_language)
Part of a computer program where a given name binding is valid
most programming languages, "part of a program" refers to a portion of source code (area of text), and is known as lexical scope. In some languages, however
Scope_(computer_programming)
General-purpose programming language
Ruby is a general-purpose programming language designed with an emphasis on programming productivity and simplicity. In Ruby, everything is an object
Ruby_(programming_language)
Programming language: compiled, structured, array language
F is a modular, compiled, numeric programming language, designed for scientific programming and scientific computation. F was developed as a modern Fortran
F_(programming_language)
Computational operation
documentation. Retrieved 2026-01-19. "The Go Programming Language Specification - The Go Programming Language". go.dev. Retrieved 2022-02-28. "math package
Modulo
ASCII-compatible variable-width encoding of Unicode
Retrieved 2024-09-24. "Source code representation". The Go Programming Language Specification. golang.org (Report). Retrieved 2021-02-10. Tsai, Michael
UTF-8
CLI languages are computer programming languages that are used to produce libraries and programs that conform to the Common Language Infrastructure (CLI)
List_of_CLI_languages
Programming language
ISBN 978-1461320074. Primordial Soup, Ministry of Truth, 2021-12-19, retrieved 2023-05-11 Official website Newspeak Programming Language Draft Specification
Newspeak (programming language)
Newspeak_(programming_language)
Formal method for the development of computer-based systems
group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which
Vienna_Development_Method
One-way software control-flow statement
2021-11-10. The Go Programming Language Specification (26 July 2021). "The Go Programming Language Specification - the Go Programming Language". Torvalds, Linus
Goto
The SARL programming language is a modular agent-oriented programming language. It aims at providing the fundamental abstractions for dealing with concurrency
SARL_(programming_language)
An expression-oriented programming language is a programming language in which every (or nearly every) construction is an expression and thus yields a
Expression-oriented programming language
Expression-oriented_programming_language
Computer language for specifying stylesheets for SGML documents
The Document Style Semantics and Specification Language (DSSSL) is an international standard developed to provide stylesheets for SGML documents. DSSSL
Document Style Semantics and Specification Language
Document_Style_Semantics_and_Specification_Language
General purpose functional programming language
other related technologies at the time, such as the contemporaneous programming language Hope, happening subsequent to the release of Edinburgh LCF and other
ML_(programming_language)
Programming language for automation scripts
writing a script is called scripting. A scripting language or script language is a programming language that is used for scripting. Originally, scripting
Scripting_language
Microsoft programming language
strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods. It is most often used
F Sharp (programming language)
F_Sharp_(programming_language)
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
Girl/Female
Bengali, Gujarati, Hindu, Indian
Language
Boy/Male
Arabic, Muslim
Tongue; Language
Girl/Female
Assamese, Bengali, Gujarati, Hindu, Indian, Jain, Kannada, Malayalam, Marathi, Sanskrit, Tamil, Telugu
Language
Boy/Male
Muslim
Language of religion (Islam)
Girl/Female
Tamil
Language
Girl/Female
Hindu, Indian, Tamil
Sweet Language
Girl/Female
Tamil
Tamilarasi | தாமீலாரஸீÂ
Queen of Tamil language
Tamilarasi | தாமீலாரஸீÂ
Girl/Female
Hindu, Indian
Beautiful Language
Boy/Male
Hindu
Language of God
Boy/Male
Tamil
Prangel | பà¯à®°à®¾à®‚ஜல
Language
Prangel | பà¯à®°à®¾à®‚ஜல
Boy/Male
Hindu
Language of God
Girl/Female
Hindu, Indian, Marathi
Language of Bihar
Boy/Male
Hindu
Language
Girl/Female
British, Hindu, Indian, Norwegian, Sanskrit, Tamil
Language of Vedas
Boy/Male
Bengali, Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi
Language of God
Girl/Female
Hindu, Indian
Child Language
Boy/Male
Tamil
Girven | கீரà¯à®µà¯‡à®¨Â
Language of God
Girven | கீரà¯à®µà¯‡à®¨Â
Boy/Male
Indian, Tamil
Sweet Language
Surname or Lastname
English
English : habitational name from Langdale, Cumbria, named in Old Norse as ‘long valley’, from lang ‘long’ + dalr ‘valley’.Possibly an Americanized form of Norwegian Langdal, Langdalen, Langdahl, habitational names from any of numerous farmsteads named Langdal(en), having the same etymology as 1.
Boy/Male
Tamil
Girvan | கிரà¯à®µà®¾à®¨
Language of God
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
Girl/Female
Hindu, Indian
Goddess Saraswati; Luckiest Girl
Boy/Male
Norse
From the deer forest.
Boy/Male
Indian
One who has beautiful black eyes
Male
Native American
Native American Sioux name AMITOLA means "rainbow." This name comes from a legend that says that the first colorful picture was painted on the clouds by a young Indian chief named Amitola.
Girl/Female
Tamil
Poroma | போரோமாஂ
Girl/Female
Hindu
Festivities
Girl/Female
Arabic
With Long Lashes
Male
Hebrew
Variant spelling of Hebrew Shimown, SHIMON means "hearkening."
Boy/Male
Tamil
Turanyu | தà¯à®°à®¾à®¨à¯à®¯à¯
Swift
Girl/Female
Tamil
One without sorrow, Mercury, Sweet heart, Beloved
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
p. pr. & vb. n.
of Language
n.
A Northern Turanian group of languages; the language of the Finns.
n.
The language of the Hebrews; -- one of the Semitic family of languages.
n.
The characteristic mode of arranging words, peculiar to an individual speaker or writer; manner of expression; style.
a.
Of or pertaining to language; relating to linguistics, or to the affinities of languages.
n.
The inarticulate sounds by which animals inferior to man express their feelings or their wants.
n.
A race, as distinguished by its speech.
v. t.
To communicate by language; to express in language.
n.
The expression of ideas by writing, or any other instrumentality.
n.
The vocabulary and phraseology belonging to an art or department of knowledge; as, medical language; the language of chemistry or theology.
n.
The language of the Czechs (often called Bohemian), the harshest and richest of the Slavic languages.
n.
The Provencal language. See Langue d'oc.
n.
The language of the ancient Germans; the Teutonic languages, collectively.
n.
Any means of conveying or communicating ideas; specifically, human speech; the expression of ideas by the voice; sounds, expressive of thought, articulated by the organs of the throat and mouth.
a.
Having a language; skilled in language; -- chiefly used in composition.
n.
The forms of speech, or the methods of expressing ideas, peculiar to a particular nation.
imp. & p. p.
of Language
n.
The Tamil language, the most important of the Dravidian languages. See Dravidian, a.
n.
The suggestion, by objects, actions, or conditions, of ideas associated therewith; as, the language of flowers.