2496 search results - page 88 / 500 » Error-detecting properties of languages |
144
click to vote
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
119
click to vote
POPL
1998
ACM
15 years 4 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
CASCON
2006
15 years 2 months ago
2006
Parsing context-dependent computer languages requires an ability to maintain and query data structures while parsing for the purpose of influencing the parse. Parsing ambiguous co...
107
click to vote
ENTCS
2008
15 years 22 days ago
2008
We present a Domain Specific Visual Language (DSVL) for the definition of metrics for other DSVLs. The metrics language has been defined using meta-modelling, and includes some of...
102
click to vote
WWW
2006
ACM
15 years 6 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...