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)
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 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
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
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)
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
(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)
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
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
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
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)
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
C is a general-purpose programming language created in the 1970s by Dennis Ritchie. By design, C gives the programmer relatively direct access to the features
C_(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
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
Programming language
"Dart Programming Language Specification, 5th edition" (PDF). "Dart Programming Language Specification, 6th edition draft" (PDF). "Dart language GitHub
Dart_(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 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
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)
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 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)
language, enabling symbolic programming. Mathematical notation Notation (general) Programming language specification Symbol table Symbolic language (other)
Symbolic language (programming)
Symbolic_language_(programming)
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
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
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
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
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
Specification for machine-readable interface files
OpenAPI Specification, previously known as the Swagger Specification, is a specification for a machine-readable interface definition language for describing
OpenAPI_Specification
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
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
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)
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)
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)
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
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
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
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
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
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)
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
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
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
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
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)
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
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
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
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)
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)
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
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
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: 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)
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)
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 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
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)
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
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
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
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
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
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
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
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)
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)
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
Software paradigm independent of language
benefits. Language-independent specification Cross-language information retrieval, refers to natural languages, not programming languages Language independent
Language-agnostic
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)
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)
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
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
Methodology of programming
Invariant-based programming is a programming methodology where specifications and invariants are written before the actual program statements. Writing
Invariant-based_programming
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
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)
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
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
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
Programming language
termination specifications and read/write framing specifications. The language combines ideas from the functional programming and imperative programming paradigms;
Dafny
Task to construct a program meeting a formal specification
different degrees of automation. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in
Program_synthesis
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)
Sub-field of computer science
Programming languages are typically created by designing a form of representation of a computer program, and writing an implementation for the developed
Programming language design and implementation
Programming_language_design_and_implementation
Associative array for storing key–value pairs
mozilla.org. June 20, 2023. Retrieved July 15, 2023. "Programming language C++ - Technical Specification" (PDF). International Organization for Standardization
Hash_table
Type of programming paradigm in computer science
In computer science, imperative programming is a software programming paradigm that provides specific instructions for how computations should take place
Imperative_programming
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
Analysis of computer programs without executing them
focuses on a broad programming language of choice, and seeks to determine by syntactic means whether given programs in that language are feasible. In contrast
Static_program_analysis
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 (1964)
2))) )) )) ))` :(mw,fibo)' TTM (programming language), a programming language inspired by TRAC "TRAC T2001 Specification". February 5, 2005. Archived from
TRAC_(programming_language)
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
Programming language
Fortress is a discontinued experimental programming language for high-performance computing, created by Sun Microsystems with funding from The Defense
Fortress (programming language)
Fortress_(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
Crystal Language Reference. Retrieved 3 June 2021. "The Dart type system". dart.dev. Retrieved 2020-04-08. The Go Programming Language Specification Löh,
Comparison of programming languages by type system
Comparison_of_programming_languages_by_type_system
Shading language
to make Cg/HLSL more suitable for programming graphics processing units. Two main branches of the Cg/HLSL language exist: the Nvidia Cg compiler (cgc)
High-Level_Shader_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)
Programming language by IBM
X10 is a programming language being developed by IBM at the Thomas J. Watson Research Center as part of the Productive, Easy-to-use, Reliable Computing
X10_(programming_language)
Declarative, general-purpose programming language
declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the type system being based
Gödel_(programming_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-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
Boy/Male
Tamil
Girvan | கிரà¯à®µà®¾à®¨
Language of God
Girvan | கிரà¯à®µà®¾à®¨
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.
Girl/Female
British, Hindu, Indian, Norwegian, Sanskrit, Tamil
Language of Vedas
Boy/Male
Tamil
Girven | கீரà¯à®µà¯‡à®¨Â
Language of God
Girven | கீரà¯à®µà¯‡à®¨Â
Girl/Female
Hindu, Indian
Beautiful Language
Girl/Female
Bengali, Gujarati, Hindu, Indian
Language
Boy/Male
Muslim
Language of religion (Islam)
Girl/Female
Hindu, Indian, Marathi
Language of Bihar
Boy/Male
Arabic, Muslim
Tongue; Language
Girl/Female
Hindu, Indian
Child Language
Girl/Female
Assamese, Bengali, Gujarati, Hindu, Indian, Jain, Kannada, Malayalam, Marathi, Sanskrit, Tamil, Telugu
Language
Girl/Female
Tamil
Tamilarasi | தாமீலாரஸீÂ
Queen of Tamil language
Tamilarasi | தாமீலாரஸீÂ
Boy/Male
Hindu
Language of God
Girl/Female
Tamil
Language
Boy/Male
Bengali, Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi
Language of God
Girl/Female
Hindu, Indian, Tamil
Sweet Language
Boy/Male
Hindu
Language of God
Boy/Male
Indian, Tamil
Sweet Language
Boy/Male
Hindu
Language
Boy/Male
Tamil
Prangel | பà¯à®°à®¾à®‚ஜல
Language
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
Boy/Male
Anglo Saxon
Name of a saint.
Female
English
 English name derived from the vocabulary word, DAY means "day." Feminine form of Middle English Daye, meaning "day."
Male
Italian
Italian form of Greek Andreas, ANDREA means "man; warrior."
Boy/Male
Bengali, Hindu, Indian, Malayalam, Marathi, Traditional
Honey; Nectar
Girl/Female
Muslim
Forbearing
Boy/Male
Indian, Sanskrit
Quiver
Boy/Male
Muslim
Great leader
Surname or Lastname
English
English : from either of two places in Kent named Brissenden (one near Frittenden, the other near Tenterden), both named with the Old English personal name Brēosa (a byname from brēsa ‘gadfly’) + Old English denn ‘woodland pasture (for swine)’.
Boy/Male
American, Chinese, French, German, Latin, Portuguese
Guards Wisely; Protecting Hands; Wise Protector
Surname or Lastname
English
English : topographic name from Middle English feldes, plural or possessive of feld ‘open country’. This name is also found as a translation of equivalent names in other languages, in particular French Deschamps, Duchamp.
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
PROGRAMMING LANGUAGE-SPECIFICATION
n.
A race, as distinguished by its speech.
n.
The suggestion, by objects, actions, or conditions, of ideas associated therewith; as, the language of flowers.
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.
imp. & p. p.
of Language
n.
The Provencal language. See Langue d'oc.
n.
The language of the Hebrews; -- one of the Semitic family of languages.
p. pr. & vb. n.
of Language
n.
The inarticulate sounds by which animals inferior to man express their feelings or their wants.
a.
Of or pertaining to language; relating to linguistics, or to the affinities of languages.
n.
The Tamil language, the most important of the Dravidian languages. See Dravidian, a.
n.
A Northern Turanian group of languages; the language of the Finns.
n.
The language of the ancient Germans; the Teutonic languages, collectively.
n.
The language of the Czechs (often called Bohemian), the harshest and richest of the Slavic languages.
n.
The characteristic mode of arranging words, peculiar to an individual speaker or writer; manner of expression; style.
n.
The vocabulary and phraseology belonging to an art or department of knowledge; as, medical language; the language of chemistry or theology.
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.
v. t.
To communicate by language; to express in language.
n.
The expression of ideas by writing, or any other instrumentality.