820 search results - page 16 / 164 » Action Languages |
JUCS
2007
13 years 8 months ago
2007
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
PLPV
2011
ACM
12 years 11 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...
ESOP
1992
Springer
14 years 12 days ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...