1003 search results - page 50 / 201 » Type Inference with Inequalities |
WACV
2002
IEEE
14 years 1 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
14 years 27 days 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...
ESOP
2006
Springer
14 years 12 days 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...
BIRTHDAY
2010
Springer
13 years 9 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...
SIGSOFT
2010
ACM
13 years 6 months 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...