Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Programming Deep Concurrent Constraint Combinators
KTH, Superseded Departments (pre-2005), Microelectronics and Information Technology, IMIT.ORCID iD: 0000-0002-6283-7004
2000 (English)In: Practical Aspects of Declarative Languages. PADL 2000, Springer, 2000, Vol. 1753, p. 215-229Conference paper, Published paper (Refereed)
Abstract [en]

Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as combination mechanism. It introduces primitives and techniques needed to program constraint combinators from computation spaces. The paper applies computation spaces to a broad range of combinators: negation, generalized reificatian, disjunction, and implication. Even though computation spaces have been conceived in the context of Oz, they are mainly programming language independent. This point is stressed by discussing them here in the context of Standard ML with concurrency features.

Place, publisher, year, edition, pages
Springer, 2000. Vol. 1753, p. 215-229
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1753
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-225406DOI: 10.1007/3-540-46584-7_15ISI: 000165600200015Scopus ID: 2-s2.0-84958968724ISBN: 3-540-66992-2 (print)OAI: oai:DiVA.org:kth-225406DiVA, id: diva2:1200201
Conference
2nd International Workshop on Practical Aspects of Declarative Languages, PADL 2000, Boston, United States, 17 January 2000 through 18 January 2000
Note

QC 20180522

Available from: 2018-04-23 Created: 2018-04-23 Last updated: 2018-05-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopushttps://chschulte.github.io/paper.php?id=Schulte:PADL:2000

Authority records BETA

Schulte, Christian

Search in DiVA

By author/editor
Schulte, Christian
By organisation
Microelectronics and Information Technology, IMIT
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 2 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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