User loginNavigation 
Questions about Semantics.Okay, I'm doing a self study in techniques for defining the semantics of programming languages. I have found this book( Syntax and Semantics of Programming Languages ) which seems pretty comprehensive. In particular, I was interested if there were any formalisms besides those in the book(Operational, Denotational, Domain Theory, Axiomatic, Algebraic, etc.). I was also interested in people's opinions about the strengths and weaknesses of these formalisms, and if any of them are more popular, or considered "obsolete". Also, since I'm interested in parsing as well, I was wondering how the use of grammar formalisms to define semantics(such as Attribute Grammars, Affix Grammars, Wijngaarden grammars) is seen in comparison to these formalisms. I guess, this paper(ACM Digital Library membership required) is a good example of one way of using a grammar to define semantics. Is it considered antiquated to use grammar formalisms to do this, or is it simply not popular? By Matt Estes at 20040921 09:48  LtU Forum  previous forum topic  next forum topic  other blogs  15512 reads

Browse archivesActive forum topics
New forum topics

Recent comments
1 day 19 hours ago
3 days 14 hours ago
2 weeks 15 hours ago
2 weeks 6 days ago
3 weeks 6 days ago
5 weeks 4 days ago
6 weeks 19 hours ago
7 weeks 1 day ago
7 weeks 4 days ago
7 weeks 5 days ago