Xamarin Studio.
Eine vollständige IDE, mit der Sie mit nativer APIs mobile Anwendungen in C # erstellen können, um zu del ... ...
2 MB
 | Dafny.Eine ziemlich neue Programmiercodesprache für diese Entwickler Immer auf dem Lookout nach etwas Neuem ... |
| Jetzt downloaden | |
Dafny. Ranking & Zusammenfassung
Anzeige
Dafny. Stichworte
Dafny. Beschreibung
Dafny stellt Entwickler mit einer Programmiersprache neben einem Programmprüfer bereit. Mit Dafny, während Sie Ihr Programm eingeben, stellt der Verifizierer sicher, dass Ihr Code fehlerfrei ist. Dafny selbst zieht mehrere Einflussstücke aus: · Euclid (aus der Denkweise einer Gestaltung einer Sprache, deren Programme überprüft werden sollen) · Eiffel (wie die integrierten Vertragsfunktionen) · Clu (wie seine Iteratoren und Inpiration für die Out-Paramet-Syntax) · Java und C # (wie die Klassen, obwohl Dafny nicht Unterklassen unterstützt) · Ml (wie das Modulsystem und seine Funktionen und induktiven Datentypen, aber DAFNY unterstützt keine Funktionen höherer Ordnung.) · COQ (wie die Fähigkeit, kooperative Datentypen einzubeziehen und induktive und kooperative Beweise schreiben zu können)
Dafny. Zugehörige Software
FPC Crosscompiler Maker.
Ein benutzerfreundliches Entwicklungswerkzeug, das zur Unterstützung von Programmierern zur Erstellung von plattformübergreifenden Compilern für ... ...
1.2 MB
ELA-Plattform
Eine voll ausgestattete IDE- und eine Konsole zur Entwicklungsanwendung mit ELA, einer Programmiersprache mit ... ...
1.3 MB
Kinetetwing-IDE.
Ein funktionsabhängige Software-Dienstprogramm, das allen Entwickler, die nach einem flexiblen ... ...
25.1 MB
Delfinentwickler
Ein benutzerfreundlicher Code-Editor, der so entworfen wurde, dass Benutzer Code für das Web schneller, wi ... ...
7.2 MB