24 Beziehungen: Bootstrapping (Programmierung), BSD-Lizenz, C (Programmiersprache), C−−, Compiler, Freie Software, Funktionale Programmierung, Haskell (Programmiersprache), Haskell Brooks Curry, Lambda-Kalkül, Linker (Computerprogramm), LLVM, Make, Maschinensprache, ML (Programmiersprache), Parser, Programmiersprache, Programming Languages Software Award, Simon Peyton Jones, Starke Typisierung, Typsicherheit, University of Glasgow, Yacc, Zwischencode.
Bootstrapping (Programmierung)
Bootstrapping (auch Ureingabe) bezeichnet in der Programmierung den Prozess, mit einfachen Entwicklungswerkzeugen mächtigere zu programmieren.
Neu!!: Glasgow Haskell Compiler und Bootstrapping (Programmierung) · Mehr sehen »
BSD-Lizenz
BSD-Lizenz bezeichnet eine Gruppe von freizügigen Open-Source-Lizenzen.
Neu!!: Glasgow Haskell Compiler und BSD-Lizenz · 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!!: Glasgow Haskell Compiler und C (Programmiersprache) · Mehr sehen »
C−−
C−− (C minus minus) ist eine sehr C-ähnliche Programmiersprache bzw.
Neu!!: Glasgow Haskell Compiler und C−− · Mehr sehen »
Compiler
Ein Compiler (auch Kompilierer; von ‚zusammentragen‘ bzw. ‚aufhäufen‘) ist ein Computerprogramm, das Quellcodes einer bestimmten Programmiersprache in eine Form übersetzt, die von einem Computer (direkter) ausgeführt werden kann.
Neu!!: Glasgow Haskell Compiler und Compiler · Mehr sehen »
Freie Software
Concept-Map rund um Freie Software Freie Software (freiheitsgewährende Software, oder auch libre software) bezeichnet Software, die die Freiheit von Computernutzern in den Mittelpunkt stellt.
Neu!!: Glasgow Haskell Compiler und Freie Software · 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!!: Glasgow Haskell Compiler und Funktionale Programmierung · 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!!: Glasgow Haskell Compiler und Haskell (Programmiersprache) · Mehr sehen »
Haskell Brooks Curry
Haskell Brooks Curry (* 12. September 1900 in Millis, Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US-amerikanischer Logiker und Mathematiker.
Neu!!: Glasgow Haskell Compiler und Haskell Brooks Curry · Mehr sehen »
Lambda-Kalkül
griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.
Neu!!: Glasgow Haskell Compiler und Lambda-Kalkül · Mehr sehen »
Linker (Computerprogramm)
ausführbaren Dateien (exe) zusammengefügt (gelinkt). Unter einem Linker oder Binder (auch: Bindelader) versteht man ein Computerprogramm, das einzelne Programmmodule zu einem ausführbaren Programm zusammenstellt (verbindet).
Neu!!: Glasgow Haskell Compiler und Linker (Computerprogramm) · Mehr sehen »
LLVM
LLVM (früher Low Level Virtual Machine) ist ein modulares Compiler-System mit einem virtuellen Befehlssatz, einem übergreifend optimierenden Übersetzungskonzept und einer virtuellen Maschine, die einen Hauptprozessor virtualisiert.
Neu!!: Glasgow Haskell Compiler und LLVM · Mehr sehen »
Make
make (für machen, erstellen) ist ein Build-Management-Tool, das Kommandos in Abhängigkeit von Bedingungen ausführt.
Neu!!: Glasgow Haskell Compiler und Make · Mehr sehen »
Maschinensprache
Eine Maschinensprache, wie sie bei Maschinencode bzw.
Neu!!: Glasgow Haskell Compiler und Maschinensprache · Mehr sehen »
ML (Programmiersprache)
Meta Language (ML) beschreibt eine Familie funktionaler Programmiersprachen mit statischer Typisierung, Polymorphie, automatischer Speicherbereinigung und im Allgemeinen strenger Auswertung.
Neu!!: Glasgow Haskell Compiler und ML (Programmiersprache) · Mehr sehen »
Parser
Ein Parser („analysieren“, bzw. „Teil“; im Deutschen gelegentlich auch Zerteiler) ist ein Computerprogramm, das in der Informatik für die Zerlegung und Umwandlung einer Eingabe in ein für die Weiterverarbeitung geeigneteres Format zuständig ist.
Neu!!: Glasgow Haskell Compiler und Parser · Mehr sehen »
Programmiersprache
Quelltext eines Programms in der Programmiersprache C++. Scratch. Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h.
Neu!!: Glasgow Haskell Compiler und Programmiersprache · Mehr sehen »
Programming Languages Software Award
Der Programming Languages Software Award von ACM SIGPLAN wird in der Regel jährlich verliehen für die Entwicklung von Software-Systemen mit Einfluss auf die Forschung zu Programmiersprachen.
Neu!!: Glasgow Haskell Compiler und Programming Languages Software Award · Mehr sehen »
Simon Peyton Jones
Simon Peyton Jones (2016) Simon Peyton Jones (* 18. Januar 1958 in Südafrika) ist ein britischer Informatiker.
Neu!!: Glasgow Haskell Compiler und Simon Peyton Jones · Mehr sehen »
Starke Typisierung
Starke Typisierung, auch strenge Typisierung genannt (beide nur teilweise lehnübersetzt aus dem englischen Ausdruck strong typing), ist ein Prinzip bei der Typisierung von Programmiersprachen.
Neu!!: Glasgow Haskell Compiler und Starke Typisierung · Mehr sehen »
Typsicherheit
Typsicherheit ist ein Begriff aus der Informatik, speziell aus dem Bereich Programmiersprachen.
Neu!!: Glasgow Haskell Compiler und Typsicherheit · Mehr sehen »
University of Glasgow
Eingang Hauptgebäude Hauptgebäude im neugotischen Stil (Blickrichtung Nordost) Luftbild mit charakteristischem Turm des Hauptgebäudes im Hintergrund Die Universität von Glasgow oder Universität Glasgow (englisch University of Glasgow; lateinisch Universitatis Glasguensis) ist eine Forschungsuniversität in staatlicher Trägerschaft.
Neu!!: Glasgow Haskell Compiler und University of Glasgow · Mehr sehen »
Yacc
Yacc ist ein Computerprogramm, welches der Herstellung von Compilern dient.
Neu!!: Glasgow Haskell Compiler und Yacc · Mehr sehen »
Zwischencode
Ein Zwischencode – im weitesten Sinne auch Zwischensprache genannt – ist der Code, der im Verlauf eines Übersetzungsprozesses auf einer Abstraktionsebene zwischen der höheren Ausgangssprache und der in der Regel maschinennahen Zielsprache generiert wird.
Neu!!: Glasgow Haskell Compiler und Zwischencode · Mehr sehen »