Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Androidâ„¢ device!
Download
Faster access than browser!
And Ads-free!

Q (equational programming language)

Q (short for equational programming language) is an interpreted, interactive functional programming language created by Albert Gräf at the University of Mainz in Germany. [1]

54 relations: "Hello, World!" program, BeOS, Berkeley sockets, C (programming language), Computer algebra system, Computer music, Currying, Data structure, Digital audio, Eager evaluation, Eight queens puzzle, Equation, Exception handling, Expression (mathematics), Free software, FreeBSD, Functional programming, Germany, GNU General Public License, GNU Octave, Graph theory, Haskell (programming language), IBM, IBM OpenDX, Interpreter (computing), Lambda calculus, Lazy evaluation, Linux, Mathematica, Microsoft Windows, MIDI, ML (programming language), Object-oriented programming, Open Database Connectivity, Operating system, OS X, Perl, POSIX, Prime number, Programming language, Programming paradigm, Pure (programming language), Python (programming language), Q (programming language from Kx Systems), Rewriting, Scripting language, Side effect (computer science), Solaris (operating system), Strong and weak typing, Tcl, ..., Thread (computing), Tk (software), Type system, University of Mainz. Expand index (4 more) »

"Hello, World!" program

A "Hello, World!" program is a computer program that outputs "Hello, World!" (or some variant thereof) on a display device.

New!!: Q (equational programming language) and "Hello, World!" program · See more »

BeOS

BeOS is an operating system for personal computers first developed by Be Inc. in 1991.

New!!: Q (equational programming language) and BeOS · See more »

Berkeley sockets

Berkeley sockets is an application programming interface (API) for Internet sockets and Unix domain sockets, used for inter-process communication (IPC).

New!!: Q (equational programming language) and Berkeley sockets · See more »

C (programming language)

C (as in the letter ''c'') is a general-purpose, imperative computer programming language, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.

New!!: Q (equational programming language) and C (programming language) · See more »

Computer algebra system

A computer algebra system (CAS) is a software program that allows computation over mathematical expressions in a way which is similar to the traditional manual computations of mathematicians and scientists.

New!!: Q (equational programming language) and Computer algebra system · See more »

Computer music

Computer music is the applications of computing technology in music composition.

New!!: Q (equational programming language) and Computer music · See more »

Currying

In mathematics and computer science, currying is the technique of translating the evaluation of a function that takes multiple arguments (or a tuple of arguments) into evaluating a sequence of functions, each with a single argument (partial application).

New!!: Q (equational programming language) and Currying · See more »

Data structure

In computer science, a data structure is a particular way of organizing data in a computer so that it can be used efficiently.

New!!: Q (equational programming language) and Data structure · See more »

Digital audio

Digital audio is technology that can be used to record, store, generate, manipulate, and reproduce sound using audio signals encoded in digital form.

New!!: Q (equational programming language) and Digital audio · See more »

Eager evaluation

In computer programming, eager evaluation or greedy evaluation is the evaluation strategy used by most traditional programming languages.

New!!: Q (equational programming language) and Eager evaluation · See more »

Eight queens puzzle

The eight queens puzzle is the problem of placing eight chess queens on an 8×8 chessboard so that no two queens threaten each other.

New!!: Q (equational programming language) and Eight queens puzzle · See more »

Equation

In mathematics, an equation is an equality containing one or more variables.

New!!: Q (equational programming language) and Equation · See more »

Exception handling

Exception handling is the process of responding to the occurrence, during computation, of exceptions – anomalous or exceptional conditions requiring special processing – often changing the normal flow of program execution.

New!!: Q (equational programming language) and Exception handling · See more »

Expression (mathematics)

In mathematics, an expression (or mathematical expression) is a finite combination of symbols that is well-formed according to rules that depend on the context.

New!!: Q (equational programming language) and Expression (mathematics) · See more »

Free software

