User loginNavigation |
Designing a languge — what theory is a must?Let's suppose I am designing a simple programming language (imperative, statically typed, C-inspired), trying to integrate into it various ideas I like and hoping to be able to combine them into something nice. I think I can implement the language (e.g. write the compiler), but I want my language to have at least some theoretical backing — I want to know that the semantics are sound, according to some definition of soundness. I do not want to dig too hard into formal PL theory — I merely want to be able to convince myself that the design is sane.
Sorry if these questions are a bit too broad — without dedicated PL design education it is unclear for me where should I start. I will appreciate greatly if someone can try to answer these in simple terms, if possible. By pgregory at 2011-12-08 15:45 | LtU Forum | previous forum topic | next forum topic | other blogs | 12136 reads
|
Browse archivesActive forum topics
|
Recent comments
1 week 3 days ago
2 weeks 1 day ago
2 weeks 2 days ago
2 weeks 2 days ago
3 weeks 14 hours ago
3 weeks 3 days ago
3 weeks 3 days ago
3 weeks 3 days ago
4 weeks 5 days ago
5 weeks 7 hours ago