804 search results - page 96 / 161 » Algorithms for Programmers |
119
click to vote
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
207
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
248
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
216
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
138
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...