| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMSL/ProgLangSL/ (Beweissystem Isabelle Version 2025-1©) Datei vom 13.4.2020 mit Größe 454 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: Bernhard K. Aichernig and Andreas Kerschbaumer
This example is made by Bernhard K. Aichernig and Andreas Kerschbaumer and it contains a VDM model for a Static and Dynamic Semantics of a Simple Programming Language. The example has been an assignment in the exercises of the software technology course at the Technical University Graz, Austria. Language Version: vdm10 Entry point : Test`RunTypeCheck() Entry point : Test`RunEval() ¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28