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 | 2715 reads
|
Browse archives
Active forum topics |
Recent comments
16 weeks 8 hours ago
16 weeks 11 hours ago
16 weeks 11 hours ago
38 weeks 1 day ago
42 weeks 3 days ago
44 weeks 19 hours ago
44 weeks 19 hours ago
46 weeks 5 days ago
51 weeks 3 days ago
51 weeks 3 days ago