Proceduralism and parallelism in specification languages
From MaRDI portal
Publication:1139364
DOI10.1016/0306-4379(80)90001-0zbMath0433.68004OpenAlexW2037165477MaRDI QIDQ1139364
Publication date: 1980
Published in: Information Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0306-4379(80)90001-0
parallelismspecification languagesrelational algebraprogrammingdatabase accesssystem specificationprocedural control structuresproceduralism
Information storage and retrieval of data (68P20) General topics in the theory of software (68N01) Theory of operating systems (68N25)
This page was built for publication: Proceduralism and parallelism in specification languages