Free software, software libre, or libre software is computer software that gives users the freedom to run the software for any purpose as well as to study, change, and distribute the software and the adapted versions.

New!!: Q (equational programming language) and Free software · See more »

FreeBSD

FreeBSD is a free Unix-like operating system descended from Research Unix via the Berkeley Software Distribution (BSD).

New!!: Q (equational programming language) and FreeBSD · See more »

Functional programming

In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.

New!!: Q (equational programming language) and Functional programming · See more »

Germany

Germany (Deutschland), officially the Federal Republic of Germany (Bundesrepublik Deutschland), is a federal parliamentary republic in western-central Europe.

New!!: Q (equational programming language) and Germany · See more »

GNU General Public License

The GNU General Public License (GNU GPL or GPL) is the most widely used free software license, which guarantees end users (individuals, organizations, companies) the freedoms to run, study, share (copy), and modify the software.

New!!: Q (equational programming language) and GNU General Public License · See more »

GNU Octave

GNU Octave is software featuring a high-level programming language, primarily intended for numerical computations.

New!!: Q (equational programming language) and GNU Octave · See more »

Graph theory

In mathematics and computer science, graph theory is the study of graphs, which are mathematical structures used to model pairwise relations between objects.

New!!: Q (equational programming language) and Graph theory · See more »

Haskell (programming language)

Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing.

New!!: Q (equational programming language) and Haskell (programming language) · See more »

IBM

International Business Machines Corporation (commonly referred to as IBM) is an American multinational technology and consulting corporation, with headquarters in Armonk, New York.

New!!: Q (equational programming language) and IBM · See more »

IBM OpenDX

OpenDX stands for Open Data Explorer and is IBM's scientific data visualization software.

New!!: Q (equational programming language) and IBM OpenDX · See more »

Interpreter (computing)

In computer science, an interpreter is a computer program that directly executes, i.e. performs, instructions written in a programming or scripting language, without previously compiling them into a machine language program.

New!!: Q (equational programming language) and Interpreter (computing) · See more »

Lambda calculus

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.

New!!: Q (equational programming language) and Lambda calculus · See more »

Lazy evaluation

In programming language theory, lazy evaluation, or call-by-need is an evaluation strategy which delays the evaluation of an expression until its value is needed (non-strict evaluation) and which also avoids repeated evaluations (sharing).

New!!: Q (equational programming language) and Lazy evaluation · See more »

Linux

Linux (pronounced or, less frequently) is a Unix-like and mostly POSIX-compliant computer operating system (OS) assembled under the model of free and open-source software development and distribution.

New!!: Q (equational programming language) and Linux · See more »

Mathematica

Mathematica is a computational software program used in many scientific, engineering, mathematical and computing fields, based on symbolic mathematics.

New!!: Q (equational programming language) and Mathematica · See more »

Microsoft Windows

Microsoft Windows (or simply Windows) is a metafamily of graphical operating systems developed, marketed, and sold by Microsoft.

New!!: Q (equational programming language) and Microsoft Windows · See more »

MIDI

MIDI (short for Musical Instrument Digital Interface) is a technical standard that describes a protocol, digital interface and connectors and allows a wide variety of electronic musical instruments, computers and other related devices to connect and communicate with one another.

New!!: Q (equational programming language) and MIDI · See more »

ML (programming language)

ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM.

New!!: Q (equational programming language) and ML (programming language) · See more »

Object-oriented programming

Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which are data structures that contain data, in the form of fields, often known as attributes; and code, in the form of procedures, often known as methods. A distinguishing feature of objects is that an object's procedures can access and often modify the data fields of the object with which they are associated (objects have a notion of "this" or "self").

New!!: Q (equational programming language) and Object-oriented programming · See more »

Open Database Connectivity

In computing, ODBC (Open Database Connectivity) is a standard programming language middleware API for accessing database management systems (DBMS).

New!!: Q (equational programming language) and Open Database Connectivity · See more »

Operating system

An operating system (OS) is system software that manages computer hardware and software resources and provides common services for computer programs.

New!!: Q (equational programming language) and Operating system · See more »

OS X

OS X (pronounced; originally Mac OS X) is a series of Unix-based graphical interface operating systems (OS) developed and marketed by Apple Inc. It is designed to run on Macintosh computers, having been pre-installed on all Macs since 2002.

New!!: Q (equational programming language) and OS X · See more »

Perl

Perl is a family of high-level, general-purpose, interpreted, dynamic programming languages.

New!!: Q (equational programming language) and Perl · See more »

POSIX

POSIX, an acronym for Portable Operating System Interface, is a family of standards specified by the IEEE Computer Society for maintaining compatibility between operating systems.

New!!: Q (equational programming language) and POSIX · See more »

Prime number

A prime number (or a prime) is a natural number greater than 1 that has no positive divisors other than 1 and itself.

New!!: Q (equational programming language) and Prime number · See more »

Programming language

A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer.

New!!: Q (equational programming language) and Programming language · See more »

Programming paradigm

A programming paradigm is a fundamental style of computer programming, serving as a way of building the structure and elements of computer programs.

New!!: Q (equational programming language) and Programming paradigm · See more »

Pure (programming language)

Pure is a dynamically typed, functional programming language based on term rewriting.

New!!: Q (equational programming language) and Pure (programming language) · See more »

Python (programming language)

Python is a widely used general-purpose, high-level programming language.

New!!: Q (equational programming language) and Python (programming language) · See more »

Q (programming language from Kx Systems)

Q is a proprietary array processing language developed by Arthur Whitney and commercialized by Kx Systems.

New!!: Q (equational programming language) and Q (programming language from Kx Systems) · See more »

Rewriting

In mathematics, computer science, and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a formula with other terms.

New!!: Q (equational programming language) and Rewriting · See more »

Scripting language

A scripting language or script language is a programming language that supports scripts, programs written for a special run-time environment that can interpret (rather than compile) and automate the execution of tasks that could alternatively be executed one-by-one by a human operator.

New!!: Q (equational programming language) and Scripting language · See more »

Side effect (computer science)

In computer science, a function or expression is said to have a side effect if it modifies some state or has an observable interaction with calling functions or the outside world.

New!!: Q (equational programming language) and Side effect (computer science) · See more »

Solaris (operating system)

Solaris is a Unix operating system originally developed by Sun Microsystems.

New!!: Q (equational programming language) and Solaris (operating system) · See more »

Strong and weak typing

In computer programming, programming languages are often colloquially classified as strongly typed or weakly typed.

New!!: Q (equational programming language) and Strong and weak typing · See more »

Tcl

Tcl (originally from Tool Command Language, but conventionally spelled "Tcl" rather than "TCL"; pronounced as "tickle" or "tee-see-ell") is a scripting language created by John Ousterhout.

New!!: Q (equational programming language) and Tcl · See more »

Thread (computing)

In computer science, a thread of execution is the smallest sequence of programmed instructions that can be managed independently by a scheduler, which is typically a part of the operating system.

New!!: Q (equational programming language) and Thread (computing) · See more »

Tk (software)

Tk is a free and open-source, cross-platform widget toolkit that provides a library of basic elements of GUI widgets for building a graphical user interface (GUI) in many different programming languages.

New!!: Q (equational programming language) and Tk (software) · See more »

Type system

In programming languages, a type system is a collection of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules.

New!!: Q (equational programming language) and Type system · See more »

University of Mainz

The Johannes Gutenberg University of Mainz (Johannes Gutenberg-Universität Mainz) is a university in Mainz, Rhineland Palatinate, Germany, named after the printer Johannes Gutenberg.

New!!: Q (equational programming language) and University of Mainz · See more »

References

[1] https://en.wikipedia.org/wiki/Q_(equational_programming_language)

OutgoingIncoming
Hey! We are on Facebook now! »