Source code for the Lilith's single pass Modula-2 compiler (Developers)
> I like the Wirth family of languages a lot. In my opinion, while Oberon is
> the pinnacle of elegant language design, here Wirth took the idea of
> simplification one step too far. If you put a language definition on just
> 17 pages, too many things are undefined or constrained (with Scheme
> Language as exception to this rule ).
https://en.wikipedia.org/wiki/Vienna_Development_Method#Industrial_experience
> VDM has been applied widely in a variety of application domains. The most
> well-known of these applications are:
>
> Ada and CHILL compilers: The first European validated Ada compiler was
> developed by Dansk Datamatik Center using VDM. Likewise the semantics
> of CHILL and Modula-2 were described in their standards using VDM.
Complete thread:
- Source code for the Lilith's single pass Modula-2 compiler - DosWorld, 01.11.2022, 14:54
- Source code for the Lilith's single pass Modula-2 compiler - Rugxulo, 02.11.2022, 01:36
- Source code for the Lilith's single pass Modula-2 compiler - DosWorld, 06.11.2022, 21:27
- Source code for the Lilith's single pass Modula-2 compiler - boeckmann, 06.11.2022, 21:49
- Source code for the Lilith's single pass Modula-2 compiler - Rugxulo, 11.11.2022, 09:07
- GM2 merged into GCC 13 - Rugxulo, 27.12.2022, 08:55
- GCC 13.1 released (with Modula-2 support) - Rugxulo, 27.04.2023, 06:37
- GCC 13.1 released (with Modula-2 support) - DosWorld, 27.04.2023, 17:27
- GCC 13.1 released (with Modula-2 support) - glennmcc, 27.04.2023, 18:38
- GCC 13.1 released (with Modula-2 support) - DosWorld, 28.04.2023, 20:40
- GCC 13.1 released (with Modula-2 support) - Rugxulo, 28.04.2023, 04:53
- GCC 13.1 released (with Modula-2 support) - glennmcc, 27.04.2023, 18:38
- GCC 13.2 released (with Modula-2 support) - Rugxulo, 27.07.2023, 22:56
- GCC 13.2 released (with Modula-2 support) - Rugxulo, 15.09.2023, 05:53
- GCC 13.2 released (with Modula-2 support) - DosWorld, 15.11.2023, 13:50
- GCC 13.2 released (with Modula-2 support) - Rugxulo, 20.11.2023, 08:53
- compiler optimizations and algorithmic efficiency - Rugxulo, 05.03.2024, 06:29
- comparison of Pascal (P4 subset) bytecode compiler - Rugxulo, 29.04.2024, 05:42
- GCC 13.2 released (with Modula-2 support) - Rugxulo, 20.11.2023, 08:53
- GCC 13.2 released (with Modula-2 support) - DosWorld, 15.11.2023, 13:50
- GCC 13.2 released (with Modula-2 support) - Rugxulo, 15.09.2023, 05:53
- GCC 13.1 released (with Modula-2 support) - DosWorld, 27.04.2023, 17:27
- GCC 13.1 released (with Modula-2 support) - Rugxulo, 27.04.2023, 06:37
- Source code for the Lilith's single pass Modula-2 compiler - FredJScipione, 05.11.2022, 05:19
- Source code for the Lilith's single pass Modula-2 compiler - Rugxulo, 05.11.2022, 06:57
- Source code for the Lilith's single pass Modula-2 compiler - DosWorld, 06.11.2022, 21:10
- Source code for the Lilith's single pass Modula-2 compiler - rr, 06.11.2022, 21:25
- Source code for the Lilith's single pass Modula-2 compiler - DosWorld, 06.11.2022, 21:28
- Source code for the Lilith's single pass Modula-2 compiler - FredJScipione, 11.11.2022, 00:22
- Source code for the Lilith's single pass Modula-2 compiler - rr, 06.11.2022, 21:25
- Source code for the Lilith's single pass Modula-2 compiler - Rugxulo, 02.11.2022, 01:36