396 search results - page 45 / 80 » Comparative Semantics for a Real-Time Programming Language w... |
173
click to vote
ER
2004
Springer
15 years 9 months ago
2004
Springer
The semantic web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. Ontologies, a cornerstone of the semantic web,...
163
click to vote
SIGCSE
1990
ACM
15 years 10 months ago
1990
ACM
This paper presents a philosophy underlying CS-1 programming projects, and illustrates this philosophy with a concrete example. Integral to the philosophy is the use of Ada packag...
157
click to vote
SIGLEX
1991
15 years 9 months ago
1991
The paper focuses on the description of the approach, taken within the ESPRIT BRA project ACQUILEX, towards: i) acquisition of semantic information from several machine- readable ...
186
click to vote
MEMOCODE
2010
IEEE
15 years 3 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
196
click to vote
CC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...