1781 search results - page 241 / 357 » Visualizing program execution using user abstractions |
SMALLTALK
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
ECOOPW
2003
Springer
14 years 2 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
CISIS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
DSN
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...