2859 search results - page 316 / 572 » A Programming Environment for Bousi-Prolog |
179
click to vote
ASSETS
2006
ACM
16 years 19 days ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
205
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
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...
177
click to vote
CODES
2005
IEEE
16 years 8 days ago
2005
IEEE
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...
161
click to vote
SIGCSE
2005
ACM
16 years 6 days ago
2005
ACM
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...
175
click to vote
AADEBUG
2005
Springer
16 years 6 days ago
2005
Springer
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...