Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Process Models of Logic Programs: a Comparison
RISE, Swedish ICT, SICS.
1986 (English)Report (Refereed)
Abstract [en]

One way to deal with parallelism in logic programs is to define an execution model which is based upon communicating processes, instead of on sequential execution. Several such models have been given. This paper discusses what general properties such an execution model should fulfil, and gives a comparative study of some of the models proposed. Finally the approach of defining an operational model and distinguishing inherent parallelism in it is discussed briefly.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1986, 1. , 12 p.
Series
SICS Research Report, ISSN 0283-3638 ; R86:07
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21328OAI: oai:DiVA.org:ri-21328DiVA: diva2:1041362
Note

Original report number R86007.

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-08-07Bibliographically approved

Open Access in DiVA

fulltext(1544 kB)3 downloads
File information
File name FULLTEXT01.pdfFile size 1544 kBChecksum SHA-512
c1cdcccf209cf66d557fd1a44c51f24bfa47f7b58e410db64d914bef13f60d6a5d0f2cde296417a698599ba03ac1881f870e57a23efbd42b3709d1656264ec8b
Type fulltextMimetype application/pdf

By organisation
SICS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 3 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf