scientific article; zbMATH DE number 4045106

MaRDI QIDQ3782745zbMATH OpenFDO

Authors Bharat Jayaraman, Gopal Gupta

Publication date 1987

zbMATH Keywords

equation solutionequational languagesexpression evaluationformal semanticsfunctional languagelogic languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• TERM: A parallel executable graph reduction machine for equational language
• scientific article; zbMATH DE number 4090847
• scientific article; zbMATH DE number 4037157
• scientific article; zbMATH DE number 826301
• Logic programming with equations

Cited in

(9)

• An improved bottom-up method for implementing equational programming language
• Parallel symbolic computation in ACE
• TERM: A parallel executable graph reduction machine for equational language
• Lenient evaluation and parallelism
• scientific article; zbMATH DE number 4172382 (Why is no real title available?)
• scientific article; zbMATH DE number 3907747 (Why is no real title available?)
• scientific article; zbMATH DE number 1552516 (Why is no real title available?)
• scientific article; zbMATH DE number 7300359 (Why is no real title available?)
• scientific article; zbMATH DE number 7301731 (Why is no real title available?)

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