4128 search results - page 663 / 826 » Learning and using relational theories |
202
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
87
Voted
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
85
Voted
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
92
Voted
TLDI
2010
ACM
15 years 7 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
61
Voted
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper we present a novel framework for computing the steady turning motion of a robotic fish undergoing periodic body and/or tail deformation. Taking the turning radiu...