5451 search results - page 533 / 1091 » Typed Operational Semantics |
203
Voted
ICALP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
189
Voted
ICDCIT
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
165
Voted
UML
2005
Springer
16 years 10 days ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
165
click to vote
BIRTHDAY
2004
Springer
16 years 8 days ago
2004
Springer
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
176
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...