5451 search results - page 227 / 1091 » Typed Operational Semantics |
145
click to vote
TREC
2001
15 years 5 months ago
2001
Web track results are presented. A software project, IRTools, is described. IRTools is intended to enable information retrieval (IR) experimentation by incorporating methods for m...
104
click to vote
IGPL
2008
15 years 4 months ago
2008
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
133
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...
115
click to vote
JCSS
2000
15 years 4 months ago
2000
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
109
click to vote
IPL
1998
15 years 4 months ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...