Abstract Title of program: PEAK2 Catalogue number: ABML Program obtainable from: CPC Program Library, Queen's University of Belfast, Northern Ireland (see application form in this issue) Computer: IBM
Abstract auto_deriv is a module comprised of a set of fortran 95 procedures which can be used to calculate the first and second partial derivatives (mixed or not) of any continuous function with man
This is the replication package for the ICSE 2026 paper:PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates(https://doi.org/10.1145/3744916.3773159)
