3516 search results - page 268 / 704 » Programming Languages: Application and Interpretation |
176
click to vote
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We discuss issues related to the design of a multitouch gesture sensing environment, allowing the user to execute both independent and coordinated gestures. We discuss d...
172
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
152
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
184
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
176
Voted
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...