Schneller Zugriff als Browser!
20 Beziehungen: Auswertung (Informatik), Funktionale Programmierung, Garbage Collection, Gérard Huet, Gert Smolka, Haskell (Programmiersprache), Imperative Programmierung, Institut national de recherche en informatique et en automatique, Lazy Evaluation, Maschinengestütztes Beweisen, Objective CAML, Objektorientierte Programmierung, Pattern Matching, Polymorphie (Programmierung), Robin Milner, Standard ML, Standard ML of New Jersey, Typisierung (Informatik), University of Edinburgh, 1973.
Auswertung (Informatik)
Auswertung (engl. evaluation als Beschreibung, Analyse und Bewertung) bezeichnet in der Informatik den Vorgang, der einem Ausdruck (eventuell in einem gegebenen Kontext von Variablenbindungen) einen Wert zuordnet.
Neu!!: ML (Programmiersprache) und Auswertung (Informatik) · 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!!: ML (Programmiersprache) und Funktionale Programmierung · Mehr sehen »
Garbage Collection
Objekten (mit Farben dargestellt) gefüllt, von denen einige auch wieder zerstört werden und Lücken im Speicherbereich hinterlassen. Wenn (wie in diesem Beispiel) nicht mehr genug freier Speicherplatz „am Ende“ verfügbar ist oder wenn die automatische Speicherbereinigung entscheidet, wird der Speicher „komprimiert“, wobei alle noch verwendeten Objekte an den Beginn platziert und am Ende alle Speicherlücken konsolidiert werden. Dadurch wird wieder ein großer Speicherbereich für die zukünftige Erstellung von Objekten verfügbar. Die Garbage Collection, kurz GC (für Müllabfuhr, auch automatische Speicherbereinigung oder Freispeichersammlung genannt) bezeichnet in der Software- und Informationstechnik eine automatische Speicherverwaltung, die zur Vermeidung von Speicherproblemen beiträgt; der Vorteil wird mit einem erhöhten Ressourcenverbrauch erkauft.
Neu!!: ML (Programmiersprache) und Garbage Collection · Mehr sehen »
Gérard Huet
Gérard Huet (* 7. Juli 1947 in Bourges) ist ein französischer Informatiker.
Neu!!: ML (Programmiersprache) und Gérard Huet · Mehr sehen »
Gert Smolka
Gert Smolka (* 5. Januar 1955 in Mannheim) ist ein deutscher Informatiker.
Neu!!: ML (Programmiersprache) und Gert Smolka · 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!!: ML (Programmiersprache) 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!!: ML (Programmiersprache) und Imperative Programmierung · Mehr sehen »
Institut national de recherche en informatique et en automatique
Institut national de recherche en informatique et en automatique (INRIA) ist eine staatliche französische Forschungseinrichtung mit technologischem und wissenschaftlichem Charakter.
Neu!!: ML (Programmiersprache) und Institut national de recherche en informatique et en automatique · Mehr sehen »
Lazy Evaluation
Lazy Evaluation (bequeme Auswertung) bezeichnet in der Informatik eine Art der Auswertung von Ausdrücken, bei der das Ergebnis des auszuwertenden Ausdrucks nur so weit berechnet wird, wie es gerade benötigt wird.
Neu!!: ML (Programmiersprache) und Lazy Evaluation · Mehr sehen »
Maschinengestütztes Beweisen
Maschinengestütztes Beweisen (oder missverständlicher: automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung von Computerprogrammen zur Erzeugung und Überprüfung von mathematischen Beweisen logischer Theoreme.
Neu!!: ML (Programmiersprache) und Maschinengestütztes Beweisen · Mehr sehen »
Objective CAML
OCaml ist eine auf der ML-Sprachfamilie basierende Programmiersprache.
Neu!!: ML (Programmiersprache) und Objective CAML · Mehr sehen »
Objektorientierte Programmierung
Die objektorientierte Programmierung (kurz OOP) ist ein auf dem Konzept der Objektorientierung basierendes Programmierparadigma.
Neu!!: ML (Programmiersprache) und Objektorientierte Programmierung · Mehr sehen »
Pattern Matching
Pattern Matching (englisch für Musterabgleich) oder musterbasierte Suche ist ein Begriff für symbolverarbeitende Verfahren, die anhand eines vorgegebenen Musters diskrete Strukturen oder Teilmengen einer diskreten Struktur identifizieren.
Neu!!: ML (Programmiersprache) und Pattern Matching · Mehr sehen »
Polymorphie (Programmierung)
Polymorphie oder Polymorphismus (für Vielgestaltigkeit) ist ein Konzept in der objektorientierten Programmierung, das ermöglicht, dass ein Bezeichner abhängig von seiner Verwendung Objekte unterschiedlichen Datentyps annimmt.
Neu!!: ML (Programmiersprache) und Polymorphie (Programmierung) · Mehr sehen »
Robin Milner
Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in Yealmpton bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger.
Neu!!: ML (Programmiersprache) und Robin Milner · Mehr sehen »
Standard ML
Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO).
Neu!!: ML (Programmiersprache) und Standard ML · Mehr sehen »
Standard ML of New Jersey
Standard ML of New Jersey, abgekürzt SML/NJ, ist eine frei verfügbare Entwicklungsumgebung mit Compiler für die funktionale Programmiersprache Standard ML '97.
Neu!!: ML (Programmiersprache) und Standard ML of New Jersey · Mehr sehen »
Typisierung (Informatik)
Eine Typisierung dient in der Informatik dazu, dass die Objekte (hier Objekte im mathematisch-abstrakten Sinne verstanden) der Programmiersprachen, wie z. B.
Neu!!: ML (Programmiersprache) und Typisierung (Informatik) · Mehr sehen »
University of Edinburgh
Die University of Edinburgh (Universität Edinburgh) ist ein Forschungs- und Lehrinstitut in Edinburgh.
Neu!!: ML (Programmiersprache) und University of Edinburgh · Mehr sehen »
1973
Im Jahr 1973 bestimmen die erste Ölkrise, die Watergate-Affäre, der Putsch in Chile und der Jom-Kippur-Krieg das Weltgeschehen.
