Work

Towards creating specialised integrity checks through partial evaluation of meta-interpreters

Year: 1995

Type: conference-paper

Abstract: In [23] we presented a partial evaluation scheme for a "real tomatically generating highly specialised update procedures for deductive databases.

Source: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)

DOI: 10.1145/215465.215598

Authors: Michael Leuschel, Danny De Schreye

Institution: KU Leuven

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2121947494

FWCI: 2.537

Cites: 56

Cited by: 16

Related to: 10