DOS ain't dead

Source code for the Lilith's single pass Modula-2 compiler (Developers)

posted by Rugxulo , Usono, 11.11.2022, 09:07

> 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 (Developers)
  • 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.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
  • 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