3516 search results - page 641 / 704 » Programming Languages: Application and Interpretation |
126
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
147
click to vote
IJPP
2010
15 years 1 months ago
2010
Exploiting the full computational power of current hierarchical multiprocessor machines requires a very careful distribution of threads and data among the underlying non-uniform ar...
169
click to vote
JLP
2011
14 years 11 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
149
click to vote
CSFW
2011
IEEE
14 years 4 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
220
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...