Declarative concurrency in Java

由 Ramirez, R., Santosa, A.E.
出版 2013

A framework for separation of concerns in concurrent programming

由 Ramirez, R., Santosa, A.E.
出版 2013

Formal verification of concurrent and distributed constraint-based java programs

由 Ramirez, R., Santosa, A.E.
出版 2013

Recursive abstractions for parameterized systems

由 Jaffar, J., Santosa, A.E.
出版 2013

Relative safety

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Modeling systems in CLP

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

A CLP method for compositional and intermittent predicate abstraction

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Efficient memoization for dynamic programming with ad-hoc constraints

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

An interpolation method for CLP traversal

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

A coinduction rule for entailment of recursively defined properties

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Unbounded symbolic execution for program verification

由 Jaffar, J., Navas, J.A., Santosa, A.E.
出版 2013

TRACER: A symbolic execution tool for verification

由 Jaffar, J., Murali, V., Navas, J.A., Santosa, A.E.
出版 2013

Scalable distributed depth-first search with greedy work stealing

由 Jaffar, J., Santosa, A.E., Yap, R.H.C., Zhu, K.Q.
出版 2013