zbMath1089.68521MaRDI QIDQ4816998
Alberto Pardo
Publication date: 14 September 2004
zbMATH Keywords
downwards accumulation
Mathematics Subject Classification ID
Theory of programming languages (68N15) General topics in the theory of software (68N01)
Related Items