1835 search results - page 75 / 367 » Functional Programming of Behavior-Based Systems |
142
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
132
click to vote
PPPJ
2003
ACM
15 years 9 months ago
2003
ACM
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
128
click to vote
FUIN
2006
15 years 4 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
249
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
147
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...