Taula de continguts
15 les relacions: ATS (llenguatge de programació), C++, Cyclone, Estratègia d'avaluació, Gasometria arterial, Haskell, LML, ML Estàndard, OCaml, Premi Turing, Recollida de memòria brossa, Robin Milner, Sobrecàrrega de l'operador, The All-Species Living Tree, Yacc.
ATS (llenguatge de programació)
ATS (Applied Type System) és un llenguatge de programació dissenyat per Hongwei Xi a la Universitat de Boston que incorpora "Tipus dependents de valors" i altres sistemes de tipus avançats així com construccions per assegurar la correcta finalització de les funcions entre les quals hi ha anotacions de mètrica i un sistema de proposicions i proves (predicats).
Veure ML і ATS (llenguatge de programació)
C++
C++ és un llenguatge de programació que fou creat, com el seu predecessor C, als laboratoris Bell (no confondre amb Graham Bell) de AT&T.
Veure ML і C++
Cyclone
El Cyclone és un llenguatge de programació derivat del llenguatge C creat per tal de superar les vulnerabilitats d'aquest sense perdre la potència i el control dels recursos que el caracteritzen per a la programació de sistemes.
Veure ML і Cyclone
Estratègia d'avaluació
En un llenguatge de programació, una estratègia d'avaluació és un conjunt de regles per avaluar expressions.
Veure ML і Estratègia d'avaluació
Gasometria arterial
En medicina, la gasometria arterial fa referència a una tècnica de monitoratge respiratòria invasiva que permet, mitjançant una mostra de sang arterial, determinar-ne el pH i les pressions parcials d'oxigen i diòxid de carboni.
Veure ML і Gasometria arterial
Haskell
Haskell és un llenguatge de programació funcional estandarditzat de semàntica no estricta i avaluació tardana de les expressions (ang: lazy evaluation) en el moment que se'n demana el valor i pren el nom del matemàtic Haskell Curry.
Veure ML і Haskell
LML
* Liceu Michel Lucius, centre d'educació secundària de Luxemburg.
Veure ML і LML
ML Estàndard
LML Estàndard, conegut per les sigles SML, de l'anglès Standard ML, és un llenguatge de programació funcional per a aplicacions de tota mena, amb comprovació de tipus en temps de compilació, i inferència de tipus.
Veure ML і ML Estàndard
OCaml
OCaml, anteriorment denominat Objective Caml és un llenguatge de programació de la família ML, extensió i versió actual del llenguatge de programació Caml, acrònim de "Categorical Abstract Machine Language", creat per Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy i altres el 1996, amb construccions d'Orientació a Objectes, successora de l'extensió anterior del mateix llenguatge anomenada Caml Light.
Veure ML і OCaml
Premi Turing
El Premi Turing és considerat per molts com el Premi Nobel de la Informàtica.
Veure ML і Premi Turing
Recollida de memòria brossa
En informàtica, la recollida de memòria brossa o recollida d'escombraries (de l'anglès, garbage collection) és un mecanisme implícit de gestió de memòria implementat en alguns compiladors i intèrprets de llenguatges de programació.
Veure ML і Recollida de memòria brossa
Robin Milner
Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing.
Veure ML і Robin Milner
Sobrecàrrega de l'operador
En programació d'ordinadors, la sobrecàrrega d'operadors, de vegades anomenada polimorfisme ad hoc d'operadors, és un cas específic de polimorfisme, on diferents operadors tenen diferents implementacions depenent dels seus arguments.
Veure ML і Sobrecàrrega de l'operador
The All-Species Living Tree
El projecte 'The All-Species Living Tree' Project és una col·laboració entre diversos grups/instituts acadèmics, com ARB, SILVA i LPSN, amb la finalitat de realitzar una base de dades de seqüències d'ARNr 16S de totes les espècies conegudes d'eubacteris i arqueobacteris.
Veure ML і The All-Species Living Tree
Yacc
Yacc és un programa informàtic per a generar analitzadors sintàctics.
Veure ML і Yacc