Manfred Widera

According to our database, Manfred Widera authored at least 15 papers between 1997 and 2006.

Collaborative distances:

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

2006

Strukturorientiertes Testen funktionaler Programme.

Manfred Widera

Softwaretechnik-Trends, 2006

Adapting Structural Testing to Functional Programming.

Manfred Widera

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

An Extendable System for the Specification and Generation of Interactive Self-tests.

Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle

Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006

Computer Science Exercises in a Virtual University.

Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle

Proceedings of the 2006 International Conference on E-Learning, 2006

2005

Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen.

Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera

Proceedings of the DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 2005

2004

A Pragmatic Approach to Pre-testing Prolog Programs.

Christoph Beierle, Marija Kulas, Manfred Widera

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Flow graphs for testing sequential Erlang programs.

Manfred Widera

Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, 2004

2003

Testing Scheme programming assignments automatically.

Manfred Widera

Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

Automatic Analysis of Programming Assignments.

Christoph Beierle, Marjaa Kulaa, Manfred Widera

Proceedings of the DeLFI 2003, 2003

2001

Complete type inference in functional programming.

Manfred Widera

PhD thesis, 2001

Function Types in Complete Type Inference.

Manfred Widera, Christoph Beierle

Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

2000

Detecting common elements of types.

Manfred Widera, Christoph Beierle

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

1999

How to Combine the Benefits of Strict and Soft Typing.

Manfred Widera, Christoph Beierle

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

Combining Strict and Soft Typing in Functional Programming.

Manfred Widera, Christoph Beierle

Proceedings of the Informatik '99, 1999

1997

Inkrementelle temporale Constraintpropagierung.

Georg Schmitt, Hartmut Noltemeier, Manfred Widera

Künstliche Intell., 1997