Sign in

A Formal Model of Procedure Calling Conventions.

Mark W. BaileyJack 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