2 citations · 5 across the 6 of their papers we have counts for
6 papers
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Georgian-Vlad Saioc, Hans Hüttel
Many universities have courses and projects revolving around compiler or interpreter implementation as part of their degree programmes in computer science. In such teaching activit…
A Generic Type System for Higher-Order -calculi
Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel +1
The Higher-Order -calculus framework (HO) is a generalisation of many first- and higher-order extensions of the -calculus. It was proposed by Parrow et al. who showed that…
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov +4
We present a type-based analysis ensuring memory safety and object protocol completion in the Java-like language Mungo. Objects are annotated with usages, typestates-like specifica…
Context-Free Session Types for Applied Pi-Calculus
Jens Aagaard, Hans Hüttel, Mathias Jakobsen +1
We present a binary session type system using context-free session types to a version of the applied pi-calculus of Abadi et. al. where only base terms, constants and channels can…
Inferring Types for Parallel Programs
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel
The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behav…
Broadcast and aggregation in BBC
Hans Hüttel, Nuno Pratas
In distributed systems, where multi-party communication is essential, two communication paradigms are ever present: (1) one-to-many, commonly denoted as broadcast; and (2) many-to-…