Search Sciweavers | Sciweavers

4386 search results - page 10 / 878

» A Tamper-Resistant Programming Language System

108

click to vote

SIGADA
1998
Springer

91views Programming Languages» more SIGADA 1998»

A Portable Implementation of the Distributed Systems Annex in Java

15 years 7 months ago

Download www.sigada.org

Yoav Tzruya, Mordechai Ben-Ari

claim paper

Read More »

123

Voted

TOOLS
1997
IEEE

153views Programming Languages» more TOOLS 1997»

Using Design Patterns and Frameworks to Develop Object-Oriented Communication Systems

15 years 7 months ago

Download www.cs.wustl.edu

Douglas C. Schmidt

claim paper

Read More »

click to vote

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)

15 years 7 months ago

Download www.lix.polytechnique.fr

Olivier Bournez

claim paper

Read More »

Voted

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

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

15 years 7 months ago

Download people.csail.mit.edu

Jean Yang, Chris Hawblitzel

claim paper

Read More »

click to vote

FPCA
1993

73views Programming Languages» more FPCA 1993»

A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers