Sciweavers

388 search results - page 13 / 78
» C APIs in Extension and Extensible Languages
Sort
View
CC
2002
Springer
131views System Software» more  CC 2002»
13 years 8 months ago
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
George C. Necula, Scott McPeak, Shree Prakash Rahu...
FDL
2003
IEEE
14 years 1 months ago
Synchronization of analogue and digital solvers in mixed-signal simulation on a SystemC platform
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
Tom J. Kazmierski, Hessa Al-Junaid
ICLP
1995
Springer
13 years 11 months ago
WAMCC: Compiling Prolog to C
We present the wamcc system, a Prolog compiler that translates Prolog to C via the WAM. This approach has some interesting consequences: simplicity, efficiency, portability, exten...
Philippe Codognet, Daniel Diaz
EEE
2005
IEEE
14 years 1 months ago
A Web Registry for Publishing and Discovering Mathematical Services
This paper describes an extension of the ebXML registry for publishing and discovering mathematical service descriptions. The MathBroker registry is able to handle descriptions gi...
Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner
ESWS
2007
Springer
13 years 12 months ago
Functional Programs as Linked Data
The idea of linked programs, or procedural RDF metadata, has not been deeply explored. This paper introduces a dedicated scripting language for linked data, called Ripple, whose pr...
Joshua Shinavier