Found: 9

Select item for more details and to access through your institution.

  • Analysis and Transformation of Constrained Horn Clauses for Program Verification.

    Published in:
    Theory & Practice of Logic Programming, 2022, v. 22, n. 6, p. 974, doi. 10.1017/S1471068421000211
    By:
    • DE ANGELIS, EMANUELE;
    • FIORAVANTI, FABIO;
    • GALLAGHER, JOHN P.;
    • HERMENEGILDO, MANUEL V.;
    • PETTOROSSI, ALBERTO;
    • PROIETTI, MAURIZIO
    Publication type:
    Article

  • Fifty Years of Prolog and Beyond.

    Published in:
    Theory & Practice of Logic Programming, 2022, v. 22, n. 6, p. 776, doi. 10.1017/S1471068422000102
    By:
    • KÖRNER, PHILIPP;
    • LEUSCHEL, MICHAEL;
    • BARBOSA, JOÃO;
    • COSTA, VÍTOR SANTOS;
    • DAHL, VERÓNICA;
    • HERMENEGILDO, MANUEL V.;
    • MORALES, JOSE F.;
    • WIELEMAKER, JAN;
    • DIAZ, DANIEL;
    • ABREU, SALVADOR;
    • CIATTO, GIOVANNI
    Publication type:
    Article

  • Parallel Logic Programming: A Sequel.

    Published in:
    Theory & Practice of Logic Programming, 2022, v. 22, n. 6, p. 905, doi. 10.1017/S1471068422000059
    By:
    • DOVIER, AGOSTINO;
    • FORMISANO, ANDREA;
    • GUPTA, GOPAL;
    • HERMENEGILDO, MANUEL V.;
    • PONTELLI, ENRICO;
    • ROCHA, RICARDO
    Publication type:
    Article

  • VeriFly: On-the-fly Assertion Checking via Incrementality.

    Published in:
    Theory & Practice of Logic Programming, 2021, v. 21, n. 6, p. 768, doi. 10.1017/S1471068421000430
    By:
    • SANCHEZ-ORDAZ, MIGUEL A.;
    • GARCIA-CONTRERAS, ISABEL;
    • PEREZ, VICTOR;
    • MORALES, JOSÉ F.;
    • LOPEZ-GARCIA, PEDRO;
    • HERMENEGILDO, MANUEL V.
    Publication type:
    Article

  • Incremental and Modular Context-sensitive Analysis.

    Published in:
    Theory & Practice of Logic Programming, 2021, v. 21, n. 2, p. 196, doi. 10.1017/S1471068420000496
    By:
    • GARCIA-CONTRERAS, ISABEL;
    • MORALES, JOSÉ F.;
    • HERMENEGILDO, MANUEL V.
    Publication type:
    Article

  • Semantic code browsing.

    Published in:
    Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 721, doi. 10.1017/S1471068416000417
    By:
    • GARCÍA-CONTRERAS, ISABEL;
    • MORALES, JOSÉ F.;
    • HERMENEGILDO, MANUEL V.;
    • Carro, Manuel;
    • King, Andy
    Publication type:
    Article

  • Practical run-time checking via unobtrusive property caching.

    Published in:
    Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 726, doi. 10.1017/S1471068415000344
    By:
    • STULOVA, NATALIIA;
    • MORALES, JOSÉ F.;
    • HERMENEGILDO, MANUEL V.;
    • Eiter, Thomas;
    • Toni, Francesca
    Publication type:
    Article

  • Lightweight compilation of (C)LP to JavaScript.

    Published in:
    Theory & Practice of Logic Programming, 2012, v. 12, n. 4/5, p. 755, doi. 10.1017/S1471068412000336
    By:
    • MORALES, JOSE F.;
    • HAEMMERLÉ, RÉMY;
    • CARRO, MANUEL;
    • HERMENEGILDO, MANUEL V.
    Publication type:
    Article

  • Parallel backtracking with answer memoing for independent and-parallelism.

    Published in:
    Theory & Practice of Logic Programming, 2011, v. 11, n. 4/5, p. 555, doi. 10.1017/S1471068411000172
    By:
    • DE GUZMÁN, PABLO CHICO;
    • CASAS, AMADEO;
    • CARRO, MANUEL;
    • HERMENEGILDO, MANUEL V.
    Publication type:
    Article