Výsledky vyhledávání - Semantics of Programming Languages- Program analysis
-
1
Autoři: Tamarit Muñoz, Salvador
Přispěvatelé: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Thesis Advisors: Silva Galiana, Josep Francesc, Vidal Oriola, Germán Francisco
Zdroj: Riunet
Témata: Concurrency Program analysis Petri Nets CSP Operational Semantics, LENGUAJES Y SISTEMAS INFORMATICOS
Přístupová URL adresa: http://hdl.handle.net/10251/31651
-
2
Autoři: Nicola Angius
Zdroj: Philosophies, Vol 10, Iss 2, p 40 (2025)
Témata: philosophy of computer science, operational semantics, denotational semantics, meaning, reference, externalist view of programs, Logic, BC1-199, Philosophy (General), B1-5802
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/97059881c1794c87a11acca74cab15c3
-
3
Přispěvatelé: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Thesis Advisors: Silva Galiana, Josep Francesc, Vidal Oriola, Germán Francisco
Zdroj: Riunet
Témata: Concurrency Program analysis Petri Nets CSP Operational Semantics, LENGUAJES Y SISTEMAS INFORMATICOS
Přístupová URL adresa: http://hdl.handle.net/10251/31651
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages-POPL 2017
Témata: heap abstraction, Software/Program Verification, 0202 electrical engineering, electronic engineering, information engineering, disjunctions, Specifying and Verifying and Reasoning about Programs, abstract interpretation, 02 engineering and technology, silhouette, clumping of disjuncts, separation logics, Semantics of Programming Languages-Program analysis, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.inria.fr/hal-01648679/file/popl17.pdf
https://dl.acm.org/doi/abs/10.1145/3093333.3009881
https://hal.inria.fr/hal-01648679/document
https://dblp.uni-trier.de/db/conf/popl/popl2017.html#LiBCR17
https://dl.acm.org/doi/pdf/10.1145/3009837.3009881
https://dl.acm.org/citation.cfm?doid=3009837.3009881 -
5
Autoři: a další
Zdroj: Journal of Language and Linguistic Studies. 2021 17(1):558-564.
Peer Reviewed: Y
Page Count: 7
-
6
Autoři:
Zdroj: Informatics in Education. 2023 22(1):141-160.
Peer Reviewed: Y
Page Count: 20
-
7
-
8
Přispěvatelé:
Témata: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37723
-
9
Přispěvatelé:
Témata: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54027
-
10
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Distributed Programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages— Program Analysis, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed Applications General Terms Languages, Performance Keywords event, distributed, correlation, language, program analysis
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.1183; http://www.cs.purdue.edu/homes/peugster/EventJava/EvProgAnal.pdf
-
11
Autoři: a další
Zdroj: Eurasian Journal of Applied Linguistics. 2024 10(3):22-32.
Peer Reviewed: Y
Page Count: 11
Descriptors: Contrastive Linguistics, Turkic Languages, Russian, English, Mass Media, News Reporting, Social Media, Text Structure, Audiences, Folk Culture, Language Usage, Programming Languages, Computational Linguistics, Artificial Intelligence, Self Concept, Cultural Traits, Figurative Language, Phrase Structure, Translation, Language Processing, Cultural Awareness, Media Literacy
-
12
Přispěvatelé: Vafeiadis, Viktor
Témata: effects, functional programming, semantics, program synthesis, session types, dependent types, quantum programming, verification, program analysis, abstract interpretation, Programming and scripting languages: general, Compilers and interpreters
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101667
-
13
Přispěvatelé: Weirich, Stephanie
Témata: effects, functional programming, semantics, program synthesis, session types, dependent types, quantum programming, verification, program analysis, abstract interpretation, Compilers and interpreters, Programming and scripting languages: general
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/90434
-
14
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.3.4 [Programming lan- guages, Processors—Optimization, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis, Operational semantics General Terms Languages, Theory Keywords CFA2, pushdown systems, abstract interpretation, pushdown analysis, program analysis, abstract machines, abstract garbage collection, higher-order
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.425; http://matt.might.net/papers/earl2012ipdcfa.pdf
-
15
Přispěvatelé:
Témata: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/89912
-
16
Přispěvatelé: Sergey, Ilya
Témata: automata theory, computer programming, computer systems, databases, distributed computer systems, distributed systems, embedded systems, formal languages, formal logic, linguistics, ontologies, parallel processing systems, program compilers, programming languages, semantics, software design, software engineering, software quality, verification, Programming and scripting languages: general, Computer science, Algorithms and data structures, Network hardware, Computer programming / software engineering
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54028
-
17
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7682; http://www.bodden.de/pubs/bmb%2B13spllift.pdf
-
18
Přispěvatelé: Yoshida, Nobuko
Témata: Programming Languages, Compilers, Interpreters, Natural Language Processing (NLP), Software Engineering, Logics and Meanings of Programs, Computer Systems Organization and Communication Networks, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Computer Engineering and Networks, computer programming, concurrency theory, distributed computer systems, formal logic, lamdba calculi, linguistics, logic, object-oriented programming, parallel processing systems, probabilistic programming, process calculi, program compilers, semantics, software design, software quality, theory, types, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Natural language & machine translation, Computer programming / software engineering, Computer architecture & logic design, Computer networking & communications, Programming and scripting languages: general, Artificial intelligence, Computer networking and communications
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48221
-
19
Přispěvatelé: Müller, Peter
Témata: Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Information Systems and Communication Service, Natural Language Processing (NLP), Theory of Computation, artificial intelligence, computer networks, computer programming, computer security, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, object-oriented programming, parallel processing systems, program compilers, semantics, software architecture, software design, software engineering, software quality, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Computer networking & communications, Algorithms & data structures, Natural language & machine translation, Computer science, Mathematical theory of computation, Programming and scripting languages: general, Computer networking and communications, Algorithms and data structures, Natural language and machine translation
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37721
-
20
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: General Terms, Languages, Theory Additional Key Words and Phrases, Abstract interpretation, abstract domain, completeness, fixpoint completeness, complete core, complete shell, integer interval analysis, logic program analysis
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.82.2; http://profs.sci.univr.it/~giaco/download/jacm.ps.gz
Full Text Finder 
Nájsť tento článok vo Web of Science