2585 search results - page 435 / 517 » Automating Coherent Logic |
105
click to vote
SEKE
2005
Springer
15 years 6 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
107
click to vote
CADE
2004
Springer
15 years 6 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
DEON
2004
Springer
15 years 6 months ago
2004
Springer
In an organizational context the norms that apply to an agent depend on the roles he holds in the organization. The deontic characterization of structural roles is defined when th...
120
Voted
FLOPS
2004
Springer
15 years 6 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
117
Voted
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...