Charles Consel

MaRDI QIDQ192363zbMATH OpenORCIDWikidataFDO

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
Denotational semantics of a user-oriented, domain-specific language	2021-06-21	Paper
Denotational semantics of a user-oriented, domain-specific language (available as arXiv preprint)	2021-06-21	Paper
Specialization scenarios: a pragmatic approach to declaring program specialization Higher-Order and Symbolic Computation	2005-03-15	Paper
A tour of tempo: a program specializer for the C language Science of Computer Programming	2004-11-22	Paper
scientific article; zbMATH DE number 2089403 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1953284 (Why is no real title available?)	2003-07-27	Paper
Static and dynamic program compilation by interpreter specialization Higher-Order and Symbolic Computation	2001-10-01	Paper
Combining program and data specialization Higher-Order and Symbolic Computation	2000-05-07	Paper
On-line and off-line partial evaluation: semantic specifications and correctness proofs Journal of Functional Programming	1996-09-12	Paper
Semantics-directed generation of a Prolog compiler Science of Computer Programming	1994-02-17	Paper

Research outcomes over time

This page was built for person: Charles Consel