User loginNavigation |
archivesThe SPIN model checker and PromelaI just happened to notice that the 13th International SPIN Workshop is coming up. While model checking is kind of off topic, it made me think about SPIN's model checking language Promela. From the Promela Reference manual: The language allows for the dynamic creation of concurrent processes. Communication via message channels can be defined to be synchronous (i.e., rendez-vous), or asynchronous (i.e., buffered) Gerard J. Holzmann's excellent book: The SPIN Model Checker has a complete reference to this interesting C-like language with CSP influenced extensions. By Todd Coram at 2006-02-16 01:04 | LtU Forum | login or register to post comments | other blogs | 8051 reads
Debug-Edit-Compile cycleWhat is known about the constraints of the Debug-Edit-Compile cycles that enable to modify and reload source code within a running debug session for several languages? Is there any research about this topic or is it plain arcane practical knowledge of compiler/runtime authors? Fission for Program ComprehensionJeremy Gibbons (2006). Fission for Program Comprehension. Submitted for publication.
The paper works through the examples meticulously and highlights their recursion schemes. The claim is that the three different wordcount programs might all have arisen from the same high-level design, namely the composition The more audacious claim is that [i]f one accepts the claim that design patterns in object-oriented programming correspond to recursion patterns in generic functional programming, then this is further support for Johnson’s slogan that ‘patterns document architectures’. By Ehud Lamm at 2006-02-16 15:07 | Functional | Software Engineering | 7 comments | other blogs | 10216 reads
The C Family of Languages: Interview with Dennis Ritchie, Bjarne Stroustrup, and James GoslingHerb Sutter's website has an interview with the main inventors of C, C++, and Java. I think they all rightly raise the question of "C family of languages" means but I'm more interested in how the design decisions they discuss. I thought this bit by Gosling was interesting:
Accidental SyntaxMark-Jason Dominus writes about "accidental syntax" in Perl, and wonders if this happens in other languages. I couldn't think of any examples offhand, but I'm sure Common Lisp must have some... |
Browse archivesActive forum topics |
Recent comments
23 weeks 3 hours ago
23 weeks 6 hours ago
23 weeks 6 hours ago
45 weeks 1 day ago
49 weeks 3 days ago
51 weeks 14 hours ago
51 weeks 14 hours ago
1 year 1 week ago
1 year 6 weeks ago
1 year 6 weeks ago