Schneller Zugriff als Browser!
38 Beziehungen: Abfragesprache, Algorithmus, Apache Ant, Beweis (Logik), C (Programmiersprache), C++, Curry (Programmiersprache), Domain-driven Design, Endrekursion, Erlang (Programmiersprache), Extensible Application Markup Language, Funktionale Programmierung, Gofer, Haskell (Programmiersprache), Imperative Programmierung, Implementierung, In-Place-Algorithmus, Java (Programmiersprache), Korrektheit (Informatik), Lambda-Kalkül, Linda (Programmiersprache), Lisp, Logische Programmierung, Lustre (Programmiersprache), Make, Miranda (Programmiersprache), ML (Programmiersprache), Oz (Programmiersprache), Pascal (Programmiersprache), Programmierparadigma, Prolog (Programmiersprache), Quicksort, Referenzielle Transparenz, Rekursion, SQL, Synchrone Programmiersprache, Wirkung (Informatik), XSL Transformation.
Abfragesprache
Eine Abfragesprache (Syn.: Anfragesprache, Retrievalsprache, Suchsprache, Suchanfragesprache, Filtersprache), fachsprachlich nach dem englischen Ausdruck Data Query Language auch mit dem Akronym DQL bezeichnet, ist eine Datenbanksprache zur Suche nach Informationen.
Neu!!: Deklarative Programmierung und Abfragesprache · Mehr sehen »
Algorithmus
sowjetischen Briefmarke anlässlich seines 1200-jährigen Geburtsjubiläums Ein Algorithmus (benannt nach al-Chwarizmi, von arabisch: Choresmier) ist eine eindeutige Handlungsvorschrift zur Lösung eines Problems oder einer Klasse von Problemen.
Neu!!: Deklarative Programmierung und Algorithmus · Mehr sehen »
Apache Ant
Apache Ant (für Ameise) ist ein in Java geschriebenes Programm zum automatisierten Erzeugen von ausführbaren Computerprogrammen aus Quelltexten.
Neu!!: Deklarative Programmierung und Apache Ant · Mehr sehen »
Beweis (Logik)
Ein Beweis ist eine Reihe von logischen Schlussfolgerungen, die die Wahrheit eines Satzes auf als wahr Angenommenes zurückführen soll.
Neu!!: Deklarative Programmierung und Beweis (Logik) · Mehr sehen »
C (Programmiersprache)
C ist eine imperative und prozedurale Programmiersprache, die der Informatiker Dennis Ritchie in den frühen 1970er Jahren an den Bell Laboratories entwickelte.
Neu!!: Deklarative Programmierung und C (Programmiersprache) · Mehr sehen »
C++
C++ ist eine von der ISO genormte Programmiersprache.
Neu!!: Deklarative Programmierung und C++ · Mehr sehen »
Curry (Programmiersprache)
Curry ist eine experimentelle funktionallogische Programmiersprache, die auf Haskell basiert.
Neu!!: Deklarative Programmierung und Curry (Programmiersprache) · Mehr sehen »
Domain-driven Design
Domain-driven Design (DDD) ist eine Herangehensweise an die Modellierung komplexer Software.
Neu!!: Deklarative Programmierung und Domain-driven Design · Mehr sehen »
Endrekursion
Eine rekursive Funktion f ist endrekursiv (auch endständig rekursiv, iterativ rekursiv, repetitiv rekursiv), wenn der rekursive Funktionsaufruf die letzte Aktion zur Berechnung von f ist.
Neu!!: Deklarative Programmierung und Endrekursion · Mehr sehen »
Erlang (Programmiersprache)
Softwarepaket LAMP dar. Erlang ist eine Programmiersprache, die bei Ericsson von Joe Armstrong und anderen entwickelt wurde.
Neu!!: Deklarative Programmierung und Erlang (Programmiersprache) · Mehr sehen »
Extensible Application Markup Language
Extensible Application Markup Language (XAML, ausgesprochen) ist eine von Microsoft entwickelte Beschreibungssprache zur Gestaltung grafischer Benutzeroberflächen sowie zur Definition von Workflows in der Windows Workflow Foundation (WF).
Neu!!: Deklarative Programmierung und Extensible Application Markup Language · Mehr sehen »
Funktionale Programmierung
Funktionale Programmierung ist ein Programmierparadigma, in dem Funktionen nicht nur definiert und angewendet werden können, sondern auch wie Daten miteinander verknüpft, als Parameter verwendet und als Funktionsergebnisse auftreten können.
Neu!!: Deklarative Programmierung und Funktionale Programmierung · Mehr sehen »
Gofer
Gofer ist eine funktionale Programmiersprache, die an Haskell angelehnt ist.
Neu!!: Deklarative Programmierung und Gofer · Mehr sehen »
Haskell (Programmiersprache)
Haskell ist eine rein funktionale Programmiersprache, benannt nach dem US-amerikanischen Mathematiker Haskell Brooks Curry, dessen Arbeiten zur mathematischen Logik eine Grundlage funktionaler Programmiersprachen bilden.
Neu!!: Deklarative Programmierung und Haskell (Programmiersprache) · Mehr sehen »
Imperative Programmierung
Imperative Programmierung (‚anordnen‘, ‚befehlen‘) ist ein Programmierparadigma, nach dem „ein Programm aus einer Folge von Anweisungen besteht, die vorgeben, in welcher Reihenfolge was vom Computer getan werden soll“.
Neu!!: Deklarative Programmierung und Imperative Programmierung · Mehr sehen »
Implementierung
Eine Implementierung – auch Implementation (über ‚Ausführung‘, ‚Durchführung‘; von spätlateinisch implementum ‚Gerät‘ zu ‚anfüllen‘, ‚erfüllen‘) genannt – ist das Implementieren oder das Implementiertwerden, also die Realisierung oder Umsetzung von festgelegten Strukturen und Prozessabläufen in einem System unter Berücksichtigung von Rahmenbedingungen, Regeln und Zielvorgaben, im Sinne einer Spezifikation.
Neu!!: Deklarative Programmierung und Implementierung · Mehr sehen »
In-Place-Algorithmus
Ein Algorithmus arbeitet in-place bzw.
Neu!!: Deklarative Programmierung und In-Place-Algorithmus · Mehr sehen »
Java (Programmiersprache)
Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.
Neu!!: Deklarative Programmierung und Java (Programmiersprache) · Mehr sehen »
Korrektheit (Informatik)
Unter Korrektheit versteht man in der Informatik die Eigenschaft eines Computerprogramms, einer Spezifikation zu genügen (siehe auch Verifikation).
Neu!!: Deklarative Programmierung und Korrektheit (Informatik) · Mehr sehen »
Lambda-Kalkül
griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.
Neu!!: Deklarative Programmierung und Lambda-Kalkül · Mehr sehen »
Linda (Programmiersprache)
Linda ist eine Programmiersprache für verteilte Programmierung.
Neu!!: Deklarative Programmierung und Linda (Programmiersprache) · Mehr sehen »
Lisp
Lisp ist eine Familie von Programmiersprachen, die 1958 erstmals spezifiziert wurde und am Massachusetts Institute of Technology (MIT) in Anlehnung an den ungetypten Lambda-Kalkül entstand.
Neu!!: Deklarative Programmierung und Lisp · Mehr sehen »
Logische Programmierung
Logische Programmierung (Prädikative Programmierung, Logikprogrammierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht.
Neu!!: Deklarative Programmierung und Logische Programmierung · Mehr sehen »
Lustre (Programmiersprache)
Lustre ist eine synchrone deklarative Programmiersprache.
Neu!!: Deklarative Programmierung und Lustre (Programmiersprache) · Mehr sehen »
Make
make (für machen, erstellen) ist ein Build-Management-Tool, das Kommandos in Abhängigkeit von Bedingungen ausführt.
Neu!!: Deklarative Programmierung und Make · Mehr sehen »
Miranda (Programmiersprache)
Miranda ist eine rein funktionale Programmiersprache, die von David Turner basierend auf den von ihm früher entwickelten Programmiersprachen SASL und KRC entwickelt wurde und Konzepte der Programmiersprachen ML und Hope enthält.
Neu!!: Deklarative Programmierung und Miranda (Programmiersprache) · Mehr sehen »
ML (Programmiersprache)
Meta Language (ML) beschreibt eine Familie funktionaler Programmiersprachen mit statischer Typisierung, Polymorphie, automatischer Speicherbereinigung und im Allgemeinen strenger Auswertung.
Neu!!: Deklarative Programmierung und ML (Programmiersprache) · Mehr sehen »
Oz (Programmiersprache)
Oz ist eine multiparadigmatische Programmiersprache, die mitunter deklarative, objektorientierte, parallele Programmierung sowie Constraintprogrammierung vereint.
Neu!!: Deklarative Programmierung und Oz (Programmiersprache) · Mehr sehen »
Pascal (Programmiersprache)
Niklaus Wirth (2009), der Entwickler von Pascal Pascal ist eine Anfang der 1970er Jahre entwickelte imperative Programmiersprache.
Neu!!: Deklarative Programmierung und Pascal (Programmiersprache) · Mehr sehen »
Programmierparadigma
Ein Programmierparadigma ist ein fundamentaler Programmierstil.
Neu!!: Deklarative Programmierung und Programmierparadigma · Mehr sehen »
Prolog (Programmiersprache)
Prolog (vom Französischen: programmation en logique, dt.: „Programmieren in Logik“) ist eine Programmiersprache, die Anfang der 1970er-Jahre maßgeblich von dem französischen Informatiker Alain Colmerauer entwickelt wurde und ein deklaratives Programmieren ermöglicht.
Neu!!: Deklarative Programmierung und Prolog (Programmiersprache) · Mehr sehen »
Quicksort
Eine zufällige Permutation von Integerwerten wird mit Quicksort sortiert. Die blauen Linien zeigen den Wert des rot markierten Pivotelements im jeweiligen Rekursionsschritt. Quicksort (und to sort ‚sortieren‘) ist ein schneller, rekursiver, nicht-stabiler Sortieralgorithmus, der nach dem Prinzip Teile und herrsche arbeitet.
Neu!!: Deklarative Programmierung und Quicksort · Mehr sehen »
Referenzielle Transparenz
Die referenzielle Transparenz besagt, dass ein Ausdruck mit seinem Wert ersetzt werden kann, ohne das Verhalten des Programms zu ändern.
Neu!!: Deklarative Programmierung und Referenzielle Transparenz · Mehr sehen »
Rekursion
Unendlichfache Spiegelung als Beispiel für '''Rekursion''': Die Person sitzt mit vorgehaltenem Spiegel einem größeren Wandspiegel gegenüber. Das jeweils folgende Spiegelbild enthält sich selbst als Teil. Als Rekursion wird ein prinzipiell unendlicher Vorgang, der sich selbst als Teil enthält oder mithilfe von sich selbst definierbar ist, bezeichnet.
Neu!!: Deklarative Programmierung und Rekursion · Mehr sehen »
SQL
SQL (offizielle Aussprache, mitunter auch; auf Deutsch auch häufig die deutsche Aussprache der Buchstaben) ist eine Datenbanksprache zur Definition von Datenstrukturen in relationalen Datenbanken sowie zum Bearbeiten (Einfügen, Verändern, Löschen) und Abfragen von darauf basierenden Datenbeständen.
Neu!!: Deklarative Programmierung und SQL · Mehr sehen »
Synchrone Programmiersprache
Eine synchrone Programmiersprache ist eine Programmiersprache, die sich aufgrund ihres Verhaltens vorwiegend für reaktive Systeme eignet.
Neu!!: Deklarative Programmierung und Synchrone Programmiersprache · Mehr sehen »
Wirkung (Informatik)
In der theoretischen Informatik bezeichnet eine (spezifizierte) Wirkung die Veränderung des Zustands, in dem sich eine abstrakte Maschine befindet.
Neu!!: Deklarative Programmierung und Wirkung (Informatik) · Mehr sehen »
XSL Transformation
XSL Transformation, kurz XSLT, ist eine Programmiersprache zur Transformation von XML-Dokumenten.
Neu!!: Deklarative Programmierung und XSL Transformation · Mehr sehen »
Leitet hier um:
Deklarative Programmiersprache, Deklarative Sprache.
