Connecting you to content on EBSCOhost

Works matching IS 09567968 AND DT 2005 AND VI 15 AND IP 2

Results: 6

1

Interfaces for stack inspection.

Published in:

Journal of Functional Programming, 2005, v. 15, n. 2, p. 179, doi. 10.1017/s0956796804005465

By:

FRDRIC BESSON;
THOMAS DE GRENIER DE LATOUR;
THOMAS JENSEN

Publication type:

Article

2

Correspondence assertions for process synchronization in concurrent communications.

Published in:

Journal of Functional Programming, 2005, v. 15, n. 2, p. 219, doi. 10.1017/s095679680400543x

By:

EDUARDO BONELLI;
ADRIANA COMPAGNONI;
ELSA GUNTER

Publication type:

Article

3

Noninterference through flow analysis.

Published in:

Journal of Functional Programming, 2005, v. 15, n. 2, p. 293, doi. 10.1017/s0956796804005477

By:

KOHEI HONDA;
NOBUKO YOSHIDA

Publication type:

Article

4

A monadic analysis of information flow security with mutable state.

Published in:

Journal of Functional Programming, 2005, v. 15, n. 2, p. 249, doi. 10.1017/s0956796804005441

By:

KARL CRARY;
ALEKSEY KLIGER;
FRANK PFENNING

Publication type:

Article

5

Stack-based access control and secure information flow.

Published in:

Journal of Functional Programming, 2005, v. 15, n. 2, p. 131, doi. 10.1017/s0956796804005453

By:

ANINDYA BANERJEE;
DAVID A. NAUMANN

Publication type:

Article

6

Language-Based Security.

Published in:

Journal of Functional Programming, 2005, v. 15, n. 2, p. 129, doi. 10.1017/s0956796804005428

By:

MARTN ABADI;
GREG MORRISETT;
ANDREI SABELFELD

Publication type:

Article