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

Browse archivesActive forum topics 
Recent comments
4 hours 17 min ago
20 hours 2 min ago
20 hours 17 min ago
20 hours 28 min ago
21 hours 2 min ago
21 hours 21 min ago
22 hours 52 min ago
1 day 21 hours ago
2 days 4 hours ago
2 days 14 hours ago