Search Results - "Concurrent Logic Programming Languages"

Refine Results
  1. 1

    The deevolution of concurrent logic programming languages

    Authors: Evan Tick

    Source: The Journal of Logic Programming. 23:89-123

    Subject Terms: Logic, deevolution, 0202 electrical engineering, electronic engineering, information engineering, concurrent logic programming languages, 02 engineering and technology, Logic programming

    File Description: application/xml

    Access URL: https://www.sciencedirect.com/science/article/pii/0743106694000388
    https://dblp.uni-trier.de/db/journals/jlp/jlp23.html#Tick95
    https://doi.org/10.1016/0743-1066(94)00038-8
    http://www.sciencedirect.com/science/article/pii/0743106694000388
    https://core.ac.uk/display/82787481

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic

    Authors: Marion Glazerman Ben-Jacob

    Source: International Journal of Advanced Computer Science and Applications. 3

    Access URL: http://thesai.org/Downloads/Volume3No10/Paper_2-A_Semantics_for_Concurrent_Logic_Programming_Languages_Based_on_Multiple-_Valued_Logic.pdf
    https://thesai.org/Downloads/Volume3No10/Paper_2-A_Semantics_for_Concurrent_Logic_Programming_Languages_Based_on_Multiple-_Valued_Logic.pdf
    https://thesai.org/Publications/ViewPaper?Volume=3&Issue=10&Code=IJACSA&SerialNo=2

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    The family of concurrent logic programming languages

    Authors: Ehud Shapiro

    Source: Logic, Algebra, and Computation ISBN: 9783642768019

    Subject Terms: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 10. No inequality, 7. Clean energy, 3. Good health

    Access URL: https://link.springer.com/chapter/10.1007/978-3-642-76799-9_10
    https://dblp.uni-trier.de/db/journals/csur/csur21.html#Shapiro89
    https://dl.acm.org/doi/abs/10.1145/72551.72555
    https://rd.springer.com/chapter/10.1007/978-3-642-76799-9_10
    https://apps.dtic.mil/sti/pdfs/ADA213958.pdf
    https://apps.dtic.mil/dtic/tr/fulltext/u2/a213958.pdf

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    Studies on formal semantics of concurrent logic programming languages

    Authors: 加藤暢 [著]

    File Description: image/jp2

    Access URL: https://ndlsearch.ndl.go.jp/books/R100000039-I3130738

    Degree: 博士 (工学) -- 岡山大学

    View record at National Diet Library Digital Collections
    Save to List
  5. 5

    Objects in concurrent logic programming languages

    Authors: Eric Dean Tribble Mark S. Miller Ken Kahn et al.

    Source: Conference proceedings on Object-oriented programming systems, languages and applications - OOPLSA '86. :242-257

    Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

    Access URL: https://dblp.uni-trier.de/db/conf/oopsla/oopsla86.html#KahnTMB86
    https://dl.acm.org/doi/10.1145/960112.28721

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    Detecting stable properties of networks in concurrent logic programming languages

    Authors: Vijay Saraswat Ken Kahn David Weinbaum

    Source: Proceedings of the seventh annual ACM Symposium on Principles of distributed computing - PODC '88. :210-222

    Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

    Access URL: https://dl.acm.org/citation.cfm?doid=62546.62582
    https://dblp.uni-trier.de/db/conf/podc/podc88.html#SaraswatKW88
    https://doi.org/10.1145/62546.62582
    https://dl.acm.org/doi/10.1145/62546.62582
    http://portal.acm.org/citation.cfm?doid=62546.62582

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    Towards a formal semantics for concurrent logic programming languages

    Authors: Lennart Beckman

    Source: Lecture Notes in Computer Science ISBN: 9783540164920

    Access URL: https://rd.springer.com/chapter/10.1007/3-540-16492-8_86
    https://dblp.uni-trier.de/db/conf/iclp/iclp86.html#Beckman86
    https://link.springer.com/chapter/10.1007/3-540-16492-8_86
    https://link.springer.com/content/pdf/10.1007%2F3-540-16492-8_86.pdf

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  8. 8

    The Family of Concurrent Logic Programming Languages

    Authors: WEIZMANN INST OF SCIENCE REHOVOT (ISRAEL) DEPT OF APPLIED MATHEMATICS AND COMPUTER SCIENCE Shapiro, Ehud Y.

    Source: DTIC AND NTIS

    Index Terms: Computer Programming and Software, HIGH LEVEL LANGUAGES, READING, COMPUTATIONS, DISTRIBUTED DATA PROCESSING, DISTRIBUTION, DYNAMICS, COMPUTER LOGIC, COMPUTER PROGRAMMING, PARALLEL PROCESSING, SURVEYS, SYNCHRONIZATION(ELECTRONICS), RANGE(EXTREMES), LOGIC, MATHEMATICAL MODELS, ISRAEL, FOREIGN REPORTS, Text

    URL: https://apps.dtic.mil/docs/citations/ADA213958

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    Architectural support for concurrent logic programming languages

    Contributors: Alkalaj, L

    File Description: Medium: X; Size: Pages: (vp.)

    Access URL: http://www.osti.gov/scitech/biblio/7184662

    View record at SciTech Connect Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    A Determinacy Testing Algorithm for Nondeterminate Flat Concurrent Logic Programming Languages

    Authors: Tick, E. Korsloot, M.

    Subject Terms: don't-know procedure, decision graph, node generation

    File Description: application/pdf

    Relation: https://scholarsbank.uoregon.edu/xmlui/handle/1794/28440

    Availability: https://scholarsbank.uoregon.edu/xmlui/handle/1794/28440

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  11. 11

    Studies on formal semantics of concurrent logic programming languages
    並行論理型プログラミング言語の形式意味論に関する研究

    Authors: 加藤, 暢 加藤暢 [著]

    View record at National Diet Library Digital Collections
    Save to List
  12. 12

    Objects in concurrent logic programming languages (abstract only)

    Authors: Ken Kahn

    Source: Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming. :186

    Access URL: https://dblp.uni-trier.de/db/journals/sigplan/sigplan21.html#Kahn86
    https://dl.acm.org/doi/10.1145/323779.323765
    http://portal.acm.org/citation.cfm?doid=323779.323765

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  13. 13

    Objects in concurrent logic programming languages

    Authors: Kahn, Kenneth Tribble, Eric Dean Miller, Mark S. et al.

    Source: Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming - ; page 29-38

    Availability: https://doi.org/10.1145/323779.323739
    https://dl.acm.org/doi/10.1145/323779.323739
    http://dl.acm.org/ft_gateway.cfm?id=323739%26amp%3Bftid=12110%26amp%3Bdwn=1

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    A Semantics for Concurrent Logic Programming Languages Based on Multiple- Valued Logic

    Authors: Marion Glazerman Ben-jacob The Pennsylvania State University CiteSeerX Archives

    Contributors: Marion Glazerman Ben-jacob The Pennsylvania State University CiteSeerX Archives

    Source: http://thesai.org/Downloads/Volume3No10/Paper_2-A_Semantics_for_Concurrent_Logic_Programming_Languages_Based_on_Multiple-_Valued_Logic.pdf.

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.252.9511

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.252.9511
    http://thesai.org/Downloads/Volume3No10/Paper_2-A_Semantics_for_Concurrent_Logic_Programming_Languages_Based_on_Multiple-_Valued_Logic.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    The Family of Concurrent Logic Programming Languages

    Authors: Shapiro, Ehud

    Source: Logic, Algebra, and Computation ; page 359-485 ; ISBN 9783642768019 9783642767999

    Availability: https://doi.org/10.1007/978-3-642-76799-9_10
    http://link.springer.com/content/pdf/10.1007/978-3-642-76799-9_10.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    The Family of Concurrent Logic Programming Languages EHUD SHAPIRO

    Contributors: The Pennsylvania State University CiteSeerX Archives

    Source: http://www.wisdom.weizmann.ac.il/~udi/papers/concurrentlogicprog_89.pdf.

    Subject Terms: General Terms, Languages Additional Key Words and Phrases, Atomic unification, computation replay, distributed detection, incomplete messages, indeterminism, input matching, language e

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.8108; http://www.wisdom.weizmann.ac.il/~udi/papers/concurrentlogicprog_89.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.8108
    http://www.wisdom.weizmann.ac.il/~udi/papers/concurrentlogicprog_89.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  17. 17

    Chapter 9: cc Languages in Context: 9.2: Concurrent logic programming languages.

    Authors: Saraswat, Vijay

    Source: Concurrent Constraint Programming; 1993, p393-414, 22p

    Save to List
  18. 18

    The Family of Concurrent Logic Programming Languages.

    Authors: Shapiro, Ehud

    Source: ACM Computing Surveys; Sep89, Vol. 21 Issue 3, p413-510, 98p, 4 Diagrams, 5 Charts

    Subject Terms: LOGIC programming languages, PROGRAMMING languages

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  19. 19

    Detecting stable properties of networks in concurrent logic programming languages.

    Authors: Saraswat, Vijay A. Kahn, Kenneth Weinbaum, David

    Source: Proceedings of the Seventh Annual ACM Symposium: Principles of Distributed Computing; Aug1988, p210-222, 13p

    Full Text Finder
    Save to List
  20. 20

    The Family of Concurrent Logic Programming Languages

    Authors: Shapiro, Ehud Y. WEIZMANN INST OF SCIENCE REHOVOT (ISRAEL) DEPT OF APPLIED MATHEMATICS AND COMPUTER SCIENCE

    Contributors: Shapiro, Ehud Y. WEIZMANN INST OF SCIENCE REHOVOT (ISRAEL) DEPT OF APPLIED MATHEMATICS AND COMPUTER SCIENCE

    Source: DTIC AND NTIS

    Subject Terms: Computer Programming and Software, HIGH LEVEL LANGUAGES, READING, COMPUTATIONS, DISTRIBUTED DATA PROCESSING, DISTRIBUTION, DYNAMICS, COMPUTER LOGIC, COMPUTER PROGRAMMING, PARALLEL PROCESSING, SURVEYS, SYNCHRONIZATION(ELECTRONICS), RANGE(EXTREMES), LOGIC, MATHEMATICAL MODELS, ISRAEL, FOREIGN REPORTS

    File Description: text/html

    Relation: http://www.dtic.mil/docs/citations/ADA213958

    Availability: http://www.dtic.mil/docs/citations/ADA213958
    http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA213958

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: