A framework for testing safety and effective computability

DOI10.1006/jcss.1996.0009zbMath0846.68018OpenAlexW1967832907MaRDI QIDQ1915509

Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli

Publication date: 16 July 1996

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/747c36bc6cd513e6421a8154c278b4e2aeebd96e

zbMATH Keywords

safetyeffective computabilityadorned programcheck-clique

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

Checking termination of bottom-up evaluation of logic programs with function symbols ⋮ Maintaining distributed logic programs incrementally ⋮ Using acceptors as transducers ⋮ Domain expansion for ASP-programs with external sources

This page was built for publication: A framework for testing safety and effective computability