SafeTSA : A type safe and referentially secure mobile-code representation based on static single assignment form

Saved in:
Bibliographic Details
Main Authors: AMME, Wolfram, DALTON, Niall, VON RONNE, Jeffery, FRANZ, Michael
Format: Conference Proceeding
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Language theory and syntactical analysis
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1523-2867