950 search results - page 65 / 190 » Machine semantics |
113
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
151
click to vote
ICCSA
2005
Springer
15 years 10 months ago
2005
Springer
With the increasing amount of biomedical literature, there is a need for automatic extraction of information to support biomedical researchers. Due to incomplete biomedical informa...
138
click to vote
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
We introduce visual graphs as an intermediate repren between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and som...
149
click to vote
VL
1994
IEEE
15 years 8 months ago
1994
IEEE
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...
127
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...