Search Sciweavers | Sciweavers

4386 search results - page 6 / 878

» A Tamper-Resistant Programming Language System

click to vote

SIGADA
2001
Springer

76views Programming Languages» more SIGADA 2001»

Reengineering an Ada95-programmed command and control information system by using UML

14 years 1 days ago

Download www.sigada.org

Heinz Faßbender

claim paper

Read More »

click to vote

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

13 years 11 months ago

Download research.microsoft.com

Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...

claim paper

Read More »

click to vote

PLDI
1994
ACM

105views Programming Languages» more PLDI 1994»

ATOM - A System for Building Customized Program Analysis Tools

13 years 11 months ago

Download www.hpl.hp.com

Amitabh Srivastava, Alan Eustace

claim paper

Read More »

click to vote

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

14 years 1 months ago

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

click to vote

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

14 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers