Thomas Ströder,
Jürgen Giesl,
Marc Brockschmidt,
Florian Frohn,
Carsten Fuhs,
Jera Hensel,
and Peter Schneider-Kamp
Automated Termination Analysis for Programs with Pointer Arithmetic
Niloofar Safiran,
Johannes Lotz,
and Uwe Naumann
Algorithmic Differentiation of Numerical Methods: Second-Order Tangent and Adjoint Solvers for Systems of Parametrized Nonlinear Equations
Thomas Ströder and Terrance Swift (Editors)
Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014