Search Sciweavers | Sciweavers

7535 search results - page 48 / 1507

» A Type System for CHR

click to vote

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

13 years 11 months 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

13 years 11 months 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

13 years 11 months 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 9 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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers