scientific article; zbMATH DE number 18622
From MaRDI portal
Publication:3976026
zbMATH Open0796.68140MaRDI QIDQ3976026FDOQ3976026
Authors: Egon Börger
Publication date: 26 June 1992
Title of this publication is not available (Why is that?)
Recommendations
Cited In (15)
- Dynamic predicates in functional logic programs
- Completeness of fair ASM refinement
- ASM refinement and generalizations of forward simulation in data refinement: a comparison
- Operational semantics for declarative multi-paradigm languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- A linear operational semantics for termination and complexity analysis of ISO prolog
- Specification and correctness proof of a WAM extension with abstract type constraints
- The subject-oriented approach to software design and the abstract state machines method
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completeness of ASM refinement
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- Oracle semantics for Prolog
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 Q3976026)