5090 search results - page 305 / 1018 » Constructing Strategies for Programming |
129
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
130
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
143
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...
124
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
157
click to vote
IUI
2000
ACM
15 years 9 months ago
2000
ACM
NaturalJava is a prototype for an intelligent natural-languagebased user interface for creating, modifying, and examining Java programs. The interface exploits three subsystems. T...