The expressive theory of stacks

DOI10.1007/BF00282622zbMATH Open0626.68006MaRDI QIDQ580954

Samuel Kamin

Publication date: 1987

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

correctnessexpressivenessloop invariantsdata types

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (2)

Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication: The expressive theory of stacks

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