Pascal Fradet

zbMath Openfradet.pascalMaRDI QIDQ436363

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Enforcing trace properties by program transformation Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-03-17	Paper
A generalized higher-order chemical computation model	2013-10-02	Paper
Aspects preserving properties Science of Computer Programming	2012-07-20	Paper
Aspects of availability. Enforcing timed properties to prevent denial of service Science of Computer Programming	2010-11-25	Paper
Classical coordination mechanisms in the chemical model	2010-02-05	Paper
The next 700 Krivine machines Higher-Order and Symbolic Computation	2007-12-17	Paper
Generalised multisets for chemical programming Mathematical Structures in Computer Science	2006-08-28	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 2080934 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2018588 (Why is no real title available?)	2003-12-16	Paper
Compilation of a specialized functional language for massively parallel computers Journal of Functional Programming	2002-01-02	Paper
Structured gamma Science of Computer Programming	2000-01-04	Paper

Research outcomes over time

This page was built for person: Pascal Fradet