Markus Degen

According to our database, Markus Degen authored at least 7 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

The interaction of contracts and laziness.

Markus Degen, Peter Thiemann, Stefan Wehr

High. Order Symb. Comput., 2012

2011

Java(X): A Type-Based Program Analysis Framework (Java(X): Ein Typ basiertes Programmanalyse Framework)

Markus Degen

PhD thesis, 2011

2010

Eager and delayed contract monitoring for call-by-value and call-by-name evaluation.

Markus Degen, Peter Thiemann, Stefan Wehr

J. Log. Algebraic Methods Program., 2010

2009

True Lies: Lazy Contracts for Lazy Languages.

Markus Degen, Peter Thiemann, Stefan Wehr

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2008

Htdp and dmda in the battlefield: a case study in first-year programming instruction.

Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

2007

Tracking Linear and Affine Resources with Java(X).

Markus Degen, Peter Thiemann, Stefan Wehr

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Übersetzen und Optimieren von Simulink Modellen.

Markus Degen

Softwaretechnik-Trends, 2006