Search Sciweavers | Sciweavers

7535 search results - page 46 / 1507

» A Type System for CHR

click to vote

POPL
1999
ACM

80views Programming Languages» more POPL 1999»

Trust and Partial Typing in Open Systems of Mobile Agents

13 years 12 months ago

Download condor.depaul.edu

James Riely, Matthew Hennessy

claim paper

Read More »

click to vote

INFOCOM
1998
IEEE

116views Communications» more INFOCOM 1998»

Stability of a Type-II Hybrid ARQ Protocol for DS-SSMA Packet Radio Systems

13 years 12 months ago

Download www.wireless.ece.ufl.edu

Qian Zhang, Tan F. Wong, James S. Lehnert

claim paper

Read More »

click to vote

MFCS
1998
Springer

62views Theoretical Computer Science» more MFCS 1998»

Spatial and Temporal Refinement of Typed Graph Transformation Systems

13 years 12 months ago

Download www.dsi.uniroma1.it

Martin Große-Rhode, Francesco Parisi-Presicc...

claim paper

Read More »

click to vote

OOPSLA
1998
Springer

106views Security Privacy» more OOPSLA 1998»

A Type System for Object Initialization in the Java Bytecode Language

13 years 12 months ago

Download www.cs.williams.edu

Stephen N. Freund, John C. Mitchell

claim paper

Read More »

click to vote

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers