180 search results - page 11 / 36 » Typing Local Control and State Using Flow Analysis |
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—State signaling and maintenance mechanisms play crucial roles in communication network protocols. State is used to facilitate indirections in protocols such as routing. Design a...
LISP
2002
13 years 7 months ago
2002
Abstract. Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent ...
PAMI
1998
13 years 7 months ago
1998
—This paper concerns an efficient algorithm for learning in the limit a special type of regular languages called strictly locally testable languages from positive data, and its a...
CGF
2008
13 years 7 months ago
2008
Dye advection is widely used in experimental flow analysis but has seen less use for visualization in computational fluid dynamics. One possible reason for this disconnect is the ...
POPL
2006
ACM
14 years 7 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...