User loginNavigation |
archivesSemantic Design with SEDELAI'm working on specifying a language for specifying program design, or 'semantic design', called SEDELA. 'Semantic design' is a program design tool inspired by Conal Elliott's 'denotional design' as presented in "Denotational Design: From Meaning to Programs" here - Currently, I have specified a rough outline of the syntax and semantics here - I am thinking very seriously about writing a parser, type-checker, and a Visual Studio Code editing plug-in for SEDELA. But first, I want to get the community's feedback on the current specification as well as the idea in general. Thank you all once again for any assistance provided in these endeavors! By bryanedds at 2018-08-18 23:56 | LtU Forum | login or register to post comments | other blogs | 2664 reads
|
Browse archivesActive forum topics |
Recent comments
1 week 4 days ago
1 week 4 days ago
1 week 4 days ago
23 weeks 6 days ago
28 weeks 22 hours ago
29 weeks 5 days ago
29 weeks 5 days ago
32 weeks 2 days ago
37 weeks 8 hours ago
37 weeks 10 hours ago