Sciweavers

7690 search results - page 157 / 1538
» On the semantics of informational independence
Sort
View
IPPS
1997
IEEE
15 years 10 months ago
Semantics and Implementation of a Generalized forall Statement for Parallel Languages
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...
Paul Dechering, Leo C. Breebaart, Frits Kuijlman, ...
ENTCS
2002
125views more  ENTCS 2002»
15 years 6 months ago
Specification of Logic Programming Languages from Reusable Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
José Emilio Labra Gayo, Juan Manuel Cueva L...
ENTCS
2008
158views more  ENTCS 2008»
15 years 6 months ago
Aspect-Oriented Action Semantics Descriptions
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
Luis Carlos de Sousa Menezes
SEMWEB
2007
Springer
16 years 16 days ago
SemClip - Overcoming the Semantic Gap Between Desktop Applications
When copying and pasting data between applications using the operating system clipboard, the semantics of the transfered information is usually lost. Using Semantic Web technologie...
Gerald Reif, Gian Marco Laube, Knud Möller, H...
DASFAA
2005
IEEE
150views Database» more  DASFAA 2005»
16 years 1 days ago
From XML to Semantic Web
Abstract. The present web is existing in the HTML and XML formats for persons to browse. Recently there is a trend towards the semantic web where the information can be can be proc...
Changqing Li, Tok Wang Ling