Q2764059
type: Item
instance of: scholarly article
zbMATH Open document ID: 0977.68606
publication date: 2002-01-22T00:00:00Z
full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2027/20270003
Mathematics Subject Classification ID: 68U99
Mathematics Subject Classification ID: 68N20
zbMATH DE Number: 1693485
MaRDI profile type: Publication
Recommended article: A Formally-Verified Alias Analysis
Recommended article: Q2722072
Recommended article: On an equivalence checking technique for algebraic models of programs
Recommended article: Q4737589
Recommended article: Generating model checkers from algebraic specifications
Recommended article: Transformational derivation of an improved alias analysis algorithm
author: Q6770152
author: Pierluigi San Pietro
description: scientific article; zbMATH DE number 1693485