956 search results - page 70 / 192 » Languages as libraries |
FDL
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
PSSS
2003
13 years 11 months ago
2003
The semantic web is a promising application-area for the Prolog programming language for its non-determinism and patternmatching. In this paper we outline an infrastructure for loa...
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
GPUs are difficult to program for general-purpose uses. Programmers can either learn graphics APIs and convert their applications to use graphics pipeline operations or they can ...
WCFLP
2005
ACM
14 years 3 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...