18429 search results - page 115 / 3686 » Typing dynamic typing |
148
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...
123
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
136
click to vote
OOPSLA
1991
Springer
15 years 8 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
158
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
136
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...