Zobrazeno 1 - 10
of 114
pro vyhledávání: '"OSTERMANN, KLAUS"'
The sequent calculus is a proof system which was designed as a more symmetric alternative to natural deduction. The {\lambda}{\mu}{\mu}-calculus is a term assignment system for the sequent calculus and a great foundation for compiler intermediate lan
Externí odkaz:
http://arxiv.org/abs/2406.14719
The expression problem describes how most types can easily be extended with new ways to produce the type or new ways to consume the type, but not both. When abstract syntax trees are defined as an algebraic data type, for example, they can easily be
Externí odkaz:
http://arxiv.org/abs/2403.06707
Data types and codata types are, as the names suggest, often seen as duals of each other. However, most programming languages do not support both of them in their full generality, or if they do, they are still seen as distinct constructs with separat
Externí odkaz:
http://arxiv.org/abs/2211.13004
Autor:
Ostermann, Klaus
Good separation of concerns in software is the key for managing growing complexity. The most important task of programming languages with respect to this goal is to provide means to express the mental models of the domain experts as directly as possi
Externí odkaz:
http://tuprints.ulb.tu-darmstadt.de/346/1/main.pdf
Autor:
Ścibior, Adam, Kammar, Ohad, Vákár, Matthijs, Staton, Sam, Yang, Hongseok, Cai, Yufei, Ostermann, Klaus, Moss, Sean K., Heunen, Chris, Ghahramani, Zoubin
Publikováno v:
Proc. ACM Program. Lang. 2, POPL, Article 60 (January 2018)
We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inference algorithms are often explained in terms of composition of smaller pa
Externí odkaz:
http://arxiv.org/abs/1711.03219
Autor:
Erdweg, Sebastian, Ostermann, Klaus
Publikováno v:
The Art, Science, and Engineering of Programming, 2017, Vol. 1, Issue 2, Article 9
Model-driven development is a pragmatic approach to software development that embraces domain-specific languages (DSLs), where models correspond to DSL programs. A distinguishing feature of model-driven development is that clients of a model can sele
Externí odkaz:
http://arxiv.org/abs/1703.10895
If the result of an expensive computation is invalidated by a small change to the input, the old result should be updated incrementally instead of reexecuting the whole computation. We incrementalize programs through their derivative. A derivative ma
Externí odkaz:
http://arxiv.org/abs/1312.0658
Autor:
Giarrusso, Paolo G., Ostermann, Klaus, Eichberg, Michael, Mitschke, Ralf, Rendel, Tillmann, Kästner, Christian
Publikováno v:
Proceedings of the 12th annual international conference on Aspect-oriented software development (AOSD '13), 2013. ACM, New York, NY, USA, 1-12
Modularity and efficiency are often contradicting requirements, such that programers have to trade one for the other. We analyze this dilemma in the context of programs operating on collections. Performance-critical code using collections need often
Externí odkaz:
http://arxiv.org/abs/1210.6284
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.