Search Sciweavers | Sciweavers

18429 search results - page 10 / 3686

» Typing dynamic typing

131

click to vote

JCS
2007

120views more JCS 2007»

Dynamic types for authentication

15 years 2 months ago

Download www.dsi.unive.it

We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...

Michele Bugliesi, Riccardo Focardi, Matteo Maffei

claim paper

Read More »

211

click to vote

POPL
2003
ACM

104views Programming Languages» more POPL 2003»

Incremental algorithms for dispatching in dynamically typed languages

16 years 3 months ago

Download www.zibin.net

Yoav Zibin, Joseph Gil

claim paper

Read More »

click to vote

ICPR
2008
IEEE

106views Computer Vision» more ICPR 2008»

Improving digital ink interpretation through expected type prediction and dynamic dispatch

15 years 9 months ago

Download projects.csail.mit.edu

Kah Seng Tay, Kimberle Koile

claim paper

Read More »

125

click to vote

TOOLS
2008
IEEE

123views Programming Languages» more TOOLS 2008»

Optimizing Dynamic Class Composition in a Statically Typed Language

15 years 9 months ago

Download www.daimi.au.dk

Anders Bach Nielsen, Erik Ernst

claim paper

Read More »

click to vote

ASIAN
2007
Springer

93views Algorithms» more ASIAN 2007»

Static vs Dynamic Typing for Access Control in Pi-Calculus

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers