Suchergebnisse - Serpette, Bernard Paul | OPAC THWS

1

Asynchronous sequential processes von Caromel, Denis, Henrio, Ludovic, Serpette, Bernard Paul

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves von Rideau, Laurence, Serpette, Bernard Paul, Leroy, Xavier

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Static Reduction Analysis for Imperative Object Oriented Languages von Barthe, Gilles, Paul Serpette, Bernard

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

iRho: an imperative rewriting calculus von LIQUORI, LUIGI, SERPETTE, BERNARD PAUL

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

An interpreter for server-side hop von Bernard, Serpette P., Manuel, Serrano

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Bigloo.NET: compiling Scheme to .NET CLR von Bres, Yannis, Serpette, Bernard Paul, Serrano, Manuel

Veröffentlicht in Journal of object technology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Asynchronous and deterministic objects von Caromel, Denis, Henrio, Ludovic, Serpette, Bernard Paul

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Compiling scheme to JVM bytecode::a performance study von Serpette, Bernard Paul, Serrano, Manuel

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Compiling scheme to JVM bytecode von Serpette, Bernard Paul, Serrano, Manuel

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Compiling scheme to JVM bytecode: a performance study von Serpette, Bernard Paul, Serrano, Manuel

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: