Sciweavers

2977 search results - page 351 / 596
» Programming Environments for Novices
Sort
View
PLDI
2006
ACM
15 years 8 months ago
Specifying distributed trust management in LolliMon
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
Jeff Polakow, Christian Skalka
CODES
2005
IEEE
15 years 8 months ago
Dynamic phase analysis for cycle-close trace generation
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
Cristiano Pereira, Jeremy Lau, Brad Calder, Rajesh...
111
Voted
SIGCSE
2005
ACM
113views Education» more  SIGCSE 2005»
15 years 8 months ago
Learning by doing: introducing version control as a way to manage student assignments
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
Karen L. Reid, Gregory V. Wilson
AADEBUG
2005
Springer
15 years 8 months ago
Jockey: a user-space library for record-replay debugging
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
Yasushi Saito
FASE
2005
Springer
15 years 8 months ago
Improving System Understanding via Interactive, Tailorable, Source Code Analysis
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
Vladimir Jakobac, Alexander Egyed, Nenad Medvidovi...