Pierre Weis

According to our database, Pierre Weis authored at least 15 papers between 1991 and 2019.

Collaborative distances:

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

2019

Translating Simulink Models to Modelica using the {\NSP} Platform.

Jean-Philippe Chancelier, Sébastien Furic, Pierre Weis

Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

2014

Trusting computations: A mechanized proof from partial differential equations to actual program.

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis

Comput. Math. Appl., 2014

2013

Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program.

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis

J. Autom. Reason., 2013

2011

Wave Equation Numerical Resolution: Mathematics and Program

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis

CoRR, 2011

2010

Image Segmentation with Optimal Control Techniques

François Clément, Hend Ben Ameur, Guy Chavent, Pierre Weis

CoRR, 2010

Formal Proof of a Wave Equation Resolution Scheme: The Method Error.

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2008

Skeletal Parallel Programming with OCamlP3l 2.0.

Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis

Parallel Process. Lett., 2008

2007

On the Implementation of Construction Functions for Non-free Concrete Data Types.

Frédéric Blanqui, Thérèse Hardin, Pierre Weis

Proceedings of the Programming Languages and Systems, 2007

2006

Domain decomposition and skeleton programming with OCamlP3l.

François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis

Parallel Comput., 2006

1996

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.

Pieter H. Hartel, Marc Feeley, Martin Helmut Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth

J. Funct. Program., 1996

1995

Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages

Manuel Serrano, Pierre Weis

Proceedings of the Static Analysis, 1995

Generic Polymorphism.

Catherine Dubois, François Rouaix, Pierre Weis

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1993

Manuel de référence du langage CAML.

Xavier Leroy, Pierre Weis

InterEditions, ISBN: 978-2-7296-0492-9, 1993

Le langage Caml.

Pierre Weis, Xavier Leroy

InterEditions, ISBN: 978-2-7296-0493-6, 1993

1991

Polymorphic Type Inference and Assignment.

Xavier Leroy, Pierre Weis

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991