Semantics of Fractional Permissions with Nesting von TANG BOYLAND, John

Volltext

Remote attribute grammars von BOYLAND, John Tang

Volltext

Evolution of SASyLF 2008-2021 von Boyland, John Tang

Volltext

Checking interference with fractional permissions von Boyland, John

Volltext

Checking Interference with Fractional Permissions von Boyland, John

Volltext

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

Volltext

Evolution of SASyLF 2008-2021 von Boyland, John Tang

Volltext

Robust compound Poisson parameter estimation for inventory control von Prak, Dennis, Teunter, Ruud, Babai, Mohamed Zied, Boylan, John E., Syntetos, Aris

Volltext

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

Volltext

Semantics of fractional permissions with nesting von Boyland, John Tang

Volltext

Preface von Boyland, John Tang, Castagna, Giuseppe

Volltext

Fractional Permissions von Boyland, John

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Permission Assurance for Semantic Aspects of Design Patterns von Yang Zhao, Lingnan Song, Gongxuan Zhang, Boyland, J.

Volltext

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

Volltext

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

Volltext