User loginNavigation |
archivesSurvey of delay constructs in logic/constraint PLs?Happy New Year! I just found that I am again reinventing a wheel, this time it is Is there a survey of these mechanizms out there, or the only way to learn the differences between them is to read the manuals of all these PLs? Any help is appreciated. Question About Computational ComplexityDear LtU, My google search didn't answer my doubts so I am posting here my question. When we see a program, especially in imperative languages, we are often very fast in determining his computational complexity. Other times the same job is very hard. This system should make clear the informal steps we use every days in determining the complexity of a function (especially in imp. languages). I don't know if Hoare Logic can be directly used to this purposed. Maybe it's possible and we don't need a different formal system. Thanks for any help. Matteo Lambda The Ultimate comes to SecondLifeBrief Announcement: Secondlife(.com) now has an LTU-equivalent discussion group "Lambda The Ultimate" Notes on category theory and the pi calculusHi, I just spent the last semester learning about category theory and concurrency , and I'm still confused by the whole thing. But I put together my notes in an effort to practice my writing and straighten out some of my thinking, so I figured I'd post them here to see if they'd interest anyone. By stevechy at 2007-01-02 22:59 | LtU Forum | login or register to post comments | other blogs | 5765 reads
|
Browse archivesActive forum topics |
Recent comments
28 weeks 1 day ago
28 weeks 1 day ago
28 weeks 1 day ago
50 weeks 2 days ago
1 year 2 weeks ago
1 year 4 weeks ago
1 year 4 weeks ago
1 year 6 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago