Výsledky vyhledávání - "Programming language theory"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: urn:tid:203668855
Témata: Concurrent quantum language, Quantum computing, Concurrent computing, Programming language theory, Operational semantics, Haskell, Parsec, Linguagem quântica concorrente, Computação quântica, Computação concorrente, Teoria de linguagens de programação, Semântica operational
Popis souboru: application/pdf
Dostupnost: https://hdl.handle.net/1822/93201
-
2
Autoři:
Přispěvatelé:
Témata: Golang, Programming language theory, Type systems, eatherweight languages, Type lists, Bidirectional typing, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Popis souboru: application/pdf
Dostupnost: http://hdl.handle.net/10362/176244
-
3
Autoři:
Přispěvatelé:
Témata: Contextual equivalence, Bounded model checking, Symbolic bisimulation, Up-to techniques, Operational game semantics, BISIMULATION, Formal Semantics, model checking, programming language theory, software verification
Popis souboru: application/pdf
Relation: 13244; Y; http://hdl.handle.net/2262/98311; http://people.tcd.ie/vkoutav; 239697
-
4
Autoři: Adam Mateusz Jan Fuks
Témata: lacan, psychoanalysis, lacanian, plt, programming language theory
Relation: https://zenodo.org/records/7022537; oai:zenodo.org:7022537; https://doi.org/10.5281/zenodo.7022537
-
5
Autoři:
Zdroj: Proceedings of the XVII Conference of the Iberoamerican Society of Digital Graphics - SIGraDi: Knowledge-based Design. :500-504
Témata: Visual Arts and Performing Arts, 0211 other engineering and technologies, Social Sciences, 02 engineering and technology, Computer graphics, Engineering, Pascal (unit), Field (mathematics), Architecture, 11. Sustainability, FOS: Mathematics, Functional logic programming, Architectural Geometry and Artistic Representation, Programming paradigm, 10. No inequality, Fifth-generation programming language, Software engineering, Computer graphics (images), 9. Industry and infrastructure, 4. Education, 05 social sciences, Programming language theory, Pure mathematics, Computational Design, Architectural Design, Computer science, Programming language, Physical Sciences, Fourth-generation programming language, Graphics, Inductive programming, FOS: Arts (arts, history of arts, performing arts, music), Arts and Humanities, 0509 other social sciences, FOS: Civil engineering, Mathematics, Parametric Architecture and Urban Design
Přístupová URL adresa: http://pdf.blucher.com.br/designproceedings/sigradi2013/0096.pdf
http://pdf.blucher.com.br/designproceedings/sigradi2013/0096.pdf
http://www.proceedings.blucher.com.br/article-details/the-art-of-computer-graphics-programming -translating-pioneer-programs-14182
https://www.proceedings.blucher.com.br/article-details/14182 -
6
Autoři: Uggla, Alexander
Témata: visual scripting, visual programming, graphical scripting, intuitive programming language, programming language design, programming language theory, Media and Communication Technology, Medieteknik
Popis souboru: application/pdf
-
7
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: • Courses, Security, programming language theory, compilers, cryptography, software engineering, all levels of programming, mathematical logic, discrete mathematics, theory of computing, operating systems, networks, algorithms
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.6872; http://www.cs.cornell.edu/people/clarkson/job/ClarksonTeachingStatement.pdf
-
8
Autoři: Schürmann, Carsten
Zdroj: Lecture Notes in Computer Science ISBN: 9783642033582
Témata: Formal systems, Logical frameworks, Programming language theory, Constructive type theories, Definitional equality
Přístupová URL adresa: https://core.ac.uk/display/50525592
https://dblp.uni-trier.de/db/conf/tphol/tphol2009.html#Schurmann09
https://link.springer.com/chapter/10.1007/978-3-642-03359-9_7
https://doi.org/10.1007/978-3-642-03359-9_7
https://link.springer.com/content/pdf/10.1007%2F978-3-642-03359-9_7.pdf
https://rd.springer.com/chapter/10.1007/978-3-642-03359-9_7 -
9
Autoři: a další
Zdroj: Lecture Notes in Computer Science ISBN: 9783540853602
Témata: programming language theory, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
Popis souboru: application/pdf
Přístupová URL adresa: http://www.doc.ic.ac.uk/~yoshida/multiparty/progress_short.pdf
https://flore.unifi.it/handle/2158/1039582?mode=full.774
https://link.springer.com/chapter/10.1007/978-3-540-85361-9_33
http://www.di.unito.it/~dezani/papers/cdyp14.pdf
https://www.doc.ic.ac.uk/~yoshida/multiparty/progress_short.pdf
https://rd.springer.com/chapter/10.1007/978-3-540-85361-9_33
https://dblp.uni-trier.de/db/conf/concur/concur2008.html#BettiniCDLDY08 -
10
Autoři: de Lange, Norbert
Témata: Computer programming, Automaton, World Wide Web, Computer science, USable, Theoretical computer science, Programming language, Computer program, Programming paradigm, Inductive programming, Software, Programming language theory, Software engineering
Relation: http://osnascholar.ub.uni-osnabrueck.de/handle/unios/70984; https://doi.org/10.1007/978-3-662-65758-4_3; https://openalex.org/W4381785958
-
11
Autoři: Gu, Tianyu
Témata: Probabilistic Models, Programming Language Theory, Lisp, Machine Learning, Artificial Intelligence
Popis souboru: application/pdf
-
12
Autoři: a další
Zdroj: PLoS One
PLoS ONE, Vol 9, Iss 2, p e88941 (2014)Témata: FOS: Computer and information sciences, Second-generation programming language, Science, Programming Education, 02 engineering and technology, Computational Thinking in Education, User-Computer Interface, Third-generation programming language, 0202 electrical engineering, electronic engineering, information engineering, Humans, Programming paradigm, Comparison of multi-paradigm programming languages, Fifth-generation programming language, Automated Software Testing Techniques, Programming language theory, 16. Peace & justice, Computer science, Computer Science Applications, Programming language, Computational Thinking, Computer Science, Physical Sciences, Medicine, Programming Languages, Software, Research Article, Empirical Studies in Software Engineering, Information Systems
Přístupová URL adresa: https://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0088941&type=printable
https://pubmed.ncbi.nlm.nih.gov/24586449
https://doaj.org/article/6316c51a1fb6472cbfa8723ce346e5db
http://europepmc.org/articles/PMC3933420
http://www.mfkp.org/INRMM/article/13352432
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3933420/
http://ui.adsabs.harvard.edu/abs/2014PLoSO...988941F/abstract
https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0088941 -
13
-
14
Autoři:
Přispěvatelé:
Témata: operational game semantics, programming language theory, BISIMULATION, software verification, Bounded model checking, Symbolic bisimulation, contextual equivalence, Operational game semantics, Contextual equivalence, Up-to techniques, Formal Semantics, model checking
Popis souboru: application/pdf
-
15
Autoři:
Přispěvatelé:
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.1250; http://www.cl.cam.ac.uk/teaching/mjcg/Lectures/SpecVer1/Notes/Notes.pdf
-
16
Autoři:
Přispěvatelé:
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.3040; http://www.cl.cam.ac.uk/Teaching/mjcg/Lectures/SpecVer1/Notes03/Notes.pdf
-
17
Autoři:
Přispěvatelé:
Témata: Functional programming with effects, programming language theory, specifying and reasoning about programs
Popis souboru: application/pdf
-
18
Autoři:
Přispěvatelé:
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.8006; http://www.cl.cam.ac.uk/~mjcg/Teaching/SpecVer1/Notes/Notes.pdf
-
19
Autoři: Rypacek, Ondrej
Témata: functional programming, distributive laws, category theory, 2-categories, mathematics of programming, programming language theory, theory of computation
Popis souboru: application/pdf
Relation: https://eprints.nottingham.ac.uk/11077/1/thesis.pdf; Rypacek, Ondrej (2010) Distributive laws in programming structures. PhD thesis, University of Nottingham.
-
20
Autoři: Paolo Torroni
Přispěvatelé: Paolo Torroni
Témata: theory of computing, complexity theory, design and analysis of algorithms, programming language theory, semantics and verification of programs, computer science logic, database theory, logic programming, automated deduction, formal languages, automata, concurrency, distributed computing, cryptography and security, theoretical issues in artificial intelligence, data mining and knowledge discovery, machine learning, pattern recognition, algorithmic game theory, theory of multi-agent systems, bioinformatics, computational biology, natural computing, neural networks, quantum computing, soft computing, rough sets, granular computing
Relation: journal:FUNDAMENTA INFORMATICAE; http://hdl.handle.net/11585/621789; http://fi.mimuw.edu.pl/index.php/FI/about/editorialTeam
Nájsť tento článok vo Web of Science 
Full Text 
Full Text Finder