Search Sciweavers | Sciweavers

7555 search results - page 66 / 1511

» The Type System of DBPL

click to vote

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

14 years 15 days ago

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

click to vote

TACAS
2000
Springer

109views Algorithms» more TACAS 2000»

An Extensible Type System for Component-Based Design

14 years 13 days ago

Download www.eecs.berkeley.edu

Yuhong Xiong, Edward A. Lee

claim paper

Read More »

click to vote

MPC
1995
Springer

93views Mathematics» more MPC 1995»

Extracting Programs with Exceptions in an Impredicative Type System

14 years 12 days ago

Download www.csl.sri.com

Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...

Jean-François Monin

claim paper

Read More »

click to vote

ACISP
2010
Springer

124views Security Privacy» more ACISP 2010»

Repelling Sybil-Type Attacks in Wireless Ad Hoc Systems

13 years 10 months ago

Download web.science.mq.edu.au

Marek Klonowski, Michal Koza, Miroslaw Kutylowski

claim paper

Read More »

click to vote

CATS
2006

105views Applied Computing» more CATS 2006»

Compositional Type Systems for Stack-Based Low-Level Languages

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers