Dminor-0.1
Lizenz:Freeware
Downloads insgesamt:27
Die neueste Version:0.1
Produktbeschreibung
Die Dminor-0.1 Version 0.1 steht Ihnen als kostenloser Download in unserem Software-Portal zur Verfügung. Unsere Antiviren-Analyse hat ergeben, dass dieser Download frei von Schadsoftware ist. Dminor-0.1 ist in die Kategorie "Bildung und Wissenschaft" eingeordnet. Der eigentliche Entwickler dieser kostenlosen Software ist Microsoft Research. Die unter den Benutzerinnen und Benutzern dieses Programms beliebteste Version ist 0.1.
Vom Entwickler:
Dminor is a first-order functional language with the novel combination of the ideas of refinement type and type-test. It can express a rich variety of typing idioms and has a novel type-checking algorithm able to eliminate many dynamic tests and to detect many errors statically. The type checker uses an SMT Solver to compute subtyping efficiently.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Free Language Translator oder Ultimate Auto Typer informieren, die an Dminor-0.1 ähnlich sein können.
Kommentare
Den Kommentarverlauf abonnierenBitte hinterlasst einen Kommentar und begründent eure Wahl.