2236 search results - page 116 / 448 » Language Independence and Language Tolerance in Logic Progra... |
196
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
278
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
148
click to vote
REX
1989
15 years 10 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
178
click to vote
CONTEXT
2007
Springer
16 years 17 days ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
199
click to vote
AOSD
2006
ACM
16 years 11 days ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...