Parallel functions in recursive program schemes

MaRDI QIDQ3504619zbMATH OpenFDO

Authors Mark B. Trakhtenbrot

Publication date 11 June 2008

zbMATH Keywords

invariant functions

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Parallel program schemata
• scientific article; zbMATH DE number 1231560
• Synthesis of parallel recursive programs in structural functional models
• Subrecursive functions on partial sequences
• scientific article; zbMATH DE number 3917685

Cited in

(14)

• scientific article; zbMATH DE number 3952529 (Why is no real title available?)
• Analysis of recursively parallel programs
• A parallel/recursive algorithm
• Programmschemata mit Booleschen Unterprogrammen
• scientific article; zbMATH DE number 465526 (Why is no real title available?)
• Structural analysis and planning of processes of parallel execution of functional programs
• scientific article; zbMATH DE number 1231560 (Why is no real title available?)
• Parallel program schemata
• scientific article; zbMATH DE number 3917685 (Why is no real title available?)
• scientific article; zbMATH DE number 3892585 (Why is no real title available?)
• Boolean monadic recursive schemes as a logical characterization of the subsequential functions
• scientific article; zbMATH DE number 4001452 (Why is no real title available?)
• scientific article; zbMATH DE number 2087767 (Why is no real title available?)
• On the expressive power of first-order boolean functions in PCF

This page was built for publication: Parallel functions in recursive program schemes

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