Theorems for free from separation logic specifications von Birkedal, Lars, Dinsdale-Young, Thomas, Guéneau, Armaël, Jaber, Guilhem, Svendsen, Kasper, Tzevelekos, Nikos

Volltext

SyTeCi: automating contextual equivalence for higher-order programs with references von Jaber, Guilhem

Volltext

Operational Nominal Game Semantics von Jaber, Guilhem

Volltext

Kripke Open Bisimulation: A Marriage of Game Semantics and Operational Techniques von Jaber, Guilhem, Tabareau, Nicolas

Volltext

A Kripke logical relation for effect-based program transformations von Birkedal, Lars, Jaber, Guilhem, Sieczkowski, Filip, Thamsborg, Jacob

Volltext

A logical study of program equivalence von Jaber, Guilhem

Volltext bestellen

Extending Type Theory with Forcing von Jaber, G., Tabareau, N., Sozeau, M.

Volltext

Complete trace models of state and control von Jaber, Guilhem, Murawski, Andrzej S

Volltext bestellen

Trace semantics for polymorphic references von Jaber, Guilhem, Tzevelekos, Nikos

Volltext bestellen

Complete trace models of state and control von Jaber, Guilhem, Murawski, Andrzej S

Volltext

Trace semantics for polymorphic references von Jaber, Guilhem, Tzevelekos, Nikos

Volltext

Trace Properties from Separation Logic Specifications von Birkedal, Lars, Dinsdale-Young, Thomas, Jaber, Guilhem, Svendsen, Kasper, Tzevelekos, Nikos

Volltext bestellen

Trace Properties from Separation Logic Specifications von Birkedal, Lars, Dinsdale-Young, Thomas, Jaber, Guilhem, Svendsen, Kasper, Tzevelekos, Nikos

Volltext

N-Methylacetamide hemihydrochloride, C3H7NO.1/2HCl von Jaber, M., Guilhem, J., Loiseleur, H.

Volltext