Compositional operational semantics for Prolog programs

Saved in:
Bibliographic Details
Published in:New generation computing 1992-08, Vol.10 (3), p.315-328
Main Authors: CHENG, M. H. M, HORSPOOL, R. N, LEVY, M. R, VAN EMDEN, M. H
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Programming languages
Software
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c260t-b0bdb60b79fe4a6b98710feb352b65c029d315a41f1cdf238e817c38b5b6e1313
cites cdi_FETCH-LOGICAL-c260t-b0bdb60b79fe4a6b98710feb352b65c029d315a41f1cdf238e817c38b5b6e1313
container_end_page 328
container_issue 3
container_start_page 315
container_title New generation computing
container_volume 10
creator CHENG, M. H. M
HORSPOOL, R. N
LEVY, M. R
VAN EMDEN, M. H
description
doi_str_mv 10.1007/BF03037941
format article
fullrecord <record><control><sourceid>pascalfrancis_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1007_BF03037941</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>5569518</sourcerecordid><originalsourceid>FETCH-LOGICAL-c260t-b0bdb60b79fe4a6b98710feb352b65c029d315a41f1cdf238e817c38b5b6e1313</originalsourceid><addsrcrecordid>eNpFj01LxDAURYMoOI5u_AVduBKq7-U1H11qcVQY0IWuS5ImQ6VtStKN_96RGXR1z-LeC4exa4Q7BFD3jxsgIFVXeMJWqDUvFQhxylbAtS5JkjhnFzl_Aey54iummjjOMfdLHyczFHH2yRw5-9FMS-9yEWIq3lMc4q6YU9wlM-ZLdhbMkP3VMdfsc_P00byU27fn1-ZhWzouYSkt2M5KsKoOvjLS1lohBG9JcCuFA153hMJUGNB1gZP2GpUjbYWVHglpzW4Pvy7FnJMP7Zz60aTvFqH9VW7_lfflm0N5NtmZISQzuT7_LYSQtUBNP1WXVY4</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Compositional operational semantics for Prolog programs</title><source>Springer LINK Archives</source><creator>CHENG, M. H. M ; HORSPOOL, R. N ; LEVY, M. R ; VAN EMDEN, M. H</creator><creatorcontrib>CHENG, M. H. M ; HORSPOOL, R. N ; LEVY, M. R ; VAN EMDEN, M. H</creatorcontrib><identifier>ISSN: 0288-3635</identifier><identifier>EISSN: 1882-7055</identifier><identifier>DOI: 10.1007/BF03037941</identifier><identifier>CODEN: NGCOE5</identifier><language>eng</language><publisher>Berlin: Springer</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Programming languages ; Software</subject><ispartof>New generation computing, 1992-08, Vol.10 (3), p.315-328</ispartof><rights>1992 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c260t-b0bdb60b79fe4a6b98710feb352b65c029d315a41f1cdf238e817c38b5b6e1313</citedby><cites>FETCH-LOGICAL-c260t-b0bdb60b79fe4a6b98710feb352b65c029d315a41f1cdf238e817c38b5b6e1313</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,777,781,27905,27906</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=5569518$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>CHENG, M. H. M</creatorcontrib><creatorcontrib>HORSPOOL, R. N</creatorcontrib><creatorcontrib>LEVY, M. R</creatorcontrib><creatorcontrib>VAN EMDEN, M. H</creatorcontrib><title>Compositional operational semantics for Prolog programs</title><title>New generation computing</title><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Programming languages</subject><subject>Software</subject><issn>0288-3635</issn><issn>1882-7055</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1992</creationdate><recordtype>article</recordtype><recordid>eNpFj01LxDAURYMoOI5u_AVduBKq7-U1H11qcVQY0IWuS5ImQ6VtStKN_96RGXR1z-LeC4exa4Q7BFD3jxsgIFVXeMJWqDUvFQhxylbAtS5JkjhnFzl_Aey54iummjjOMfdLHyczFHH2yRw5-9FMS-9yEWIq3lMc4q6YU9wlM-ZLdhbMkP3VMdfsc_P00byU27fn1-ZhWzouYSkt2M5KsKoOvjLS1lohBG9JcCuFA153hMJUGNB1gZP2GpUjbYWVHglpzW4Pvy7FnJMP7Zz60aTvFqH9VW7_lfflm0N5NtmZISQzuT7_LYSQtUBNP1WXVY4</recordid><startdate>199208</startdate><enddate>199208</enddate><creator>CHENG, M. H. M</creator><creator>HORSPOOL, R. N</creator><creator>LEVY, M. R</creator><creator>VAN EMDEN, M. H</creator><general>Springer</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>199208</creationdate><title>Compositional operational semantics for Prolog programs</title><author>CHENG, M. H. M ; HORSPOOL, R. N ; LEVY, M. R ; VAN EMDEN, M. H</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c260t-b0bdb60b79fe4a6b98710feb352b65c029d315a41f1cdf238e817c38b5b6e1313</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1992</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Programming languages</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>CHENG, M. H. M</creatorcontrib><creatorcontrib>HORSPOOL, R. N</creatorcontrib><creatorcontrib>LEVY, M. R</creatorcontrib><creatorcontrib>VAN EMDEN, M. H</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><jtitle>New generation computing</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>CHENG, M. H. M</au><au>HORSPOOL, R. N</au><au>LEVY, M. R</au><au>VAN EMDEN, M. H</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Compositional operational semantics for Prolog programs</atitle><jtitle>New generation computing</jtitle><date>1992-08</date><risdate>1992</risdate><volume>10</volume><issue>3</issue><spage>315</spage><epage>328</epage><pages>315-328</pages><issn>0288-3635</issn><eissn>1882-7055</eissn><coden>NGCOE5</coden><cop>Berlin</cop><pub>Springer</pub><doi>10.1007/BF03037941</doi><tpages>14</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0288-3635
ispartof New generation computing, 1992-08, Vol.10 (3), p.315-328
issn 0288-3635
1882-7055
language eng
recordid cdi_crossref_primary_10_1007_BF03037941
source Springer LINK Archives
subjects Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Programming languages
Software
title Compositional operational semantics for Prolog programs
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T18%3A45%3A14IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Compositional%20operational%20semantics%20for%20Prolog%20programs&rft.jtitle=New%20generation%20computing&rft.au=CHENG,%20M.%20H.%20M&rft.date=1992-08&rft.volume=10&rft.issue=3&rft.spage=315&rft.epage=328&rft.pages=315-328&rft.issn=0288-3635&rft.eissn=1882-7055&rft.coden=NGCOE5&rft_id=info:doi/10.1007/BF03037941&rft_dat=%3Cpascalfrancis_cross%3E5569518%3C/pascalfrancis_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c260t-b0bdb60b79fe4a6b98710feb352b65c029d315a41f1cdf238e817c38b5b6e1313%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true