3516 search results - page 147 / 704 » Programming Languages: Application and Interpretation |
119
click to vote
PADL
2001
Springer
15 years 9 months ago
2001
Springer
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing ...
148
Voted
IJPRAI
2010
15 years 2 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
267
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
178
Voted
VEE
2006
ACM
15 years 11 months ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
162
click to vote
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...