A history of the Oz multiparadigm language

Authors: Van Roy, Peter, Haridi, Seif, 1953, Schulte, Christian, Smolka, Gert

Source: Proceedings of the ACM on Programming Languages. 4(HOPL)

Subject Terms: Computer programming, Concurrent programming, Dataflow, Distributed programming, Functional programming, Lazy evaluation, Logic programming, Multiparadigm programming, Programming education, Calculations, Concurrent constraint, Concurrent logic programming, Constraint Logic Programming, Foundational calculus, Layered Structures, Multi-paradigm languages, Programming course, Programming paradigms, PROLOG (programming language)

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928
https://doi.org/10.1145/3386333

Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming

Authors: Saito, Kenji

Source: 2008 19th International Workshop on Database and Expert Systems Applications Database and Expert Systems Application, 2008. DEXA '08. 19th International Workshop on. :342-346 Sep, 2008

Relation: 2008 19th International Workshop on Database and Expert Systems Applications (DEXA)

Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project

Authors: Ueda, Kazunori

Source: In Science of Computer Programming 15 October 2018 164:3-17

Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project

Authors: Ueda, Kazunori^Aff15

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Kiselyov, Oleg, editor^Aff13, King, Andy, editor^Aff14

Source: Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings. 9613:1-11

Development of Concurrent Object-Oriented Logic Programming Platform for the Intelligent Monitoring of Anomalous Human Activities

Authors: Morozov, Alexei A.^{Aff14, Aff17}, Vaish, Abhishek^Aff15, Polupanov, Alexander F.^{Aff14, Aff17}, Antciperov, Vyacheslav E.^Aff14, Lychkov, Igor I.^Aff16, Alfimtsev, Aleksandr N.^Aff16, Deviatkov, Vladimir V.^Aff16

Contributors: Diniz Junqueira Barbosa, Simone, Series editor^Aff1, Chen, Phoebe, Series editor^Aff2, Du, Xiaoyong, Series editor^Aff3, Filipe, Joaquim, Series editor^Aff4, Kara, Orhun, Series editor^Aff5, Liu, Ting, Series editor^Aff6, Kotenko, Igor, Series editor^Aff7, Sivalingam, Krishna M., Series editor^Aff8, Washio, Takashi, Series editor^Aff9, Plantier, Guy, editor^Aff10, Schultz, Tanja, editor^Aff11, Fred, Ana, editor^Aff12, Gamboa, Hugo, editor^Aff13

Source: Biomedical Engineering Systems and Technologies : 7th International Joint Conference, BIOSTEC 2014, Angers, France, March 3-6, 2014, Revised Selected Papers. 511:82-97

From the π-calculus to flat GHC

Authors: Monjaraz, Rubén, Mariño, Julio

Source: Proceedings of the 14th symposium on Principles and practice of declarative programming. :163-172

Availability: http://dl.acm.org/doi/10.1145/2370776.2370797

LMNtal as a hierarchical logic programming language

Authors: Kazunori Ueda

Source: Theoretical Computer Science. 410:4784-4800

Subject Terms: Concurrent logic programming, LMNtal, Hierarchical graph rewriting, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Concurrent constraint programming, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Constraint-Based Concurrency and Beyond

Authors: Kazunori Ueda

Source: Electronic Notes in Theoretical Computer Science. 162:327-331

Subject Terms: concurrent logic programming, LMNtal, concurrent constraint programming, hierarchical graph rewriting, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, constraint-based concurrency, mobility, multiset rewriting, Theoretical Computer Science, Computer Science(all)

Access URL: https://dblp.uni-trier.de/db/journals/entcs/entcs162.html#Ueda06
https://waseda.pure.elsevier.com/ja/publications/constraint-based-concurrency-and-beyond
https://www.sciencedirect.com/science/article/pii/S1571066106004567
https://core.ac.uk/display/82680481

Quiescence detection in a distributed KLIC implementation

Authors: Rokusawa, Kazuaki^{Aff1, Aff2}, Nakase, Akihiko^{Aff1, Aff3}, Chikayama, Takashi^{Aff1, Aff4}

Contributors: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Haridi, Seif, editor, Ali, Khayri, editor, Magnusson, Peter, editor

Source: EURO-PAR '95 Parallel Processing : First International EURO-PAR Conference Stockholm, Sweden, August 29–31, 1995 Proceedings. 966:539-551

Kima: An Automated Error Correction System for Concurrent Logic Programs: Kima: An automated error correction system for concurrent logic programs

Authors: Kazunori Ueda, Yasuhiro Ajiro

Source: Automated Software Engineering. 9:67-94

Subject Terms: concurrent logic programming, FOS: Computer and information sciences, Computing methodologies and applications, Computer Science - Programming Languages, D.2.5, constraint satisfaction, 05 social sciences, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, debugging, Software Engineering (cs.SE), Computer Science - Software Engineering, static analysis, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, types, Programming Languages (cs.PL)

