2947 search results - page 164 / 590 » Analyzing Program Analyses |
156
click to vote
CMPB
2000
15 years 6 months ago
2000
A program for action potential waveform analysis based on a PC compatible computer is described. Single or averaged action potentials are analyzed by obtaining its first derivativ...
194
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
150
click to vote
LICS
2009
IEEE
16 years 28 days ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
183
click to vote
CSMR
2008
IEEE
15 years 8 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
293
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...