Sciweavers

11909 search results - page 31 / 2382

» The Scheme Programming Language

107

POPL
2001
ACM

224views Programming Languages» more POPL 2001»

Programming language methods in computer security

14 years 10 months ago

Programming language methods in computer security

Download theory.stanford.edu

traction

John C. Mitchell

claim paper

Read More »

63

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

14 years 3 months ago

Computer Security from a Programming Language and Static Analysis Perspective

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

40

ECOOP
2000
Springer

135views Programming Languages» more ECOOP 2000»

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

14 years 2 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 »

43

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

14 years 2 months ago

Model Checking for Programming Languages using Verisoft

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

43

PLSA
1994

135views Programming Languages» more PLSA 1994»

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

14 years 2 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 31 / 2382 Last » Next »