Sciweavers

10575 search results - page 2 / 2115

» T2Script Programming Language

282

Voted

POPL
2001
ACM

224views Programming Languages» more POPL 2001»

Programming language methods in computer security

16 years 3 months ago

Programming language methods in computer security

Download theory.stanford.edu

traction

John C. Mitchell

claim paper

Read More »

181

Voted

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

15 years 8 months ago

Computer Security from a Programming Language and Static Analysis Perspective

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

117

Voted

ECOOP
2000
Springer

135views Programming Languages» more ECOOP 2000»

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

15 years 7 months ago

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

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

Dominic Duggan

claim paper

Read More »

128

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

15 years 7 months ago

Model Checking for Programming Languages using Verisoft

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

124

PLSA
1994

135views Programming Languages» more PLSA 1994»

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

15 years 7 months ago

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

Download research.microsoft.com

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

claim paper

Read More »

« Prev « First page 2 / 2115 Last » Next »