Efficient first order functional program interpreter with time bound certifications

JY Marion, JY Moyen

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

33 Citations (Scopus)

Original language	English
Title of host publication	LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS
Volume	1955
Publication date	2000
Pages	25-42
ISBN (Print)	3-540-41285-9
DOIs	https://doi.org/10.1007/3-540-44404-1_3
Publication status	Published - 2000
Externally published	Yes

Access to Document

@inbook{920ad415a84040e9a9847fed0f82c7f6,

title = "Efficient first order functional program interpreter with time bound certifications",

author = "JY Marion and JY Moyen",

year = "2000",

doi = "10.1007/3-540-44404-1_3",

language = "English",

isbn = "3-540-41285-9",

volume = "1955",

pages = "25--42",

booktitle = "LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS",

}