scientific article
From MaRDI portal
Publication:3685162
zbMath0568.68007MaRDI QIDQ3685162
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
failurelazy evaluationpattern matchingfunctional languagebacktrackingexception handlingML/LCFtheorem proving using tacticals
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (12)
Counting Successes: Effects and Transformations for Non-deterministic Programs ⋮ Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism ⋮ A System F with Call-by-Name Exceptions ⋮ Fault-tolerant functional reactive programming (extended version) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Transforming Functional Logic Programs into Monadic Functional Programs ⋮ Chemical foundations of distributed aspects ⋮ Combinator Parsing: A Short Tutorial ⋮ Effect polymorphism in higher-order logic (proof pearl) ⋮ A tactic calculus. --- Abridged version ⋮ Generic constructions for behavioral specifications
Uses Software
This page was built for publication:
