E-LIB Suche - Ergebnisse für: Hüttel, Hans

1

A generic type system for higher-order Ψ-calculi:

Hüttel, Hans ; Lybech, Stian ; Bendixen, Alex R..
Information and Computation. 300 (2024) - p. 105190 , 2024

Link: https://doi.org/10.1016/..

2

A Structure Editor with Type-Safe Copy/Paste:

, In: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages,

Hüttel, Hans ; Elisasen Lumholtz Nielsen, Anja ; Gjerulf Sandberg, Nana.. - p. 1-11 , 2022

Link: https://dl.acm.org/doi/1..

3

A type-safe structure editor calculus:

, In: Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Godiksen, Christian ; Herrmann, Thomas ; Hüttel, Hans.. - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

4

Behavioural separation with parallel usages:

, In: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs,

Golovanov, Iaroslav ; Hüttel, Hans ; Jakobsen, Mathias. - p. 51-58 , 2021

Link: https://dl.acm.org/doi/1..

5

An Editor Calculus With Undo/Redo:

, In: 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Kjaer, Rasmus Rendal ; Lundbergh, Magnus Holm ; Mantzius, Magnus. - p. 66-74 , 2021

Link: https://doi.org/10.1109/..

6

Using session types for reasoning about boundedness in the ..:

Hüttel, Hans
Acta Informatica. 57 (2019) 6 - p. 801-827 , 2019

Link: https://doi.org/10.1007/..

7

Locations and session types in a language with higher-order..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control,

Tran, Michael ; Bendixen, Alexander Rønning ; Bojesen, Bjarke Bredow.. - p. 31-40 , 2019

Link: https://dl.acm.org/doi/1..

8

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco T....
ACM Computing Surveys (CSUR). 49 (2016) 1 - p. 1-36 , 2016

Link: https://dl.acm.org/doi/1..

9

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco T....
ACM Computing Surveys. 49 (2016) 1 - p. 1-36 , 2016

Link: https://doi.org/10.1145/..

10

Transitions and trees

an introduction to structural operational semantics

Hüttel, Hans , 2010

Link: https://doi.org/10.1017/..

11

Transitions and Trees: an Introduction to Structural Operat..:

Hüttel, Hans , 2010

Link: https://search.ebscohost..

12

Decidable Fragments of a Higher Order Calculus with Locatio..:

Bundgaard, Mikkel ; Godskesen, Jens Chr. ; Haagensen, Bjørn.
Electronic Notes in Theoretical Computer Science. 242 (2009) 1 - p. 113-138 , 2009

Link: https://doi.org/10.1016/..

13

Type Inference for Correspondence Types:

Gordon, Andrew D. ; Hüttel, Hans ; Hansen, René Rydhof
Electronic Notes in Theoretical Computer Science. 242 (2009) 3 - p. 21-36 , 2009

Link: https://doi.org/10.1016/..

14

Undecidable equivalences for basic parallel processes:

Hüttel, Hans ; Kobayashi, Naoki ; Suto, Takashi
Information and Computation. 207 (2009) 7 - p. 812-829 , 2009

Link: https://doi.org/10.1016/..

15

Verification of Correspondence Assertions in a Calculus for..:

Godskesen, Jens Chr. ; Hüttel, Hans ; Kühnrich, Morten
Electronic Notes in Theoretical Computer Science. 229 (2009) 2 - p. 77-93 , 2009

Link: https://doi.org/10.1016/..