Semantics of Fractional Permissions with Nesting von TANG BOYLAND, John

Volltext

Remote attribute grammars von BOYLAND, John Tang

Volltext

Alias burying: Unique variables without destructive reads von Boyland, John

Volltext

Evolution of SASyLF 2008-2021 von Boyland, John Tang

Volltext

Generating Bijections between HOAS and the Natural Numbers von Boyland, John Tang

Volltext

Preface von Boyland, John Tang, Castagna, Giuseppe

Volltext

Promises: limited specifications for analysis and manipulation von Chan, E.C., Boyland, J.T., Scherlis, W.L.

Volltext

European Symposium on Programming (ESOP 2009) von CASTAGNA, Giuseppe, BOYLAND, John Tang

Volltext

Semantics of fractional permissions with nesting von Boyland, John Tang

Volltext

Flexible fine-grained version control for software documents von Nguyen, T.N., Munson, E.V., Boyland, J.T., Thao, C.

Volltext

Preface von Johnstone, Adrian, Sloane, Anthony, Boyland, John Tang

Volltext

Preface von Hedin, Görel, Boyland, John Tang

Volltext

PII: S0167-6423(07)00070-6 von Boyland, John Tang

Volltext

Generating Bijections between HOAS and the Natural Numbers von Boyland, John Tang

Volltext

Special issue on ETAPS 2005 workshop on language descriptions, tools and applications (LDTA '05) - Preface von Boyland, John Tang, Hedin, Görel

Volltext

Conditional attribute grammars von Boyland, John Tang

Volltext

Architectural software configuration management in Molhado von Nguyen, T.N., Munson, E.V., Boyland, J.T., Cheng Thao

Volltext

TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator von Boyland, John, Spiewak, Daniel

Volltext

Why we should not add readonly to Java (yet) von Boyland, John

Volltext

An Operational Semantics including ‘Volatile’ for Safe Concurrency von Boyland, John

Volltext