Sciweavers

10575 search results - page 2 / 2115

» T2Script Programming Language

64

POPL
2001
ACM

224views Programming Languages» more POPL 2001»

Programming language methods in computer security

14 years 5 months ago

Programming language methods in computer security

Download theory.stanford.edu

traction

John C. Mitchell

claim paper

Read More »

30

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

13 years 10 months ago

Computer Security from a Programming Language and Static Analysis Perspective

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

20

ECOOP
2000
Springer

135views Programming Languages» more ECOOP 2000»

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

13 years 9 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 »

22

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

13 years 9 months ago

Model Checking for Programming Languages using Verisoft

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

26

PLSA
1994

135views Programming Languages» more PLSA 1994»

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

13 years 8 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 »