id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_6dybqb64nrdshp7ppfsruknp5y	Leon Sterling	Metainterpreters for expert system construction	1989	16	.pdf	application/pdf	6914	566	51	program consists of two steps: partially evaluating the metainterpreter with can be used to specialize a metainterpreter to a given object program in such a way metainterpreters can be combined, we have found a classification of their enhancements to an object program into structural, contextual, and behavioral to be imbued with the functionality of the combined metainterpreter via partial evaluation, resulting in an efficient object level program. ways in which a metainterpreter can enhance an object program. combining the metainterpreter with the object program and partially evaluating the combined program with respect to a given object goal. an evaluable goal is useful primarily for simplifying a program resulting from partial computing extra arguments while solving a given goal. object program: adding extra arguments to the proof of a given goal and affecting In general, a behavioral enhancement is any change to a metainterpreter which affects its proof of an object goal.	./cache/work_6dybqb64nrdshp7ppfsruknp5y.pdf	./txt/work_6dybqb64nrdshp7ppfsruknp5y.txt