852 search results - page 106 / 171 » entcs 2010 |
113
click to vote
ENTCS
2007
15 years 13 days ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
82
Voted
ENTCS
2007
15 years 13 days ago
2007
The need for backward execution in debuggers has been raised a number of times. Backward execution helps a user naturally think backwards and, in turn, easily locate the cause of ...
88
Voted
ENTCS
2007
15 years 13 days ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
74
Voted
ENTCS
2007
15 years 13 days ago
2007
Often debates about pros and cons of various techniques for formalising lambda-calculi rely on subjective arguments, such as de Bruijn indices are hard to read for humans or nomin...
ENTCS
2007
15 years 13 days ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...