scientific article; zbMATH DE number 3956406

MaRDI QIDQ3725518zbMATH OpenFDO

Authors Saumya K. Debray, David S. Warren

Publication date 1986

zbMATH Keywords

nondeterminismProlog programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 549960
• Dynamic detection of determinism in functional logic languages
• scientific article; zbMATH DE number 1088020
• Logic Programming
• Some global optimizations for a PROLOG compiler

Cited in

(5)

• Automatic inductive theorem proving using Prolog
• scientific article; zbMATH DE number 4104373 (Why is no real title available?)
• scientific article; zbMATH DE number 549960 (Why is no real title available?)
• Non-discriminating arguments and their uses
• Dynamic detection of determinism in functional logic languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3725518)