64 search results - page 12 / 13 » A Survey of Structured and Object-Oriented Software Specific... |
CASES
2004
ACM
13 years 11 months ago
2004
ACM
The tremendous growth of system memories has increased the capacities and capabilities of memory-resident embedded databases, yet current embedded databases need to be tuned in or...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
BMCBI
2008
13 years 7 months ago
2008
Background: The methodologies we use both enable and help define our research. However, as experimental complexity has increased the choice of appropriate methodologies has become...
ICSM
2008
IEEE
14 years 2 months ago
2008
IEEE
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...