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
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
DBApp-Suche
Erweiterte Suche
Application datasets: 21176
Version datasets: 159086
DBApp v1.06
Copyright ©
demon
Werbung
Programm-Informationen
Applikation:
Whiley
Version(en):
Hauptzweig
0.10.18
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.
Anmerkungen