25 search results - page 1 / 5 » HEX Programs with Action Atoms |
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
ADAEUROPE
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...
POPL
2009
ACM
14 years 5 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...
BMCBI
2011
12 years 11 months ago
2011
Background: Atomic Solvation Parameters (ASP) model has been proven to be a very successful method of calculating the binding free energy of protein complexes. This suggests that ...