Hybrid Parallel Execution Model for Logic-Based Specification Languages

DOI10.1142/4242MaRDI QIDQ4495802zbMATH OpenOpenAlexFDO

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

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)

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.

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)