78 search results - page 4 / 16 » A Typed Assembly Language for Confidentiality |
ASIAN
2007
Springer
14 years 2 hour ago
2007
Springer
TOPLAS
2010
13 years 4 months ago
2010
DNA
2009
Springer
13 years 9 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
ICWS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
POPL
2006
ACM
14 years 6 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...