File Description: application/xml

Access URL: http://arxiv.org/abs/cs/0012007
https://waseda.pure.elsevier.com/en/publications/kima-an-automated-error-correction-system-for-concurrent-logic-pr
https://dblp.uni-trier.de/db/journals/ase/ase9.html#AjiroU02
https://waseda.pure.elsevier.com/en/publications/kima-an-automated-error-correction-system-for-concurrent-logic-pr-2
https://link.springer.com/article/10.1023/A%3A1013232219911
https://ui.adsabs.harvard.edu/abs/2000cs.......12007A/abstract
http://www.ueda.info.waseda.ac.jp/~ajiro/ftp/aadebug9-confname.pdf

Higher-order aspects of logic programming

Authors: Reddy, Uday S.^Aff1

Contributors: Goos, G., editor, Hartmanis, J., editor, Carbonell, J. G., editor, Siekmann, J., editor, Dyckhoff, Roy, editor

Source: Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings. 798:301-321

How Concurrent Logic Programming Could Benefit from Using Linda-like Operations

Authors: Czajkowski, Grzegorz^Aff3, Zieliński, Krzysztof^Aff3

Contributors: Tick, Evan, editor^Aff1, Succi, Giancarlo, editor^Aff2

Source: Implementations of Logic Programming Systems. :43-64

Monaco: A high-performance flat concurrent logic programming system

Authors: Tick, Evan^Aff1

Contributors: Goos, G., editor, Hartmanis, J., editor, Bode, Arndt, editor, Reeve, Mike, editor, Wolf, Gottfried, editor

Source: PARLE '93 Parallel Architectures and Languages Europe : 5th International PARLE Conference Munich, Germany, June 14–17, 1993 Proceedings. 694:266-278

A typed foundation for directional logic programming

Authors: Reddy, Uday S.^Aff1

Contributors: Siekmann, J., editor, Goos, G., editor, Hartmanis, J., editor, Lamma, E., editor, Mello, P., editor

Source: Extensions of Logic Programming : Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings. 660:282-318

A Concurrent Operational Semantics for Constraint Functional Logic Programming

Authors: del Vado Vírseda, Rafael, Pérez Morente, Fernando, García Toledo, Marcos Miguel

Contributors: Rafael del Vado Vírseda and Fernando Pérez Morente and Marcos Miguel García Toledo

Subject Terms: Constraint logic programming, concurrent logic programming, functional logic programming

File Description: application/pdf

Relation: Is Part Of LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.154

Availability: https://doi.org/10.4230/LIPIcs.ICLP.2012.154
https://nbn-resolving.org/urn:nbn:de:0030-drops-36185
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.154

Coalgebraic Derivations in Logic Programming

Authors: Komendantskaya, Ekaterina, Power, John

Contributors: Ekaterina Komendantskaya and John Power

Subject Terms: Logic programming, SLD-resolution, concurrency, coinduction, Lawvere theoriesm, coinductive logic programming, concurrent logic programming

File Description: application/pdf

Relation: Is Part Of LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.352

Availability: https://doi.org/10.4230/LIPIcs.CSL.2011.352
https://nbn-resolving.org/urn:nbn:de:0030-drops-32424
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.352

Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints

Authors: Martinez, Thierry

Contributors: Thierry Martinez

Subject Terms: Concurrent logic programming

File Description: application/pdf

Relation: Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277

Availability: https://doi.org/10.4230/LIPIcs.ICLP.2010.277
https://nbn-resolving.org/urn:nbn:de:0030-drops-26085
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277

Modular Algorithm for Sparse Multivariate Polynomial Interpolationand its Parallel Implementation: Modular algorithm for sparse multivariate polynomial interpolation and its parallel implementation

Authors: Hirokazu Murao, Tetsuro Fujise

Source: Journal of Symbolic Computation. 21:377-396

Subject Terms: concurrent logic programming language KL1, Computational Mathematics, Algebra and Number Theory, Analysis of algorithms and problem complexity, 0102 computer and information sciences, Parallel algorithms in computer science, 0101 mathematics, 01 natural sciences

File Description: application/xml

Access URL: https://zbmath.org/968642
https://doi.org/10.1006/jsco.1996.0020
https://core.ac.uk/display/82603892
https://www.sciencedirect.com/science/article/pii/S0747717196900206
https://dblp.uni-trier.de/db/journals/jsc/jsc21.html#MuraoF96
https://www.sciencedirect.com/science/article/abs/pii/S0747717196900206

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

Debugging Tools for Concurrent Logic Programming: Debugging tools for concurrent logic programming

Authors: Conlon, T, Gregory, S

Source: The Computer Journal. 35:157-169

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

File Description: application/xml

Access URL: https://academic.oup.com/comjnl/article-pdf/35/2/157/1031477/35-2-157.pdf
https://dblp.uni-trier.de/db/journals/cj/cj35.html#ConlonG92
https://academic.oup.com/comjnl/article/35/2/157/360267