5343 search results - page 39 / 1069 » Keyword programming in java |
MFCS
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
ITICSE
2003
ACM
14 years 29 days ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
PLDI
2004
ACM
14 years 1 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict ac...
FMICS
2009
Springer
13 years 11 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...