2803 search results - page 3 / 561 » A Type System for Prototyping Languages |
ESOP
2004
Springer
13 years 10 months ago
2004
Springer
ESOP
2009
Springer
13 years 8 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
RSP
2008
IEEE
13 years 11 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
TREC
2001
13 years 6 months ago
2001
NGC
2008
Springer
13 years 4 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...