183 search results - page 3 / 37 » Trace Semantics is Fully Abstract |
LICS
1995
IEEE
13 years 9 months ago
1995
IEEE
BIRTHDAY
2007
Springer
14 years 5 days ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
AI
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. A top-down parsing algorithm has been constructed to accommodate any form of ambiguous context-free grammar, augmented with semantic rules with arbitrary attribute depend...
JSW
2007
13 years 5 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
IFIPTCS
2010
13 years 3 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...