861 search results - page 27 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
112
click to vote
HYBRID
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
136
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
244
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
111
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
138
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...