86 search results - page 15 / 18 » A Default Approach to Semantics of Logic Programs with Const... |
211
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
210
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
266
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
164
Voted
SEMCO
2007
IEEE
16 years 10 days ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
171
Voted
PPDP
2007
Springer
16 years 6 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...