Rubriken
Hauptseite
Nachrichten
Artikel
Kurztipps
Programmnews
Sicherheit
LUGs
Veranstaltungen
Umfragen
Forum
News mitteilen
News-Archiv
Newsletter
Suche
Pro-Linux
DBApp-Menü
Aktuell
Archiv
Melden
Feedback
Veröffentlichungen
Januar 2024
So
Mo
Di
Mi
Do
Fr
Sa
1
2
3
4
5
6
7
8
9
10
11
12
1
3
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
DBApp-Suche
Erweiterte Suche
Application datasets: 21187
Version datasets: 159163
DBApp v1.07
Copyright ©
demon
Programm-Informationen
Applikation:
Whiley
Version(en):
Hauptzweig
0.10.18
Hauptzweig
0.8.0
Hauptzweig
0.7.3
Hauptzweig
0.7.2
Hauptzweig
0.7.1
Hauptzweig
0.7.0
Hauptzweig
0.6.13
Hauptzweig
0.6.12
Hauptzweig
0.6.11
Hauptzweig
0.6.10
Hauptzweig
0.6.8
Hauptzweig
0.6.7
Hauptzweig
0.6.6
Hauptzweig
0.6.5
Hauptzweig
0.6.4
Hauptzweig
0.6.3
Hauptzweig
0.6.2
Hauptzweig
0.6.1
Hauptzweig
0.6.0
Hauptzweig
0.5.9
Hauptzweig
0.5.8
Hauptzweig
0.5.7
Hauptzweig
0.5.6
Hauptzweig
0.5.5
Hauptzweig
0.5.4
Hauptzweig
0.5.2
Hauptzweig
0.5.1
Hauptzweig
0.5.0
Hauptzweig
0.4.17
Hauptzweig
0.4.16
Hauptzweig
0.4.13
Hauptzweig
0.4.12
Hauptzweig
0.4.11
Hauptzweig
0.4.10
Hauptzweig
0.4.9
Hauptzweig
0.4.8
Hauptzweig
0.4.7
Hauptzweig
0.4.6
Hauptzweig
0.4.5
Hauptzweig
0.4.4
Hauptzweig
0.4.3
Hauptzweig
0.4.1
Hauptzweig
0.4.0
Hauptzweig
0.4.0-prerelease
Hauptzweig
0.3.40
Hauptzweig
0.3.39
Hauptzweig
0.3.38
Hauptzweig
0.3.36
Hauptzweig
0.3.31
Lizenz:
BSD-Lizenz (Dreiklausel)
Homepage:
http://whiley.org/
Kategorie:
Konsole
Beschreibung:
Whiley ist eine Programmiersprache mit Verfeinerungstypen, erweiterten statischen Prüfungen und einer auf Einrückungen beruhenden Syntax. Sie wird in Java-Bytecode übersetzt und läuft mit ihrer Laufzeitumgebung unter einer Java-VM. Das macht es möglich, existierende Java-Bibliotheken zu verwenden. Das SDK enthält einen Compiler, Dokumentation, ein Plugin-Framework, einen Disassembler und ein Eclipse-Plugin.
Neue Beschreibung melden
Whiley ist eine Programmiersprache mit Verfeinerungstypen, erweiterten statischen Prüfungen und einer auf Einrückungen beruhenden Syntax. Sie wird in Java-Bytecode übersetzt und läuft mit ihrer Laufzeitumgebung unter einer Java-VM. Das macht es möglich, existierende Java-Bibliotheken zu verwenden. Das SDK enthält einen Compiler, Dokumentation, ein Plugin-Framework, einen Disassembler und ein Eclipse-Plugin.