Adjustable References

DOI10.1007/978-3-642-39634-2_24zbMATH Open1317.68234OpenAlexW2914931327MaRDI QIDQ5327353FDOQ5327353

Viktor Vafeiadis

Publication date: 7 August 2013

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_24

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (2)

• Mtac: A monad for typed tactic programming in Coq
• Implementing and reasoning about hash-consed data structures in Coq

Uses Software

• Coq

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Dynamic consistency and reference points 👍 👎
• Direct adaptive control with tunable reference 👍 👎
• Adapting coordinates 👍 👎
• Adaptive adjustment of diffusive objects 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Adjustable References

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