1210 search results - page 46 / 242 » Formal Techniques for Java Programs |
118
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
104
click to vote
ML
2007
ACM
15 years 1 months ago
2007
ACM
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
122
click to vote
TCS
2008
15 years 2 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
116
Voted
SP
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an experimental study showing that soft memory errors can lead to serious security vulnerabilities in Java and .NET virtual machines, or in any system that relies on ty...
117
click to vote
WSC
2008
15 years 4 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...