| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMSL/VCParser-masterSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 411 B |
|
Quellcode-Bibliothek README.txt Sprache: Text |
|||||||||
|
Author: Tomohiro Oda
This example is created by Tomohiro Oda and it illustrates how it is possible to use higher-order functions in VDM-SL to create parser elements that can be put together in a compositional fashion. This model can be used as a kind of library that one can play with manipulating strings into a VDM AST representation. Language Version: vdm10 Entry point : MMParser`eval("1+1+4+0") ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.11Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
