861 search results - page 62 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
169
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
118
click to vote
SIGDOC
2006
ACM
15 years 9 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
131
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
125
click to vote
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
144
click to vote
POPL
2010
ACM
16 years 14 days ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...