A Formal Model of Procedure Calling Conventions.

Mark W. Bailey Jack W. Davidson

Published in: POPL (1995)

Keyphrases

formal model
formal models
image sequences
security properties
security patterns
neural network
real world
case study
evolutionary algorithm