Search Sciweavers | Sciweavers

8021 search results - page 59 / 1605

» A Type System for Tom

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 12 months ago

Download people.csail.mit.edu

Jean Yang, Chris Hawblitzel

claim paper

Read More »

click to vote

PLSA
1994

135views Programming Languages» more PLSA 1994»

Engineering a Programming Language: The Type and Class System of Sather

13 years 12 months ago

Download research.microsoft.com

Clemens A. Szyperski, Stephen M. Omohundro, Stepha...

claim paper

Read More »

click to vote

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

13 years 11 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

click to vote

DBPL
1989
Springer

70views Database» more DBPL 1989»

The Type System of DBPL

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers