31686 search results - page 299 / 6338 » Resource typing in Guru |
150
Voted
FORTE
2011
14 years 4 months ago
2011
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessio...
218
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
107
Voted
APAL
2007
15 years 26 days ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
119
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
106
click to vote
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...