Výsledky vyhľadávania - Semantics of Programming Languages— Program Analysis
-
1
Autori: Tamarit Muñoz, Salvador
Prispievatelia: 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
Predmety: Concurrency Program analysis Petri Nets CSP Operational Semantics, LENGUAJES Y SISTEMAS INFORMATICOS
Prístupová URL adresa: http://hdl.handle.net/10251/31651
-
2
Autori: Nicola Angius
Zdroj: Philosophies, Vol 10, Iss 2, p 40 (2025)
Predmety: philosophy of computer science, operational semantics, denotational semantics, meaning, reference, externalist view of programs, Logic, BC1-199, Philosophy (General), B1-5802
Popis súboru: electronic resource
Prístupová URL adresa: https://doaj.org/article/97059881c1794c87a11acca74cab15c3
-
3
Prispievatelia: 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
Predmety: Concurrency Program analysis Petri Nets CSP Operational Semantics, LENGUAJES Y SISTEMAS INFORMATICOS
Prístupová URL adresa: http://hdl.handle.net/10251/31651
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages-POPL 2017
Predmety: 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 súboru: application/pdf
Prí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
Autori: a ďalší
Zdroj: Journal of Language and Linguistic Studies. 2021 17(1):558-564.
Peer Reviewed: Y
Počet strán: 7
-
6
Autori:
Zdroj: Informatics in Education. 2023 22(1):141-160.
Peer Reviewed: Y
Počet strán: 20
-
7
-
8
Prispievatelia:
Predmety: 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 súboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Prístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37723
-
9
Prispievatelia:
Predmety: 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 súboru: application/pdf
Relation: Lecture Notes in Computer Science
Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54027
-
10
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
Autori: a ďalší
Zdroj: Eurasian Journal of Applied Linguistics. 2024 10(3):22-32.
Peer Reviewed: Y
Počet strán: 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
Prispievatelia: Vafeiadis, Viktor
Predmety: 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 súboru: application/pdf
Relation: Lecture Notes in Computer Science
Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101667
-
13
Prispievatelia: Weirich, Stephanie
Predmety: 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 súboru: application/pdf
Relation: Lecture Notes in Computer Science
Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/90434
-
14
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.425; http://matt.might.net/papers/earl2012ipdcfa.pdf
-
15
Prispievatelia:
Predmety: 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 súboru: application/pdf
Relation: Lecture Notes in Computer Science
Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/89912
-
16
Prispievatelia: Sergey, Ilya
Predmety: 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 súboru: application/pdf
Relation: Lecture Notes in Computer Science
Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54028
-
17
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Prispievatelia: Yoshida, Nobuko
Predmety: 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 súboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48221
-
19
Prispievatelia: Müller, Peter
Predmety: 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 súboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Prístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37721
-
20
Prispievatelia: The Pennsylvania State University CiteSeerX Archives
Predmety: 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 súboru: 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