3408 search results - page 285 / 682 » Logic, language, information and computation |
188
Voted
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
188
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
174
click to vote
LCPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes how the use of software libraries, which is prevalent in high performance computing, can benefit from compiler optimizations in much the same way tha...
169
click to vote
ICFCA
2009
Springer
16 years 1 months ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
167
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...