315 articles
Comparison of C Sharp and Java
A comparison of C# and Java, two similar object-oriented languages running on virtual machines: C# anchors .NET and Unity game development, while Java dominates enterprise back ends and Android.
Comparison of Java and C++
Comparison of Java and C++ contrasts two statically typed object-oriented languages: Java runs garbage-collected bytecode on a virtual machine, while C++ compiles to native code with deterministic destruction.
Comparison of programming languages
Comparison of programming languages evaluates them on measurable dimensions such as execution speed, conciseness, type discipline, and memory safety, drawing on benchmarks, developer surveys, and popularity indices.
Computer language
A computer language is a formal system of notation, defined by syntax and semantics, that people use to describe computations to a computer, including languages like Python and C.
Concurrent computing
Concurrent computing, also called concurrent programming, is a branch of computer science in which multiple computations advance independently and interleave rather than run in a fixed order.
Concurrent Pascal
Concurrent Pascal is a programming language created by Per Brinch Hansen at Caltech in 1975, extending Pascal with processes, monitors, and classes for operating systems.
Conditional (computer programming)
A conditional in computer programming is a construct that runs one of several statements depending on whether a Boolean condition is true, most often an if statement.
Constraint logic programming
Constraint logic programming (CLP) is a declarative programming scheme, defined by Joxan Jaffar and Jean-Louis Lassez in 1987, that combines logic programming with constraint solving over domains like integers and Booleans.
Continuation
A continuation is a data structure or procedure representing the rest of a computation from a given point; Scheme captures them as first-class values with call/cc.
Continuation-passing style
Continuation-passing style, or CPS, is a programming style in which every function takes an extra continuation argument representing the rest of the computation, used in compilers and language theory.
Control flow
Control flow is the ordered execution of program statements and calls, distinct from data flow. It can be represented explicitly as a graph analyzed by compilers.
Coroutine
A coroutine is a routine that can suspend its execution, yield control to other routines, and later resume exactly where it left off, retaining its local state.
CSS
CSS, or Cascading Style Sheets, is a language for describing the rendering of structured documents such as HTML, used for style like fonts, colors, and spacing on web pages.
CUE (configuration language)
CUE, short for Configure, Unify, Execute, is an open source, strongly typed constraint-based language for defining, validating, and generating structured data, created by former Google engineer Marcel van Lohuizen.
Curiously recurring template pattern
The curiously recurring template pattern (CRTP) is a C++ idiom in which a class derives from a class template instantiated with itself, enabling compile-time polymorphism without virtual functions.
Cython
Cython is an optimizing static compiler for Python and the extended Cython language, which is based on Pyrex. It compiles Python code to C for speed.
D (programming language)
D, also known as Dlang or Digital Mars D, is a systems programming language created by Walter Bright in 1999 as a successor to C and C++, with version 1.0 in 2007.
Dangling else
The dangling else, also called the hanging else, is an ambiguity in programming-language grammars where an else could attach to either of two nested if statements.
Dart (programming language)
Dart is an open-source, client-optimized programming language developed by Google, announced in 2011 and best known as the language behind the Flutter toolkit for mobile, desktop, and web apps.
Data type
A data type is a classification of values in a programming language that specifies the possible values, the operations that apply to them, and how they are represented.
Dataflow programming
Dataflow programming is a paradigm where a program is a graph of operations that fire when their inputs are ready, articulated in the early 1970s at MIT and Manchester.
Declarative programming
Declarative programming is a style of programming emphasizing what a program should accomplish over how it does so, spanning functional, logic, constraint, and query languages.
Domain-specific language
A domain-specific language, also called a little language or mini-language, is a programming language targeted at one kind of problem, examples including SQL, CSS, and regular expressions.
Duck typing
Duck typing is a programming style, common in dynamic languages like Python and Ruby, that judges an object by the methods it has rather than its declared type.
Duff's device
Duff's device is a C programming construction, devised by Tom Duff at Lucasfilm in 1983, that implements loop unrolling by interleaving a switch statement with a do-while loop.
Dynamic dispatch
Dynamic dispatch, also called dynamic method dispatch or runtime dispatch, is the runtime selection of a polymorphic operation's implementation based on the object's actual type.
Dynamic typing
Dynamic typing is a property of programming languages where type checks happen at run time rather than before the program runs, as in Python and JavaScript.
ECMAScript
ECMAScript is a general-purpose programming language defined by the ECMA-262 standard and best known as the language embedded in web browsers, where JavaScript is its best-known implementation.
Effect system
An effect system is a static analysis, usually built into a type system, that tracks what side effects an expression may perform, such as I/O or exceptions.
Eiffel (programming language)
Eiffel, also known as the Eiffel language, is an object-oriented programming language designed in 1985 by Bertrand Meyer at Eiffel Software, best known for Design by Contract and standardized as ISO/IEC 25436:2006.