Flexible Correct-by-Construction Programming von Runge, Tobias, Bordis, Tabea, Potanin, Alex, Thüm, Thomas, Schaefer, Ina

Volltext

Iteratively Composing Statically Verified Traits von Gariano, Isaac Oscar, Servetto, Marco, Potanin, Alex, Arora, Hrshikesh

Volltext

Characterising reproducibility debt in scientific software: A systematic literature review von Hassan, Zara, Treude, Christoph, Norrish, Michael, Williams, Graham, Potanin, Alex

Volltext

Using capabilities for strict runtime invariant checking von Gariano, Isaac Oscar, Servetto, Marco, Potanin, Alex

Volltext

Preface for the Special Issue on the 23rd Asia-Pacific Software Engineering Conference (APSEC) 2016 von Potanin, Alex, Murphy, Gail

Volltext

Immutability and Encapsulation for Sound OO Information Flow Control von Runge, Tobias, Servetto, Marco, Potanin, Alex, Schaefer, Ina

Volltext

Bounded Abstract Effects von Melicher, Darya, Xu, Anlun, Zhao, Valerie, Potanin, Alex, Aldrich, Jonathan

Volltext

Decidable subtyping for path dependent types von Mackay, Julian, Potanin, Alex, Aldrich, Jonathan, Groves, Lindsay

Volltext

Evaluating the Language-Based Security for Plugin Development von Liang, Naisheng, Potanin, Alex

Volltext bestellen

Traits: Correctness-by-Construction for Free von Runge, Tobias, Potanin, Alex, Thüm, Thomas, Schaefer, Ina

Volltext

A Relaxed Balanced Lock-Free Binary Search Tree von Singh, Manish, Groves, Lindsay, Potanin, Alex

Volltext

Information Flow Control-by-Construction for an Object-Oriented Language von Runge, Tobias, Kittelmann, Alexander, Servetto, Marco, Potanin, Alex, Schaefer, Ina

Volltext

Introduction to the Special Issue on the 0th New Object-Oriented Languages (NOOL) Workshop in 2015 von Potanin, Alex

Volltext

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping von Mackay, Julian, Potanin, Alex, Aldrich, Jonathan, Groves, Lindsay

Volltext

Are your incoming aliases really necessary? Counting the cost of object ownership von Potanin, Alex, Damitio, Monique, Noble, James

Volltext

Towards improved software visualisation of parameterised REE patterns: Introducing REEkit for geological analysis von Kneipp, Jaxon, Potanin, Alex, Anenburg, Michael

Volltext bestellen

The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder Types von Servetto, Marco, Mackay, Julian, Potanin, Alex, Noble, James

Volltext

Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact) von Robinson, Amos, Potanin, Alex

Volltext

Evaluating the Language-Based Security for Plugin Development von Liang, Naisheng, Potanin, Alex

Volltext

Capabilities: Effects for Free von Craig, Aaron, Potanin, Alex, Groves, Lindsay, Aldrich, Jonathan

Volltext