Manfred Widera

15 papers Journal 2Unranked 12
YearRankTypeTitle / Venue / Authors
2006 — conf
Adapting Structural Testing to Functional Programming.
Software Engineering Research and Practice
Manfred Widera
2006 — conf
An Extendable System for the Specification and Generation of Interactive Self-tests.
Edutainment
Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
2006 — conf
Computer Science Exercises in a Virtual University.
CSREA EEE
Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
2006 J jnl
Strukturorientiertes Testen funktionaler Programme.
Softwaretechnik-Trends
Manfred Widera
2005 — conf
Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen.
DeLFI
Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera
2004 — conf
A Pragmatic Approach to Pre-testing Prolog Programs.
INAP/WLP
Christoph Beierle, Marija Kulas, Manfred Widera
2004 — conf
Flow graphs for testing sequential Erlang programs.
Erlang Workshop
Manfred Widera
2003 — conf
Automatic Analysis of Programming Assignments.
DeLFI
Christoph Beierle, Marjaa Kulaa, Manfred Widera
2003 — conf
Testing Scheme programming assignments automatically.
Trends in Functional Programming
Manfred Widera
2001 — —
Complete type inference in functional programming.
Manfred Widera
2001 — conf
Function Types in Complete Type Inference.
Scottish Functional Programming Workshop
Manfred Widera, Christoph Beierle
2000 — conf
Detecting common elements of types.
Scottish Functional Programming Workshop
Manfred Widera, Christoph Beierle
1999 — conf
Combining Strict and Soft Typing in Functional Programming.
GI Jahrestagung
Manfred Widera, Christoph Beierle
1999 — conf
How to Combine the Benefits of Strict and Soft Typing.
Scottish Functional Programming Workshop
Manfred Widera, Christoph Beierle
1997 J jnl
Inkrementelle temporale Constraintpropagierung.
Künstliche Intell.
Georg Schmitt, Hartmut Noltemeier, Manfred Widera