2646 search results - page 65 / 530 » Local Type Inference |
117
click to vote
WACV
2002
IEEE
15 years 7 months ago
2002
IEEE
We propose a non-intrusive eye tracking system intended for the use of everyday gaze typing using web cameras. We argue that high precision in gaze tracking is not needed for on-s...
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
113
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
132
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
116
click to vote
SIGSOFT
2010
ACM
15 years 10 days ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...