A history of the Oz multiparadigm language

Συγγραφείς: Van Roy, Peter, Haridi, Seif, 1953, Schulte, Christian, Smolka, Gert

Πηγή: Proceedings of the ACM on Programming Languages. 4(HOPL)

Θεματικοί όροι: 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)

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Saito, Kenji

Πηγή: 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

Συγγραφείς: Ueda, Kazunori

Πηγή: 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

Συγγραφείς: Ueda, Kazunori^Aff15

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: 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

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Monjaraz, Rubén, Mariño, Julio

Πηγή: Proceedings of the 14th symposium on Principles and practice of declarative programming. :163-172

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/2370776.2370797

LMNtal as a hierarchical logic programming language

Συγγραφείς: Kazunori Ueda

Πηγή: Theoretical Computer Science. 410:4784-4800

Θεματικοί όροι: 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

Συγγραφείς: Kazunori Ueda

Πηγή: Electronic Notes in Theoretical Computer Science. 162:327-331

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Rokusawa, Kazuaki^{Aff1, Aff2}, Nakase, Akihiko^{Aff1, Aff3}, Chikayama, Takashi^{Aff1, Aff4}

Συνεισφορές: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Haridi, Seif, editor, Ali, Khayri, editor, Magnusson, Peter, editor

Πηγή: 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

Συγγραφείς: Kazunori Ueda, Yasuhiro Ajiro

Πηγή: Automated Software Engineering. 9:67-94

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Reddy, Uday S.^Aff1

Συνεισφορές: Goos, G., editor, Hartmanis, J., editor, Carbonell, J. G., editor, Siekmann, J., editor, Dyckhoff, Roy, editor

Πηγή: 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

Συγγραφείς: Czajkowski, Grzegorz^Aff3, Zieliński, Krzysztof^Aff3

Συνεισφορές: Tick, Evan, editor^Aff1, Succi, Giancarlo, editor^Aff2

Πηγή: Implementations of Logic Programming Systems. :43-64

Monaco: A high-performance flat concurrent logic programming system

Συγγραφείς: Tick, Evan^Aff1

Συνεισφορές: Goos, G., editor, Hartmanis, J., editor, Bode, Arndt, editor, Reeve, Mike, editor, Wolf, Gottfried, editor

Πηγή: 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

Συγγραφείς: Reddy, Uday S.^Aff1

Συνεισφορές: Siekmann, J., editor, Goos, G., editor, Hartmanis, J., editor, Lamma, E., editor, Mello, P., editor

Πηγή: 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

Συγγραφείς: del Vado Vírseda, Rafael, Pérez Morente, Fernando, García Toledo, Marcos Miguel

Συνεισφορές: Rafael del Vado Vírseda and Fernando Pérez Morente and Marcos Miguel García Toledo

Θεματικοί όροι: Constraint logic programming, concurrent logic programming, functional logic programming

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Komendantskaya, Ekaterina, Power, John

Συνεισφορές: Ekaterina Komendantskaya and John Power

Θεματικοί όροι: Logic programming, SLD-resolution, concurrency, coinduction, Lawvere theoriesm, coinductive logic programming, concurrent logic programming

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Martinez, Thierry

Συνεισφορές: Thierry Martinez

Θεματικοί όροι: Concurrent logic programming

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Hirokazu Murao, Tetsuro Fujise

Πηγή: Journal of Symbolic Computation. 21:377-396

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Evan Tick

Πηγή: The Journal of Logic Programming. 23:89-123

Θεματικοί όροι: Logic, deevolution, 0202 electrical engineering, electronic engineering, information engineering, concurrent logic programming languages, 02 engineering and technology, Logic programming

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Conlon, T, Gregory, S

Πηγή: The Computer Journal. 35:157-169

Θεματικοί όροι: concurrent logic programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Parlog, Logic programming, debugging

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: 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