5451 search results - page 129 / 1091 » Typed Operational Semantics |
182
click to vote
TLCA
2009
Springer
16 years 20 days ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
123
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
169
click to vote
OOPSLA
2007
Springer
16 years 8 days ago
2007
Springer
Dependent Classes Vaidas Gasiunas and Mira Mezini Technische Universit¨at Darmstadt, Germany Abstract. Dependent classes are parameterized classes, the interface and implementatio...
190
click to vote
XMLSEC
2003
ACM
15 years 11 months ago
2003
ACM
As a large quantity of information is presented in XML format on the Web, there are increasing demands for XML security. Until now, research on XML security has been focused on th...
147
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...