1
0
0
(1 - 37 von 46
)
Auf dem Weg zu einer robusten Programmierausbildung - publish.UPpublishup.uni-potsdam.de › frontdoor › index › index › year › docId
publishup.uni-potsdam.de
Auf dem Weg zu einer robusten Programmierausbildung. Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler ...
Auf dem Weg zu einer robusten Programmierausbildung
publishup.uni-potsdam.de
von A Bieniusa · · Zitiert von: 3 — Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel, ... › index › index › docId
HDI GI-Fachtagung "Hochschuldidaktik Informatik"
ddi.cs.uni-potsdam.de
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Universität Freiburg Martin Gasbichler, Zühlke Engineering AG Marcus Crestani, Herbert Klaeren, Universität ...
Twilight STM for Haskell - uni-freiburg.de
proglang.informatik.uni-freiburg.de
A full formalization of Twilight STM with proofs for several semantics are available here: ... Annette Bieniusa, Arie Middelkoop and Peter Thiemann.
Twilight STM - Albert-Ludwigs-Universität Freiburg
proglang.informatik.uni-freiburg.de
Annette Bieniusa, Arie Middelkoop and Peter Thiemann. Actions in the Twilight: Concurrent irrevocable transactions and Inconsistency repair.
Compiler Construction: 18th International Conference, CC ...google.de
books.google.de
How to CPS Transform a Monad Annette Bieniusa and Peter Thiemann Institut f ̈ur Informatik, Universit ̈at Freiburg, Georges-K ̈
books.google.no › booksCompiler Construction: 18th International Conference, CC ...
books.google.no
How to CPS Transform a Monad Annette Bieniusa and Peter Thiemann Institut für Informatik, Universität Freiburg, Freiburg, ...
Testing: Academic and Industrial Conference - Practice and ...books.google.dk › books
books.google.dk
DOM. Transactions. for. Testing. JavaScript. Phillip Heidegger, Annette Bieniusa, and Peter Thiemann Albert-Ludwigs-Universität Freiburg, Germany {heidegger ...
Testing: Academic and Industrial Conference - Practice and ...books.google.com › books
books.google.de
Phillip Heidegger, Annette Bieniusa, and Peter Thiemann Albert-Ludwigs-Universität Freiburg, Germany {heidegger,bieniusa ...
Eine Erweiterung zu Software Transactional MemoryChristian-Albrechts-Universität zu Kiel
www-ps.informatik.uni-kiel.de
von A Bieniusa — Annette Bieniusa (Universität Freiburg) gemeinsam mit Peter Thiemann (Universität Freiburg) und Arie Middelkoop (Universiteit Utrecht).
Department of Computer Science - Technical Reports
tr.informatik.uni-freiburg.de
Annette Bieniusa, Peter Thiemann, Stefan Wehr: The Relation of Version Control to Concurrent Programming Keywords: version control, concurrent programming, software transactional memory (Abstract) Report No.241, July (PostScript) T. Zitterell, C. Scholl: Improving Energy-Efficient Real-Time Scheduling by Exploiting Code Instrumentation
ICFP 2007: Local Organizers
proglang.informatik.uni-freiburg.de
Local Organizers. Peter Thiemann (local arrangements chair) Annette Bieniusa Berit Brauer Markus Degen Phillip Heidegger Stefan Wehr. Programming Languages Group
Functional and Declarative Programming in Education (FDPE08)
www-ps.informatik.uni-kiel.de
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr (Albert-Ludwigs-University Freiburg), Martin Gasbichler (Zühlke Engineering AG) ...
Seminar: Type Systems - Programmiersprachenproglang.informatik.uni-freiburg.de › teaching › seminar
proglang.informatik.uni-freiburg.de
Stellen. Seminar: Type Systems. Leitung: Prof. Dr. Peter Thiemann. Mitwirkung: Annette Bieniusa. Zeit und Ort: Di, in Geb. 101, Raum Beschreibung.
Proving Isolation Properties for Software Transactional Memorylink.springer.com › chapter
link.springer.com
Annette Bieniusa &; Peter Thiemann.
Proving Isolation Properties for Software Transactional Memory |...
link.springer.com
Proving Isolation Properties for Software Transactional Memory. Authors; Authors and affiliations. Annette Bieniusa; Peter Thiemann. Annette Bieniusa. 1. Peter Thiemann University of FreiburgGermany. Conference paper. 2 Citations · 4 Readers · 467 Downloads. Part of the Lecture Notes in Computer Science book ...
Actions in the Twilight Ein Erweiterung für Software Transactional...
slideplayer.com
Actions in the Twilight Ein Erweiterung für Software Transactional Memory Annette Bieniusa Peter Thiemann Universität Freiburg Arie Middelkoop Universiteit.
Annette Bieniusa - researchr alias
researchr.org
Publications by 'Annette Bieniusa'. Publications Proving Isolation Properties for Software Transactional MemoryAnnette Bieniusa, Peter Thiemann.
How to CPS Transform a Monad Annette Bieniusa and Peter Thiemann
doczz.net
How to CPS Transform a Monad Annette Bieniusa and Peter Thiemann
Auf dem Weg zu einer robusten Programmierausbildung
www.stefanwehr.de
Auf dem Weg zu einer robusten Programmierausbildung Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Marcus Crestani ...
The Relation of Version Control to Concurrent Programming
www.stefanwehr.de
The Relation of Version Control to Concurrent Programming Annette Bieniusa, Peter Thiemann, and Stefan Wehr. In Proceedings of the International Conference on Computer Science and Software Engineering.IEEE, Abstract Version control helps coordinating a group of people that work concurrently to achieve a shared objective.
Publications
gasbichler.de
Annette Bieniusa, Marcus Crestani, Markus Degen, Martin Gasbichler, Phillip Heidegger, Herbert Klaeren, Eric Knauel, Michael Sperber, Peter Thiemann, Stefan Wehr Proceedings of the Workshop Functional and Declarative Programming in Education, Victoria, Canada, PDF Auf dem Weg zu einer robusten Programmierausbildung
Stefan Wehr
www.stefanwehr.de
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel, and Michael Sperber Auf dem Weg zu einer robusten Programmierausbildung In Tagungsband zur 3. GI-Fachtagung …
(PDF) Auf dem Weg zu einer robusten Programmierausbildungwww.academia.edu › Auf_dem_Weg_zu_einer_robusten_Programmieraus...
www.academia.edu
Profile image of Annette Bieniusa Annette Bieniusa · Profile image of Peter Thiemann Peter Thiemann In seinem Beitrag zur HDI beanstandet Volker ...
Vorwort und Inhaltsverzeichnis - A. Schwill
www.informatikdidaktik.de
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Martin Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel, ...
ProgrammeThursday - ETAPS 2022etaps.org › archive › 8-etaps › 43-programmeth
etaps.org
Annette Bieniusa, Peter Thiemann, Pierre Kelsen, Qin Ma, Christian Glodt, Saleem Vighio, Jiri Srba, Anders P. Ravn. Algorithmic nominal game semantics ...
Publications (BibTeX) - Dr. Phillip Heideggerwww.heidegger.eu › bibtex
www.heidegger.eu
@inproceedings{BieniusaHeideggerThiemann2010:JSTrans, author = { Annette Bieniusa and Phillip Heidegger and Peter Thiemann }, title = { DOM Transactions for ...
HDI GI-Fachtagung "Hochschuldidaktik Informatik"
www.informatikdidaktik.de
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Universität Freiburg Martin Gasbichler, Zühlke Engineering AG Marcus Crestani, Herbert ...
Racket: [racket] POPL 2012: Call for participation
lists.racket-lang.org
... Contracts for Scripting Languages (Phillip Heidegger, Annette Bieniusa, and Peter Thiemann) * 2:00-3:30: Session on Decision Procedures ...
[erlang-questions] Second Call for Contributions: BOB
erlang.org
... Wehr, factis research Scientific Advisory Board Annette Bieniusa, TU Kaiserslautern - Peter Thiemann, Uni Freiburg ...
[erlang-questions] BOB Call for Contributions...
erlang.org
... factis research Wissenschaftlicher Beirat - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg ...
Michael Sperber → Papers and Publications
www.deinprogramm.de
... pages , December article; Annette Bieniusa, Marcus Crestani, ... Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan ...
Erfolgreiche Anfängerausbildung im Programmieren
www.deinprogramm.de
Annette Bieniusa, Marcus Crestani, Markus Degen, Martin Gasbichler, ... Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, ...
Alle Infos zum Namen "Annette Bieniusa"
sortiert nach Relevanz / Datum