5 ilişkiler: Derleyici, Matematiksel ispat, ML, OCaml, Yorumlayıcı.
Derleyici
Programcılıkta, bir programlama dilinde yazılmış olan kaynak kodunu başka bir dile (genellikle makine koduna) çeviren yazılım.
Yeni!!: Standart ML ve Derleyici · Daha fazla Gör »
Matematiksel ispat
Matematikte tanıt (belgit, ispat), ilgilenilen bir önermenin, belirli aksiyomlar esas alınarak, doğru olduğunu gösterme yöntemidir.
Yeni!!: Standart ML ve Matematiksel ispat · Daha fazla Gör »
ML
ML ya da ml şu anlamlara gelebilir.
Yeni!!: Standart ML ve ML · Daha fazla Gör »
OCaml
Ocaml, Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumu'nda (INRIA) Xavier Leroy tarafından geliştirilen, ücretsiz ve özgür bir lisans altında sunulan, ML programlama dilleri ailesine mensup, hem yorumlanan hem de derlenip doğal makine koduna dönüştürülebilen gelişmiş bir fonksiyonel programlama dilidir.
Yeni!!: Standart ML ve OCaml · Daha fazla Gör »
Yorumlayıcı
Yorumlayıcı (İngilizce: interpreter), yazılımı kısım kısım ele alarak doğrudan çalıştırır.
Yeni!!: Standart ML ve Yorumlayıcı · Daha fazla Gör »