Search Sciweavers | Sciweavers

10585 search results - page 15 / 2117

» The Orc Programming Language

click to vote

PLDI
2012
ACM

249views Programming Languages» more PLDI 2012»

The implicit calculus: a new foundation for generic programming

11 years 11 months ago

Download ropas.snu.ac.kr

Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Ch...

claim paper

Read More »

101

click to vote

POPL
2001
ACM

224views Programming Languages» more POPL 2001»

Programming language methods in computer security

14 years 9 months ago

Download theory.stanford.edu

traction

John C. Mitchell

claim paper

Read More »

click to vote

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

14 years 1 months ago

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

click to vote

ECOOP
2000
Springer

135views Programming Languages» more ECOOP 2000»

A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages

14 years 29 days ago

Download www.ifs.uni-linz.ac.at

Dominic Duggan

claim paper

Read More »

click to vote

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

14 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers