Work

Creating specialised integrity checks through partial evaluation of meta-interpreters

Year: 1998

Type: article

Source: The Journal of Logic Programming

DOI: 10.1016/s0743-1066(97)10012-7

Authors: Michael Leuschel, Danny De Schreye

Institution: KU Leuven

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Fonds De La Recherche Scientifique - FNRS

OpenAlex ID: W1981032168

FWCI: 1.669

Cites: 95

Cited by: 29

Related to: 10