180 search results - page 24 / 36 » Reversible Computation and Reversible Programming Languages |
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
— We discuss the challenges involved in adapting the OntoSem natural language processing system to the Web. One set of tasks involves processing Web documents, translating their ...
VVS
1998
IEEE
14 years 6 days ago
1998
IEEE
In this paper, we describe a technique to animate volumes using a volumetric skeleton. The skeleton is computed from the actual volume, based on a reversible thinning procedure us...
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...