Hybrid Parallel Execution Model for Logic-Based Specification Languages

DOI10.1142/4242zbMATH Open0970.68001OpenAlexW2403851211MaRDI QIDQ4495802FDOQ4495802

Authors: Jeffrey J.-P. Tsai, Bing Li 

Publication date: 13 August 2000

Published in: Series on Software Engineering and Knowledge Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/4242

Recommendations

• scientific article; zbMATH DE number 107874
• scientific article; zbMATH DE number 4022603
• scientific article; zbMATH DE number 4052998
• Parallel and distributed logic programming. Towards the design of a framework for the next generation database machines.

zbMATH Keywords

performancespecification language

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Hybrid Parallel Execution Model for Logic-Based Specification Languages

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