2661 search results - page 14 / 533 » A Semantics for Abstraction |
LICS
1993
IEEE
15 years 1 months ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
JOCN
2011
14 years 4 months ago
2011
orrelates of Abstract Verb Processing Javier Rodríguez-Ferreiro1 , Silvia P. Gennari2 , Robert Davies3 , and Fernando Cuetos4 ■ The present study investigated the neural correl...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
LICS
1999
IEEE
15 years 2 months ago
1999
IEEE
Syntax and Variable Binding d Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh op a theory of abstract synt...