1073 search results - page 106 / 215 » Formal Program Development with Approximations |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
SOFTVIS
2010
ACM
13 years 9 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
VLDB
1990
ACM
14 years 1 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
ECOOP
2010
Springer
13 years 11 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...