603 search results - page 32 / 121 » A Formal Operational Semantics for SOFL |
122
Voted
TYPES
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
140
click to vote
JODS
2007
15 years 1 months ago
2007
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
146
Voted
IFIPTCS
2010
14 years 11 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
69
Voted
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
98
Voted
ACL
2001
15 years 3 months ago
2001
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...