Search Sciweavers | Sciweavers

4386 search results - page 10 / 878

» A Tamper-Resistant Programming Language System

click to vote

SIGADA
1998
Springer

91views Programming Languages» more SIGADA 1998»

A Portable Implementation of the Distributed Systems Annex in Java

13 years 12 months ago

Download www.sigada.org

Yoav Tzruya, Mordechai Ben-Ari

claim paper

Read More »

click to vote

TOOLS
1997
IEEE

153views Programming Languages» more TOOLS 1997»

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

13 years 12 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)

13 years 11 months ago

Download www.lix.polytechnique.fr

Olivier Bournez

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

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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers