Type Checking Cryptography Implementations.

Manuel Barbosa Andrew Moss Dan Page Nuno F. Rodrigues Paulo F. Silva

Published in: FSEN (2011)

Keyphrases

type checking
data types
database query languages
query processor
efficient implementation
abstract data types
object model
relational calculus
viewpoint
database
query processing