2604 search results - page 27 / 521 » General constant expressions for system programming language... |
108
Voted
NDSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Application-level protocol analyzers are important components in tools such as intrusion detection systems, firewalls, and network monitors. Currently, protocol analyzers are wri...
127
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
240
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
150
Voted
SIGUCCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper is an account of some of the more instructive experiences we gained as we sought to ensure that our information technology training programs kept pace with a fast chang...
111
Voted
ERLANG
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...