388 search results - page 24 / 78 » C APIs in Extension and Extensible Languages |
LREC
2008
13 years 9 months ago
2008
Chemistry research papers are a primary source of information about chemistry, as in any scientific field. The presentation of the data is, predominantly, unstructured information...
SCP
2000
13 years 7 months ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
ACMSE
2005
ACM
14 years 1 months ago
2005
ACM
The eXtensible Markup Language (XML) has become a ubiquitous data exchange and storage format. A variety of tools are available for incorporating XML-based data into applications....
ML
2008
ACM
13 years 8 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...