Suchergebnisse - "Concurrent logic programming"
-
1
Autoren: et al.
Quelle: Proceedings of the ACM on Programming Languages. 4(HOPL)
Schlagwörter: 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)
Dateibeschreibung: print
-
2
Autoren: Kazunori Ueda
Quelle: Theoretical Computer Science. 410:4784-4800
Schlagwörter: 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)
-
3
Autoren: Kazunori Ueda
Quelle: Electronic Notes in Theoretical Computer Science. 162:327-331
Schlagwörter: 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)
-
4
Autoren:
Quelle: Automated Software Engineering. 9:67-94
Schlagwörter: 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)
Dateibeschreibung: application/xml
Zugangs-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 -
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Constraint logic programming, concurrent logic programming, functional logic programming
Dateibeschreibung: 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
-
6
Autoren:
Weitere Verfasser:
Schlagwörter: Logic programming, SLD-resolution, concurrency, coinduction, Lawvere theoriesm, coinductive logic programming, concurrent logic programming
Dateibeschreibung: 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
-
7
Autoren:
Weitere Verfasser:
Schlagwörter: Concurrent logic programming
Dateibeschreibung: 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
-
8
Autoren:
Quelle: Journal of Symbolic Computation. 21:377-396
Schlagwörter: 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
Dateibeschreibung: application/xml
Zugangs-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 -
9
Autoren: Evan Tick
Quelle: The Journal of Logic Programming. 23:89-123
Schlagwörter: Logic, deevolution, 0202 electrical engineering, electronic engineering, information engineering, concurrent logic programming languages, 02 engineering and technology, Logic programming
Dateibeschreibung: application/xml
-
10
Autoren:
Quelle: The Computer Journal. 35:157-169
Schlagwörter: concurrent logic programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Parlog, Logic programming, debugging
Dateibeschreibung: application/xml
-
11
Autoren: Marion Glazerman Ben-Jacob
Schlagwörter: concurrent logic programming, multiple-valued logic, denotational semantics
Verfügbarkeit: https://doi.org/10.14569/IJACSA.2012.031002
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: Concurrent Logic Programming, Static Analysis, Concurrent Programming, Hierarchical Graph Rewriting, Optimization. i
Dateibeschreibung: application/pdf
-
13
Autoren:
Weitere Verfasser:
Schlagwörter: Concurrent Logic Programming, Automated Programming, Debugging, Static Analysis, Types, Modes, Constraint Satisfaction, GHC ii
Dateibeschreibung: application/pdf
-
14
Autoren:
Weitere Verfasser:
Schlagwörter: Concurrent Logic Programming, Types, Static Analysis, Debugging, Constraint Satisfaction
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.2745; http://www.ueda.info.waseda.ac.jp/~ajiro/ftp/ase9.pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ftp://ftp.cs.bgu.ac.il/pub/people/mcodish/susp.ps.gz
Schlagwörter: Additional Key Words and Phrases, Abstract Interpretation, concurrent logic programming, program
Dateibeschreibung: application/postscript
-
16
Autoren:
Weitere Verfasser:
Schlagwörter: Concurrent logic programming, speculative parallelism, search algorithms
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.4719; http://star.cs.bris.ac.uk/papers/spec.ps.gz
-
17
Autoren: 網代 育大
Quelle: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 2002, 17(6):779
-
18
Autoren:
Quelle: New Generation Computing. 5:185-205
Schlagwörter: concurrent logic programming, shells, parallel processing, dynamic process mapping, virtual machines, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 02 engineering and technology, parallel implementation of Flat Concurrent Prolog, Theory of operating systems
Dateibeschreibung: application/xml
Zugangs-URL: https://link.springer.com/article/10.1007/BF03037398
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: Parallelism, Concurrency, Applications, Concurrent Logic Programming, Parlog, Petri nets A Concurrent Logic Programming Encoding of Petri Nets 2
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.2824; http://munkora.cs.mu.oz.au/publications/tr_db/./mu_92_22.ps.gz
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Abduction, Distributed and Parallel Implementations, Non-monotonic and Hypothetical Reasoning, Concurrent Logic Programming Languages
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.5994; http://www.cs.ucy.ac.cy/~george/IJAIT.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science