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

    Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics

    Authors: Long Pham Jan Hoffmann

    Source: Logical Methods in Computer Science, Vol 20, Issue 4 (2024)

    Subject Terms: computer science - programming languages, computer science - distributed, parallel, and cluster computing, computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

    File Description: electronic resource

    Relation: http://lmcs.episciences.org/12242/pdf; https://doaj.org/toc/1860-5974

    Access URL: https://doaj.org/article/63cbbff2deff4a808c90043c3f5ffc46

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

    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
  4. 4

    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
  5. 5

    Language interoperability and logic programming languages

    Authors: Cook, Jonathan J. Gilmore, Stephen

    Contributors: Cook, Jonathan J. Gilmore, Stephen

    Subject Terms: 005.3, logic programming

    Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561881

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

    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
  7. 7

    A logic-based concurrent object-oriented programming language

    Authors: Melendez, Rafael Ramirez

    Subject Terms: 005, Logic programming

    Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337487

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

    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
  9. 9

    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
  10. 10

    A Linear Logic Programming Language for Concurrent Programming over Graph Structures

    Authors: Flávio Fernandes Cruz Ricardo Rocha Goldstein,SC et al.

    File Description: application/pdf

    Availability: http://repositorio.inesctec.pt/handle/123456789/3633

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

    Foundations of Fuzzy Logic and Semantic Web Languages

    Authors: Umberto Straccia

    Resource Type: eBook.

    Subjects: Semantic Web, Programming languages (Electronic computers), Fuzzy logic

    Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Internet / General

    PDF Full Text
    Save to List
  12. 12

    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
  13. 13

    Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

    Authors: Din, Crystal Chang Hähnle, Reiner Henrio, Ludovic et al.

    Source: Din, Crystal Chang Hähnle, Reiner Henrio, Ludovic Johnsen, Einar Broch Pun, Violet Ka I Tapia Tarifa, Silvia Lizeth . Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Transactions on Programming Languages and Systems. 2024, 46(1)
    ACM Transactions on Programming Languages and Systems

    Relation: NFR/326249

    Availability: http://hdl.handle.net/10852/110698

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

    Concurrent logic programming as a hardware description tool

    Contributors: Arazi, B [Ben-Gurion Univ. of the Negev, Beersheba (Israel). Dept. of Chemical Engineering]

    Source: IEEE (Institute of Electrical and Electronics Engineers) Transactions on Computers; (USA); 39:1

    File Description: Medium: X; Size: Pages: 72-88

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

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

    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
  16. 16

    revTPL: The Reversible Temporal Process Language

    Authors: Laura Bocchi Ivan Lanese Claudio Antares Mezzina et al.

    Source: Logical Methods in Computer Science, Vol 20, Issue 1 (2024)

    Subject Terms: computer science - programming languages, computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

    File Description: electronic resource

    Relation: https://lmcs.episciences.org/10440/pdf; https://doaj.org/toc/1860-5974

    Access URL: https://doaj.org/article/de5ab92fd7694c31a8e4a830eb284383

    View record in DOAJ Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  17. 17

    Parallel implementation of concurrent logic languages using graph rewriting techniques

    Authors: Papadopoulos, George Angelos

    Subject Terms: 005, Computer software & programming

    Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329340

    View record in EThOS Nájsť tento článok vo Web of Science
    Save to List
  18. 18

    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
  19. 19

    Cross-platform development for microcontrollers: design of a virtual machine based portable programming language

    Authors: Nuru Dashdamirli

    Source: Збірник наукових праць Державного університету інфраструктури та технологій: серія "Транспортні системи і технології", Iss 45 (2025)

    Subject Terms: microcontroller, embedded systems, virtual machine, programming, bytecode, Internet of Things, concurrency, Transportation engineering, TA1001-1280

    File Description: electronic resource

    Relation: https://tst.duit.in.ua/index.php/tst/article/view/423; https://doaj.org/toc/2617-9040; https://doaj.org/toc/2617-9059

    Access URL: https://doaj.org/article/e4194ab399004dda9ffc4504848c619c

    View record in DOAJ Nájsť tento článok vo Web of Science
    Save to List
  20. 20

    Actors as a special case of concurrent constraint (logic) programming

    Authors: Vijay Saraswat Ken Kahn

    Source: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications - OOPSLA/ECOOP '90. :57-66

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

    Nájsť tento článok vo Web of Science
    Save to List

Search Tools: