Výsledky vyhledávání - "Programming language theory"
-
1
Autoři: Albuero De Luna, Alvin
Resource Type: eBook.
Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Science, COMPUTERS / Languages / General
-
2
Autoři:
Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, F.3.1, Programming Languages (cs.PL)
Přístupová URL adresa: http://arxiv.org/abs/2409.13872
-
3
Autoři: a další
Zdroj: Central-European Journal of New Technologies in Research, Education and Practice. :19-33
Témata: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, QA76 Computer software / programozás
Popis souboru: text
-
4
Autoři: Areski Nait Abdallah
Zdroj: Continuous Lattices and Their Applications ISBN: 9781003072621
-
5
-
6
Autoři:
Zdroj: Scottish Seminar on Formal Modelling, Verification, and Synthesis (SFMoVeS 19)
Popis souboru: application/pdf
Přístupová URL adresa: https://eprints.gla.ac.uk/194908/1/194908.pdf
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: Sarafov, Vasil; Brunthaler, Stefan: Fuzzing through the Prism of Programming Language Theory. In: Noll, Thomas; Fesefeldt, Ira (Ed.): 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung. 2023, S. 143 - (Aachener Informatik-Berichte)
Dostupnost: https://athene-forschung.unibw.de/146419
-
8
Autoři:
Zdroj: Lecture Notes in Computational Science and Engineering ISBN: 9783540689355
Témata: 4. Education, Mathematics & Statistics, 10. No inequality, 7. Clean energy, Hamilton Institute
Popis souboru: application/pdf
Přístupová URL adresa: http://eprints.maynoothuniversity.ie/1730/1/sound-efficient-ad2008.pdf
https://rd.springer.com/chapter/10.1007/978-3-540-68942-3_8
https://link.springer.com/chapter/10.1007/978-3-540-68942-3_8
http://eprints.maynoothuniversity.ie/1730/
http://www.bcl.hamilton.ie/~barak/papers/sound-efficient-ad2008.pdf
https://engineering.purdue.edu/~qobi/papers/ad2008.pdf
https://link.springer.com/content/pdf/10.1007%2F978-3-540-68942-3_8.pdf
https://mural.maynoothuniversity.ie/id/eprint/1730/ -
9
Autoři: Stefan SokoŁowski
Zdroj: Science of Computer Programming. 13:119-122
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Software
Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/0167642389900191
-
10
Autoři: Bryan Higman
Zdroj: The Computer Journal. 19:225-228
Témata: General topics in the theory of software, Formal languages and automata, Symbolic computation and algebraic computation, Algorithms in computer science
Popis souboru: application/xml
Přístupová URL adresa: https://academic.oup.com/comjnl/article-pdf/19/3/225/954282/190225.pdf
https://zbmath.org/3516605
https://doi.org/10.1093/comjnl/19.3.225
http://academic.oup.com/comjnl/article-abstract/19/3/225/333590
https://dblp.uni-trier.de/db/journals/cj/cj19.html#Higman76
https://academic.oup.com/comjnl/article-abstract/19/3/225/333590 -
11
Autoři:
Zdroj: Proceedings of the FSE/SDP workshop on Future of software engineering research. :155-156
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Přístupová URL adresa: https://www.nitrd.gov/subcommittee/sdp/foser/Minding%20the%20(Semantic)%20Gap%20-%20p155.pdf
http://www.nitrd.gov/subcommittee/sdp/foser/Minding%20the%20(Semantic)%20Gap%20-%20p155.pdf
https://cs.brown.edu/~sk/Publications/Papers/Published/gk-minding-sem-gap/paper.pdf
https://dl.acm.org/doi/10.1145/1882362.1882395
https://dblp.uni-trier.de/db/conf/sigsoft/foser2010.html#GuhaK10 -
12
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
-
13
Autoři:
Přispěvatelé:
Zdroj: Bibliogr. s. [394]-400.
Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:2002936357&theme=nukat
-
14
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
-
15
Autoři:
Přispěvatelé:
Popis souboru: application/pdf
-
16
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
-
17
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
-
18
Autoři: Patrascoiu, Octavian
Témata: QA 76 Software, computer programming
Relation: Patrascoiu, Octavian (2001) Introduction to Programming Language Theory. Editura Rom TPT (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13563 )
Dostupnost: https://kar.kent.ac.uk/13563/
-
19
Autoři: Constable, Robert L.
Zdroj: American Scientist, 1979 Mar 01. 67(2), 247-247.
Relation: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory Joseph E. Stoy
Přístupová URL adresa: https://www.jstor.org/stable/27849202
-
20
Zdroj: Computer Languages. 13:107
Nájsť tento článok vo Web of Science 
Full Text Finder