User loginNavigation 
Formal semantics for working programmersSince DSL (Domain Specific Language) is almost an everyday topic for many programmers, I wonder how should a working programmer proceed to define and acturally use a formal semantics for her DSL? I do not mean a group of equations in LaTeX, but an effective method to help to reason about the programs within reasonable constraints for common projects. (Or, is there even bigger advantage to be taken?) To be specific, I was wondering if coq and isabelle and nusmv alike are usable for common projects? Is the cost (exclude the cost of learning) too high? And why? Thank you! By C G at 20050819 23:05  LtU Forum  previous forum topic  next forum topic  other blogs  8357 reads

Browse archivesActive forum topics
New forum topics

Recent comments
2 days 16 hours ago
4 days 11 hours ago
2 weeks 1 day ago
3 weeks 17 hours ago
4 weeks 14 hours ago
5 weeks 5 days ago
6 weeks 1 day ago
7 weeks 2 days ago
7 weeks 5 days ago
7 weeks 6 days ago