209 search results - page 27 / 42 » Static Checking of Interrupt-Driven Software |
SIGPLAN
1998
14 years 10 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
105
click to vote
PPDP
2010
Springer
14 years 9 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
SCAM
2008
IEEE
15 years 5 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
APL
1998
ACM
15 years 3 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...
132
click to vote
ISSTA
1991
ACM
15 years 2 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...