2236 search results - page 12 / 448 » Language Independence and Language Tolerance in Logic Progra... |
114
click to vote
PARLE
1992
15 years 8 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
138
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
