108 search results - page 10 / 22 » Enforcing structural regularities in software using IntensiV... |
HT
2007
ACM
13 years 11 months ago
2007
ACM
In the modern Web, users are accessing their favourite Web applications from any place, at any time and with any device. In this setting, they expect the application to user-tailo...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Researchers in Web engineering have regularly noted that existing Web application development environments provide little support for managing the evolution of Web applications. K...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
MICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
MSR
2006
ACM
14 years 1 months ago
2006
ACM
Similarity analysis of source code is helpful during development to provide, for instance, better support for code reuse. Consider a development environment that analyzes code whi...