2696 search results - page 420 / 540 » Semantic Abstraction and Anaphora |
266
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
203
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
162
click to vote
PEPM
2007
ACM
16 years 13 days ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
237
click to vote
PSSE
2004
Springer
15 years 11 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
169
click to vote
VIZSEC
2004
Springer
15 years 11 months ago
2004
Springer
We describe a framework for managing network attack graph complexity through interactive visualization, which includes hierarchical aggregation of graph elements. Aggregation coll...