Modules and specifications

DOI10.1007/3-540-61630-6_20zbMath1427.68042OpenAlexW1508856083MaRDI QIDQ5236441

Vasco Pedro, Luís Monteiro

Publication date: 8 October 2019

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61630-6_20

zbMATH Keywords

logic programmingproof treepartial correctnessfree variablepredicate symbol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Cites Work

• Proof methods of declarative properties of definite programs
• Reasoning about prolog programs: From modes through types to assertions
• A logical analysis of modules in logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modules and specifications