User loginNavigation 
Formal Frustration...First off, I should qualify that I'm selftaught, and second that, budget permitting, LtU has been a major source of book purchases over the past few years(TaPL, CTM, EOPL,...). So, I've been working through these books in bit of a cyclical fashion(i.e. coming back to the parts I have no clue about and hoping they make sense this time...), and I avidly download and read papers that people link to from here(understanding them, of course, is entirely different matter). Well, lately, I've developed a DSL for some of my work, and I think its all very innovative and unique, and I thought, "I should try and formalize the type system and semantics for this little language," and then I realized it: I have no clue. I really just don't know what to do to formalize my language. Oh, I think I know the relevant concepts, I just don't know where to start. Is there some book out there that would help with this(okay, I realize I may have already bought/read/skimmed said book, and densely missed the chapter, "How to Formalize Your DSL in 3 Easy Steps"). Forgive me if I just showed me ignorance or laziness, but this is what got me interested in programming language to start with(wanting to write down the formal semantics much the way I can write down the context free grammar), but this skill continue to elude me. Perhaps my attempt to learn PLT by osmosis and waterfall method is not working out so great... By Matt Estes at 20051203 18:21  LtU Forum  previous forum topic  next forum topic  other blogs  7053 reads

Browse archives
Active forum topics 
Recent comments
17 weeks 8 hours ago
17 weeks 11 hours ago
17 weeks 11 hours ago
39 weeks 1 day ago
43 weeks 3 days ago
45 weeks 19 hours ago
45 weeks 19 hours ago
47 weeks 5 days ago
1 year 2 days ago
1 year 2 days ago