1917 search results - page 101 / 384 » The York Abstract Machine |
128
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
101
click to vote
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
111
click to vote
EMISA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract: Success of IT security not only depends on the evolution of technologies, but also relies on the knowledge of IT-Personnel and the level of their IT-security education. I...
PPOPP
1993
ACM
15 years 4 months ago
1993
ACM
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
112
click to vote
ASM
2005
ASM
15 years 5 months ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...