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  15146 reads

Browse archives
Active forum topics 
Recent comments
1 hour 6 min ago
11 hours 26 min ago
3 days 8 hours ago
4 days 5 hours ago
2 weeks 22 hours ago
2 weeks 23 hours ago
2 weeks 23 hours ago
2 weeks 1 day ago
2 weeks 1 day ago
3 weeks 4 hours ago