Search Sciweavers | Sciweavers

8021 search results - page 71 / 1605

» A Type System for Tom

click to vote

PUC
2000

94views more PUC 2000»

Places to Stay on the Move: Software Architectures for Mobile User Interfaces

13 years 7 months ago

Download www.dcs.gla.ac.uk

abstract Alan Dix Devina Ramduny Tom Rodden, Nigel Davies. aQtive limited and Staffordshire University Staffordshire University Lancaster University http://www.hiraeth.com/alan/top...

Alan J. Dix, Devina Ramduny, Tom Rodden, Nigel Dav...

claim paper

Read More »

click to vote

POPL
2001
ACM

149views Programming Languages» more POPL 2001»

Colored local type inference

14 years 8 months ago

Download lamp.epfl.ch

We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...

Martin Odersky, Christoph Zenger, Matthias Zenger

claim paper

Read More »

click to vote

TLDI
2003
ACM

108views Formal Methods» more TLDI 2003»

Inferring annotated types for inter-procedural register allocation with constructor flattening

14 years 1 months ago

Download people.cis.ksu.edu

We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...

Torben Amtoft, Robert Muller

claim paper

Read More »

click to vote

CC
2005
Springer

112views System Software» more CC 2005»

A Study of Type Analysis for Speculative Method Inlining in a JIT Environment

14 years 1 months ago