Inherited extension of many-sorted theories

DOI10.1007/BF01131860zbMath0875.68640MaRDI QIDQ1816347

V. P. Makarov

Publication date: 20 January 1997

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

program verificationautomatic program generationmany-sorted theoriesmathematical specification languageverification programming

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)

Uses Software

• Eiffel
• Automath

Cites Work

• Parameterized Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Inherited extension of many-sorted theories