scientific article; zbMATH DE number 7453195

MaRDI QIDQ5020656FDOQ5020656

Authors: Dimitur Nikolaev Krustev 

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/2008.04669

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• The concept of a supercompiler
• Title not available (Why is that?)
• Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions

Cited In (1)

• Compiler Construction

Uses Software

• Refal

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