Searching for authors named "Manfred Widera" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

Data flow coverage for testing Erlang programs
by Manfred Widera — 2005 — Proceedings of the Sixth Symposium on Trends in Functional Programming
…Data Flow Coverage for Testing Erlang Programs Manfred Widera Fachbereich Informatik…
Cited by 2 (1 self) – Add To MetaCart

Data Flow Considerations for Source Code Directed Testing of Functional Programs
by Manfred Widera
… Widera 1 Abstract: Testing of software components during their development is a heavily used approach…
Cited by 1 (1 self) – Add To MetaCart

A Sketch of Complete Type Inference for Functional Programming
by Manfred Widera, Fachbereich Informatik — 2001 — In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001
…A Sketch of Complete Type Inference for Functional Programming Manfred Widera Fachbereich…
Cited by 1 (0 self) – Add To MetaCart

Partial Specifications of Program Properties
by Christoph Beierle, Manfred Widera, Wissensbasierte Systeme, Fachbereich Informatik
…Partial Specifications of Program Properties Christoph Beierle, Marija Kulaˇs, Manfred Widera…
Add To MetaCart

How to combine the benefits of strict and soft typing
by Manfred Widera, Christoph Beierle, Fachbereich Informatik, Fernuniversität Hagen — 2000 — In Greg Michaelson, Phil Trinder, and Hans-Wolfgang Loidl, editors, Trends in Functional Programming. Intellect
…How to Combine the Benefits of Strict and Soft Typing Manfred Widera and Christoph Beierle…
Cited by 3 (3 self) – Add To MetaCart

Towards flow graph directed testing of functional programs
by Manfred Widera, Fachbereich Informatik, Fernuniversität Hagen — 2003 — Draft Proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL
…Towards Flow Graph Directed Testing of Functional Programs Manfred Widera Fachbereich Informatik…
Cited by 1 (1 self) – Add To MetaCart

M.: A pragmatic approach to pre-testing Prolog programs
by Christoph Beierle, Manfred Widera, Praktische Informatik — 2004 — Applications of Declarative Programming and Knowledge Management. 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004
… Widera Praktische Informatik VIII - Wissensbasierte Systeme Fachbereich Informatik, Fern…
Cited by 2 (1 self) – Add To MetaCart

Chapter 14
by Detecting Common Elements, Manfred Widera, Christoph Beierle — 2000 — Trends in Functional Programming, volume 2. Intellect
…Chapter 14 Detecting Common Elements of Types Manfred Widera 1 and Christoph Beierle 2…
Add To MetaCart

Combining strict and soft typing in functional programming
by Manfred Widera, Christoph Beierle, Fachbereich Informatik Fernuniversität Hagen — 1999 — Informatik’99 – Informatik berwindet Grenzen
…Combining Strict and Soft Typing in Functional Programming Manfred Widera, Christoph Beierle…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB