153 search results - page 19 / 31 » Motivation for a New Semantics for Vagueness |
WEBDB
2005
Springer
14 years 1 months ago
2005
Springer
We present a new approach to information fusion of web data sources. It is based on peer-to-peer mappings between sources and utilizes correspondences between their instances. Suc...
CF
2010
ACM
14 years 28 days ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
FSTTCS
1999
Springer
14 years 3 days ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
META
1992
13 years 12 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...