Sciweavers

393 search results - page 13 / 79
» Abstract Interpretation of Probabilistic Semantics
Sort
View
ENTCS
2006
142views more  ENTCS 2006»
13 years 7 months ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
José Meseguer, Grigore Rosu
FSTTCS
2005
Springer
14 years 1 months ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...
CIE
2008
Springer
13 years 9 months ago
Interpreting Localized Computational Effects Using Operators of Higher Type
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
John Longley
DALT
2004
Springer
14 years 1 months ago
The Semantics of MALLET-An Agent Teamwork Encoding Language
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...
Xiaocong Fan, John Yen, Michael S. Miller, Richard...
AIMSA
2008
Springer
14 years 2 months ago
Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study
Abstract. The paper addresses an important challenge for the automatic processing of English written text: understanding noun compounds’ semantics. Following Downing (1977) [1], ...
Preslav Nakov