Automatic Programming of Finite State Linear Programs

DOI10.1137/0210038zbMATH Open0462.68002OpenAlexW2084591808MaRDI QIDQ3912002

Amir Pnueli, Giora Slutzki

Publication date: 1981

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0210038

zbMATH Keywords

finite automatadata processingregister optimization

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Finite state relational programs

This page was built for publication: Automatic Programming of Finite State Linear Programs

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