scientific article; zbMATH DE number 4041248

zbMATH Open0638.68020MaRDI QIDQ3779733FDOQ3779733

Authors: R. Giancarlo, Wojciech Rytter 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4106263
• Transformational program development in a particular problem domain
• Some equivalent transformations of recursive programs based on their schematic properties
• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• An execution mechanism for nondeterministic, state-oriented programs based on a chart parser

zbMATH Keywords

context-free grammarsprogram transformationnondeterministic recursive program

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (9)

• Generalizing Cook's transformation to imperative stack programs
• A thorough treatment of highly-efficient NTRU instantiations
• Title not available (Why is that?)
• Non-recursive trade-offs are ``almost everywhere
• Title not available (Why is that?)
• An execution mechanism for nondeterministic, state-oriented programs based on a chart parser
• Title not available (Why is that?)
• Title not available (Why is that?)
• An exercise in transformational programming: Backtracking and Branch-and- Bound

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 Q3779733)