Zobrazeno 1 - 10
of 287
pro vyhledávání: '"Thiemann, Peter"'
Typestate systems are notoriously complex as they require sophisticated machinery for tracking aliasing. We propose a new, transition-oriented foundation for typestate in the setting of impure functional programming. Our approach relies on ordered ty
Externí odkaz:
http://arxiv.org/abs/2408.14031
Autor:
Sulzmann, Martin, Thiemann, Peter
The lock set method and the partial order method are two main approaches to guarantee that dynamic data race prediction remains efficient. There are many variations of these ideas. Common to all of them is the assumption that the events in a critical
Externí odkaz:
http://arxiv.org/abs/2307.09855
We propose algebraic protocols that enable the definition of protocol templates and session types analogous to the definition of domain-specific types with algebraic datatypes. Parameterized algebraic protocols subsume all regular as well as most con
Externí odkaz:
http://arxiv.org/abs/2304.03764
Autor:
Thiemann, Peter
All formalizations of session types rely on linear types for soundness as session-typed communication channels must change their type at every operation. Embedded language implementations of session types follow suit. They either rely on clever typin
Externí odkaz:
http://arxiv.org/abs/2303.01278
Autor:
Saffrich, Hannes, Thiemann, Peter
Session types provide a principled approach to typed communication protocols that guarantee type safety and protocol fidelity. Formalizations of session-typed communication are typically based on process calculi, concurrent lambda calculi, or linear
Externí odkaz:
http://arxiv.org/abs/2210.17335
Java's type system mostly relies on type checking augmented with local type inference to improve programmer convenience. We study global type inference for Featherweight Generic Java (FGJ), a functional Java core language. Given generic class headers
Externí odkaz:
http://arxiv.org/abs/2205.08768
Autor:
Bieniusa, Annette, Degen, Markus, Heidegger, Phillip, Thiemann, Peter, Wehr, Stefan, Gasbichler, Martin, Crestani, Marcus, Klaeren, Herbert, Knauel, Eric, Sperber, Michael
Die gelungene Durchführung einer Vorlesung „Informatik I – Einführung in die Programmierung“ ist schwierig, trotz einer Vielfalt existierender Materialien und erprobter didaktischer Methoden. Gerade aufgrund dieser vielfältigen Auswahl hat s
Externí odkaz:
http://opus.kobv.de/ubp/volltexte/2009/2965/
Autor:
Doan, Thi Thu Ha, Thiemann, Peter
Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking contracts as wel
Externí odkaz:
http://arxiv.org/abs/2108.11867
Autor:
Cristiani, Fernando, Thiemann, Peter
Developers are starting to write large and complex applications in TypeScript, a typed dialect of JavaScript. TypeScript applications integrate JavaScript libraries via typed descriptions of their APIs called declaration files. DefinitelyTyped is the
Externí odkaz:
http://arxiv.org/abs/2108.08027