2303 search results - page 64 / 461 » The Cryptographic Abstract Machine |
99
Voted
IFL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
119
Voted
APCSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
115
Voted
ASM
2005
ASM
15 years 8 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
119
Voted
ASM
2008
ASM
15 years 4 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
130
Voted
ICCD
1993
IEEE
15 years 6 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...