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 | 8047 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 | 10206 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
21 weeks 4 days ago
21 weeks 5 days ago
21 weeks 5 days ago
43 weeks 6 days ago
48 weeks 1 day ago
49 weeks 5 days ago
49 weeks 5 days ago
1 year 2 days ago
1 year 4 weeks ago
1 year 4 weeks ago