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 | 2630 reads
|
Browse archivesActive forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 6 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago