Sciweavers

1937 search results - page 198 / 388
» Adaptation-based programming in java
Sort
View
113
Voted
ESOP
2010
Springer
15 years 10 months ago
Generative Operational Semantics for Relaxed Memory Models
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
Radha Jagadeesan, Corin Pitcher and James Riely
93
Voted
PLDI
2006
ACM
15 years 6 months ago
A microkernel virtual machine: : building security with clear interfaces
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
Xiaoqi Lu, Scott F. Smith
86
Voted
AOSD
2005
ACM
15 years 6 months ago
Mylar: a degree-of-interest model for IDEs
Even when working on a well-modularized software system, programmers tend to spend more time navigating the code than working with it. This phenomenon arises because it is impossi...
Mik Kersten, Gail C. Murphy
90
Voted
ITICSE
2005
ACM
15 years 6 months ago
From objects-first to design-first with multimedia and intelligent tutoring
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
Sally H. Moritz, Fang Wei, Shahida M. Parvez, Glen...
PROCOMET
1998
15 years 2 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino