scientific article; zbMATH DE number 1927430
From MaRDI portal
Publication:4484348
zbMATH Open1013.68197MaRDI QIDQ4484348FDOQ4484348
Authors: Klaus Schneider 
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100314.htm
Title of this publication is not available (Why is that?)
Recommendations
- Steps towards a proof-theoretical semantics
- Deriving Pretty-Big-Step Semantics from Small-Step Semantics
- Step failures semantics and a complete proof system
- Pretty-big-step semantics
- Proving correctness of a compiler using step-indexed logical relations
- A language-independent proof system for full program equivalence
- Reasoning about iteration and recursion uniformly based on big-step semantics
- scientific article; zbMATH DE number 3907742
Cited In (1)
Uses Software
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 Q4484348)
