User loginNavigation |
Semantic 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 | previous forum topic | next forum topic | other blogs | 2743 reads
|
Browse archives
Active forum topics |
Recent comments
27 weeks 2 days ago
27 weeks 3 days ago
27 weeks 3 days ago
49 weeks 4 days ago
1 year 1 week ago
1 year 3 weeks ago
1 year 3 weeks ago
1 year 6 weeks ago
1 year 10 weeks ago
1 year 10 weeks ago