2496 search results - page 146 / 500 » Error-detecting properties of languages |
102
click to vote
LICS
1996
IEEE
15 years 5 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
106
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
In the extensive usage of ontologies envisaged by the Semantic Web there is a compelling need for expressing mappings between the components of heterogeneous ontologies. These mapp...
150
Voted
SEBD
2003
15 years 2 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
AIME
2007
Springer
15 years 7 months ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...