Separation logic: a logic for shared mutable data structures von Reynolds, J.C.

Volltext

Separation and Information Hiding von O'HEARN, Peter W, YANG, Hongseok, REYNOLDS, John C

Volltext

Brownian Dynamics of Cytochrome c and Cytochrome c Peroxidase Association von Northrup, Scott H., Boles, Jeffrey O., John C. L. Reynolds

Volltext

A new standard method to calculate electrochromic switching time von Hassab, Sofiane, Shen, D. Eric, Ӧsterholm, Anna M., Da Rocha, Mathias, Song, Giljoo, Alesanco, Yolanda, Viñuales, Ana, Rougier, Aline, Reynolds, John R., Padilla, Javier

Volltext

Local Reasoning about a Copying Garbage Collector von TORP-SMITH, Noah, BIRKEDAL, Lars, REYNOLDS, John C

Volltext

People Get Ready: Ritual, Solidarity, and Lived Ecclesiology in Catholic Roxbury von Delgado, Jessica, Seitz, John C, Reynolds, Susan Bigelow

Volltext

Definitional interpreters for higher-order programming languages von REYNOLDS, J. C

Volltext

Towards a theory of type structure von Reynolds, John C.

Volltext

Toward a Grainless Semantics for Shared-Variable Concurrency von Reynolds, John C.

Volltext

From Algol to polymorphic linear lambda-calculus von O'HEARN, PETER W, REYNOLDS, JOHN C

Volltext

Some thoughts on teaching programming and programming languages von Reynolds, John C.

Volltext

Contemporary Education in Perspective von Gifford, Charles S

Volltext bestellen

Surface and volume properties of ground state nuclear matter in the Hartree-Fock and Puff-Martin approximations / by John C. Reynolds von Reynolds, John C

Volltext bestellen

History of the M. W. Grand Lodge of Illinois, ancient, free, and accepted masons : from the organization of the first lodge within the present limits of the state up to and includi... von Reynolds, John C

Volltext bestellen

Using category theory to design implicit conversions and generic operators von Reynolds, John C.

Volltext

Three approaches to type structure von Reynolds, John C.

Volltext

The coherence of languages with intersection types von Reynolds, John C.

Volltext

Separation and information hiding von O'Hearn, Peter W., Yang, Hongseok, Reynolds, John C.

Volltext

The discoveries of continuations von Reynolds, John C.

Volltext

Syntactic control of interference Part 2 von Reynolds, John C.

Volltext