Towards a Formal Semantics-Based Technique for Interprocedural Slicing.

Irina Mariuca Asavoae Mihail Asavoae Adrián Riesco

Published in: IFM (2014)

Keyphrases

formal specification
decision making
formal methods
objective function
artificial neural networks
trade off
data model
description logics
formal model
formal analysis
mathematical theory