From standard to non-standard semantics by semantics modifiers

DOI10.1142/S0129054101000448zbMATH Open1319.68050OpenAlexW2050975971WikidataQ62038270 ScholiaQ62038270MaRDI QIDQ5249253FDOQ5249253

Authors: Robert Glück, S. A. Abramov 

Publication date: 30 April 2015

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054101000448

Recommendations

• scientific article; zbMATH DE number 2080203
• Non-standard semantics for program slicing
• Modular rewriting semantics in practice
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 18654

zbMATH Keywords

programming languagespartial evaluationprogram transformationsupercompilationinterpretersnonstandard semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Cites Work

• The concept of a supercompiler
• A positive supercompiler
• A formalism for translator interactions
• Algorithm = logic + control
• Essence of generalized partial computation
• Running programs backwards: The logical inversion of imperative computation
• Generating action compilers by partial evaluation

Cited In (3)

• Reversible computing from a programming language perspective
• Title not available (Why is that?)
• Reverse universal resolving algorithm and inverse driving

This page was built for publication: From standard to non-standard semantics by semantics modifiers

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