-
1Academic Journal
Συγγραφείς: Campion, Marco, Dalla Preda, Mila, Giacobazzi, Roberto, Urban, Caterina
Συνεισφορές: Campion, Marco
Πηγή: Proceedings of the ACM on Programming Languages. 8:1629-1662
Θεματικοί όροι: Program Monotonicity, Completeness, Complete-Analyzability, Abstract Interpretation, Complete-Analyzability, Completeness, Program Analysis, Program Monotonicity, Program Analysis, Program reasoning Abstract Interpretation, Theory of computation → Program analysis, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, CCS Concepts: Theory of computation → Program analysis Abstraction Program verification Program reasoning Abstract Interpretation, Program verification, 0202 electrical engineering, electronic engineering, information engineering, Abstraction
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://hdl.handle.net/11562/1124226
https://doi.org/10.1145/3632897 -
2Academic Journal
Συγγραφείς: Esparza, Javier, Raskin, Mikhail, Welzel, Christoph
Συνεισφορές: Javier Esparza and Mikhail Raskin and Christoph Welzel, Klin, Bartek, Lasota, Sławomir, Muscholl, Anca
Πηγή: Logical Methods in Computer Science, Vol Volume 21, Issue 1 (2025)
Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, BC1-199, computer science - distributed, parallel, and cluster computing, Logic, Theory of computation → Problems, reductions and completeness, Theory of computation → Program analysis, QA75.5-76.95, 02 engineering and technology, regular languages, Logic in Computer Science (cs.LO), computer science - logic in computer science, parameterized verification, Computer Science - Distributed, Parallel, and Cluster Computing, regular model-checking, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, Theory of computation → Invariants, structural analysis, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, traps
Περιγραφή αρχείου: application/pdf
-
3Conference
Συγγραφείς: Del Vecchio, Justin, Ko, Steven Y., Ziarek, Lukasz
Πηγή: 2020 IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems (MOBILESoft) MOBILESOFT Mobile Software Engineering and Systems (MOBILESoft), 2020 IEEE/ACM 7th International Conference on. :120-131 Oct, 2020
Relation: 2020 IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems (MOBILESoft)
-
4Academic Journal
Συγγραφείς: Gorogiannis, N, O'Hearn, PW, Sergey, I
Πηγή: Proceedings of the ACM on Programming Languages. 3:1-29
Θεματικοί όροι: CCS Concepts: • Theory of computation → Program analysis, FOS: Computer and information sciences, Computer Science - Programming Languages, • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)
Περιγραφή αρχείου: application/pdf
Συνδεδεμένο Πλήρες ΚείμενοΣύνδεσμος πρόσβασης: https://dl.acm.org/doi/pdf/10.1145/3290370
http://arxiv.org/abs/1811.03503
https://eprints.mdx.ac.uk/29747/1/3290370.pdf
https://eprints.mdx.ac.uk/29747/
https://dl.acm.org/doi/pdf/10.1145/3290370
https://dl.acm.org/doi/10.1145/3290370
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#GorogiannisOS19
http://ui.adsabs.harvard.edu/abs/2018arXiv181103503G/abstract
https://arxiv.org/abs/1811.03503
https://arxiv.org/pdf/1811.03503.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1811.html#abs-1811-03503
https://discovery-pp.ucl.ac.uk/id/eprint/10074329/ -
5Academic Journal
Συγγραφείς: Olivieri, Luca, Negrini, Luca, Arceri, Vincenzo, Tagliaferro, Fabio, Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto
Συνεισφορές: Luca Olivieri and Luca Negrini and Vincenzo Arceri and Fabio Tagliaferro and Pietro Ferrara and Agostino Cortesi and Fausto Spoto, Olivieri, Luca, Negrini, Luca, Arceri, Vincenzo, Tagliaferro, Fabio, Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto
Θεματικοί όροι: Program Verification, Blockchain, Software and its engineering → Software notations and tools, Static Analysis, DApps, Theory of computation → Program verification, Theory of computation → Program analysis, ddc:004, Go language, Security and privacy → Distributed systems security, Non-determinism, Smart contracts
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.23
-
6Academic Journal
Συγγραφείς: Lemerre, Matthieu
Συνεισφορές: Lemerre, Matthieu
Θεματικοί όροι: Cyclic term graph, Equational logic and rewriting Static Single Assignment (SSA), CCS Concepts: • Software and its engineering → Compilers, Program verification, Abstract interpretation, • Theory of computation → Program analysis, Formal software verification, Abstraction, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Περιγραφή αρχείου: application/pdf
-
7Conference
Συγγραφείς: von Buelow, Max, Riemann, Kai, Guthe, Stefan, Fellner, Dieter W.
Θεματικοί όροι: Research Line: Computer graphics (CG), 0202 electrical engineering, electronic engineering, information engineering, Visual analytics, Graphics processors, Program analysis, Human centered computing, 02 engineering and technology, Computing methodologies, CCS Concepts: Human-centered computing --> Visual analytics, Computing methodologies --> Graphics processors, Theory of computation --> Program analysis, Theory of computation
-
8Report
Συγγραφείς: von Buelow, Max, Stensbeck, Tobias, Knauthe, Volker, Guthe, Stefan, Fellner, Dieter W.
Συνεισφορές: Yang, Yin, Parakkat, Amal D., Deng, Bailin, Noh, Seung-Tak
Θεματικοί όροι: Software and its engineering → Software reverse engineering, Research Line: Computer graphics (CG), 0202 electrical engineering, electronic engineering, information engineering, Theory of computation → Program analysis, Computing methodologies → Ray tracing, Ray tracing, 02 engineering and technology, CCS Concepts: Software and its engineering → Software reverse engineering
Περιγραφή αρχείου: text
Σύνδεσμος πρόσβασης: https://tuprints.ulb.tu-darmstadt.de/26597/1/029-034.pdf
-
9Academic Journal
Συγγραφείς: Nielsen, Benjamin Barslev, Møller, Anders
Συνεισφορές: Benjamin Barslev Nielsen and Anders Møller, Hirschfeld, Robert, Pape, Tobias
Πηγή: Nielsen, B B & Møller, A 2020, Value Partitioning : A Lightweight Approach to Relational Static Analysis for JavaScript. in 34th European Conference on Object-Oriented Programming, ECOOP 2020., 16, Dagstuhl Publishing, Leibniz International Proceedings in Informatics, 34th European Conference on Object-Oriented Programming (ECOOP 2020), Online, 15/11/2020. https://doi.org/10.4230/LIPIcs.ECOOP.2020.16
34th European Conference on Object-Oriented ProgrammingΘεματικοί όροι: JavaScript, Dataflow analysis, Theory of computation → Program analysis, Abstract interpretation, abstract interpretation, ddc:004, dataflow analysis
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/opus/volltexte/2020/13173/
https://drops.dagstuhl.de/opus/volltexte/2020/13173/pdf/LIPIcs-ECOOP-2020-16.pdf/
https://dblp.uni-trier.de/db/conf/ecoop/ecoop2020.html#NielsenM19
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.16
https://pure.au.dk/portal/en/publications/d9bc64e8-6c48-4bbc-9b42-e5bcc9047452
https://pure.au.dk/portal/en/publications/d9bc64e8-6c48-4bbc-9b42-e5bcc9047452
https://doi.org/10.4230/LIPIcs.ECOOP.2020.16
https://pure.au.dk/ws/files/202400613/LIPIcs_ECOOP_2020_16.pdf
http://www.scopus.com/inward/record.url?scp=85115262217&partnerID=8YFLogxK -
10Academic Journal
Συγγραφείς: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine
Συνεισφορές: Raphaël Monat and Abdelraouf Ouadjaout and Antoine Miné, Monat, Raphaël, Hirschfeld, Robert, Pape, Tobias
Πηγή: European Conference on Object-Oriented Programming
Θεματικοί όροι: Software and its engineering → Semantics, Static Analysis, Abstract Interpretation, Theory of computation → Program analysis, Dynamic Programming Language, ddc:004, Formal Methods, Type Analysis, Python Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://dblp.uni-trier.de/db/conf/ecoop/ecoop2020.html#MonatOM19
https://hal.archives-ouvertes.fr/hal-02994000/document
https://doi.org/10.4230/LIPIcs.ECOOP.2020.17
https://hal.archives-ouvertes.fr/hal-02994000
https://drops.dagstuhl.de/opus/volltexte/2020/13174/pdf/LIPIcs-ECOOP-2020-17.pdf/
https://drops.dagstuhl.de/opus/volltexte/2020/13174/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.17
https://hal.science/hal-02994000v1
https://hal.science/hal-02994000v1/document
https://doi.org/10.4230/lipics.ecoop.2020.17 -
11Academic Journal
Συγγραφείς: Xu, Chuangjie
Συνεισφορές: Chuangjie Xu, Zena M. Ariola
Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Theory of computation → Program analysis, logical relation, Mathematics - Logic, Theory of computation → Type theory, majorizability, 16. Peace & justice, continuity, 3. Good health, Logic in Computer Science (cs.LO), Gödel's System T, Theory of computation → Proof theory, bar recursion, monadic translation, FOS: Mathematics, F.4.1, ddc:004, Logic (math.LO), Agda, negative translation, Programming Languages (cs.PL)
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1908.05979
https://arxiv.org/abs/1908.05979
https://arxiv.org/pdf/1908.05979.pdf
https://drops.dagstuhl.de/opus/volltexte/2020/12347/
https://dblp.uni-trier.de/db/journals/corr/corr1908.html#abs-1908-05979
https://doi.org/10.4230/LIPIcs.FSCD.2020.25
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.25 -
12Conference
Συγγραφείς: Altmeyer, Sebastian
Συνεισφορές: Sebastian Altmeyer
Θεματικοί όροι: Computer systems organization, Software and its engineering, Program analysis, Theory of computation, Program analysis, Computer systems organization, Real-time systems, Software and its engineering, Software performance, ddc:004, Software performance, Real-time systems, Theory of computation
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2019
-
13Conference
Συγγραφείς: Brandner, Florian
Συνεισφορές: Florian Brandner
Θεματικοί όροι: Computer systems organization, Computer systems organization, Real-time systems, Theory of computation, Program analysis, Software and its engineering, Software performance, Software and its engineering, Program analysis, ddc:004, Software performance, Real-time systems, Theory of computation
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2018
-
14Academic Journal
Συγγραφείς: Snelting, Gregoraff1_w2aab2b8c21b1b7b1aab1b4b7Aa, Giffhorn, Dennisaff1_w2aab2b8c21b1b7b1aab1b4b7Aa, Graf, Jürgenaff1_w2aab2b8c21b1b7b1aab1b4b7Aa, Hammer, Christianaff1_w2aab2b8c21b1b7b1aab1b4b7Aa, Hecker, Martinaff1_w2aab2b8c21b1b7b1aab1b4b7Aa, Mohr, Martinaff1_w2aab2b8c21b1b7b1aab1b4b7Aa, Wasserrab, Danielaff1_w2aab2b8c21b1b7b1aab1b4b7Aa
Πηγή: it - Information Technology. 56(6):280-287