Sciweavers

10666 search results - page 20 / 2134

» Quantum programming languages

95

POPL
2001
ACM

224views Programming Languages» more POPL 2001»

Programming language methods in computer security

14 years 8 months ago

Programming language methods in computer security

Download theory.stanford.edu

traction

John C. Mitchell

claim paper

Read More »

46

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

14 years 24 days ago

Computer Security from a Programming Language and Static Analysis Perspective

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

33

ECOOP
2000
Springer

135views Programming Languages» more ECOOP 2000»

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

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

36

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

13 years 11 months ago

Model Checking for Programming Languages using Verisoft

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

38

PLSA
1994

135views Programming Languages» more PLSA 1994»

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

13 years 11 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 20 / 2134 Last » Next »