31686 search results - page 298 / 6338 » Resource typing in Guru |
107
Voted
ENTCS
2007
15 years 21 days ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
109
Voted
TCS
2008
15 years 20 days ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
115
Voted
CORR
2004
Springer
15 years 18 days ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
100
Voted
LOBJET
2000
15 years 16 days ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
103
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...