Sciweavers

10585 search results - page 40 / 2117
» The Orc Programming Language
Sort
View
TOOLS
2009
IEEE
15 years 9 months ago
Flow-Centric, Back-in-Time Debugging
Adrian Lienhard, Julien Fierz, Oscar Nierstrasz
PPDP
2009
Springer
15 years 9 months ago
Making induction manifest in modular ACL2
Carl Eastlund, Matthias Felleisen
ERLANG
2009
ACM
15 years 9 months ago
Recent improvements to the McErlang model checker
Clara Benac Earle, Lars-Åke Fredlund