11 citations
- University of Chieti-PescaraIT3 papers
- Astrobiology CenterJP1 paper
- California Consortium of Addiction Programs and ProfessionalsUS1 paper
- Carnegie Mellon UniversityUS1 paper
- CASAUS1 paper
- Cerro Tololo Inter-American ObservatoryCL1 paper
- Dartmouth HospitalGB1 paper
- Fermi National Accelerator LaboratoryUS1 paper
- Gemini North ObservatoryUS1 paper
- Institució Catalana de Recerca i Estudis AvançatsES1 paper
- Institut Cartogràfic i Geològic de CatalunyaES1 paper
- Institut Català de Ciències del ClimaES1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 11 cited
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
We address the problem of verifying that the functions of a program meet their contracts, specified by pre/postconditions. We follow an approach based on constrained Horn clauses (…
cs.LO2007
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi +1
We present a formal model to represent and solve the unicast/multicast routing problem in networks with Quality of Service (QoS) requirements. To attain this, first we translate th…