Search Results - "Multi-paradigm declarative programming"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Symbolic Specialization of Rewriting Logic Theories with Presto by ALPUENTE, MARÍA, ESCOBAR, SANTIAGO, SAPIÑA, JULIA, BALLIS, DEMIS

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge Cambridge University Press 01.05.2022
    Published in Theory and practice of logic programming (01.05.2022)
    “…This paper introduces $\tt{{Presto}}$ , a symbolic partial evaluator for Maude’s rewriting logic theories that can improve system analysis and verification. In…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: