Search Results - "Multi-paradigm declarative programming"

Symbolic Specialization of Rewriting Logic Theories withPresto

Authors: Alpuente Frasnedo, María Escobar Román, Santiago Ballis, Demis et al.

Contributors: Alpuente Frasnedo, María Escobar Román, Santiago Ballis, Demis et al.

Source: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, multi-paradigm declarative programming, narrowing, partial evaluation, rewriting logic, Partial evaluation, 0202 electrical engineering, electronic engineering, information engineering, Rewriting logic, Multi-paradigm declarative programming, 0102 computer and information sciences, 02 engineering and technology, Narrowing, LENGUAJES Y SISTEMAS INFORMATICOS, 01 natural sciences, Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/pdf/2112.10201
http://arxiv.org/abs/2112.10201
https://riunet.upv.es/handle/10251/195317