809 search results - page 55 / 162 » Formal Semantics for the Java Modeling Language |
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]. ...
142
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
140
Voted
POPL
2009
ACM
15 years 9 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
140
click to vote
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
148
click to vote
EDOC
2009
IEEE
15 years 6 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...