MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Wendelin Serwe" – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Abstracting call-stacks for interprocedural verification of imperative programs
by Wendelin Serwe — 2004 — In AMAST
… and Wendelin Serwe 2 1 IRISA, 35042 Rennes, France Bertrand.Jeannet@(email omitted); 2 INRIA Rhône-Alpes, 38334 St…
Cited by 11 (3 self) – Add To MetaCart

Integrating Action Definitions into Concurrent Declarative Programming
by Rachid Echahed, Wendelin Serwe — 2001 — Electronic Notes in Theoretical Computer Science
…Integrating Action Definitions into Concurrent Declarative Programming Rachid Echahed and Wendelin…
Cited by 2 (2 self) – Add To MetaCart

A Component-Based Approach to Concurrent Declarative Programming
by Rachid Echahed, Wendelin Serwe — 2001 — In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001
…A Component-Based Approach to Concurrent Declarative Programming Rachid Echahed and Wendelin Serwe…
Cited by 2 (1 self) – Add To MetaCart

Towards Reactive Functional Logic Programming Languages
by J'er'emie Blanc, Herbert Kuchen, Rachid Echahed, Wendelin Serwe — 1998
… Wendelin Serwe Laboratoire Leibniz -- Institut Imag, CNRS 46, avenue Felix Viallet, F-38031 Grenoble…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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