Interpretable program specification language

DOI10.1134/S036176881001007XzbMath1207.68209MaRDI QIDQ1956949

V. B. Novoseltsev, F. A. Novikov

Publication date: 24 September 2010

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Intermediate representation of programs with type specification based on pattern matching

Cites Work

• Synthesis of parallel recursive programs in structural functional models