Sciweavers

4281 search results - page 149 / 857
» How to Disembed a Program
Sort
View
116
Voted
USENIX
1990
15 years 3 months ago
The Evolution of Dbx
Dbx is the standard source-level debugger on most Unix1 workstations. Over the past six years Dbx has grown from a debugger for interpreted Pascal programs to a debugger for compi...
Mark A. Linton
125
Voted
CACM
2010
113views more  CACM 2010»
15 years 2 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
112
Voted
PPL
2008
99views more  PPL 2008»
15 years 2 months ago
A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML
A functional data-parallel language called BSML has been designed for programming Bulk-Synchronous Parallel algorithms. Many sequential algorithms do not have parallel counterpart...
Frédéric Gava
IIE
2007
81views more  IIE 2007»
15 years 2 months ago
Visualize and Open Up
Motivating students of the Nintendo generation for Computer Science can only be achieved by providing them with an exiting and fresh CS1 course. The article describes the experienc...
Michela Pedroni, Till G. Bay
117
Voted
IEE
2000
143views more  IEE 2000»
15 years 2 months ago
Object-oriented preprocessor fit for C++
: C++ retains the ANSI C preprocessor, although its limitations have been widely recognised. We describe FOG, a meta-compiler for a super-set of C++, that provides replacement prep...
Edward D. Willink, Vyacheslav B. Muchnick