scientific article; zbMATH DE number 6991660

MaRDI QIDQ4560265zbMATH OpenFDO

Authors Burak Ekici

Publication date 10 December 2018

Full work available at URL https://arxiv.org/abs/1503.05496, https://dmtcs.episciences.org/4927/pdf

zbMATH Keywords

computational effectsCoqdecorated logicexceptionsprogram equivalence proofsstate

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A specification logic for exceptions and beyond
• scientific article; zbMATH DE number 25191
• Handling exceptions in logic programming without negation as failure
• A logic for programming with complex objects
• Linear Logic and Exceptions
• scientific article; zbMATH DE number 970731
• Functional logic overloading
• An observationally complete program logic for imperative higher-order functions

Cited in

(2)

• IMP+Exc
• scientific article; zbMATH DE number 1497772 (Why is no real title available?)

Describes a project that uses

Uses Software

• Coq

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 Q4560265)