Search Results - Semantics of Programming Languages— program analysis General Terms Algorithms*
-
1
Authors: et al.
Source: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.
HTML Full Text PDF Full Text -
2
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Performance Keywords Parallel Programming, Dynamic Analysis, Object- Oriented Analysis, Heap Analysis, Parallelization
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.692.1298; http://demsky.eecs.uci.edu/publications/doj.pdf?origin%3Dpublication_detail
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Memory management (garbage collection, Optimization, F.3.2 [Logics and Meanings Of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Aliasing, Data Flow Analysis, Heap References, Liveness
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.9111; http://arxiv.org/pdf/cs/0608104v2.pdf
-
4
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: context sensitivity
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.5573; http://www.cs.rpi.edu/~milanova/docs/paste07.pdf
-
5
Authors: et al.
Contributors: et al.
Subject Terms: Languages, Algorithms, Experimentation Keywords Clone detection, abstract interpretation, static analysis, soft- ware
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages. 4:1-33
Subject Terms: Denotational semantics, FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Programming Languages, Probabilistic programming, Bayesian computation, Static analysis, 01 natural sciences, Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Machine Learning (cs.LG), Variational methods, Machine learning, Automated static analysis, Correctness, 0101 mathematics, Probabilistic computation, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3371084
http://arxiv.org/abs/1907.08827
https://hal.science/hal-02399922v1
https://hal.science/hal-02399922v1/document
https://doi.org/10.1145/3371084
https://hal.inria.fr/hal-02399922v1
https://hal.archives-ouvertes.fr/hal-02399922
https://arxiv.org/abs/1907.08827
https://koasas.kaist.ac.kr/handle/10203/287743
https://dblp.uni-trier.de/db/journals/corr/corr1907.html#abs-1907-08827
https://arxiv.org/pdf/1907.08827.pdf -
7
Authors:
Contributors:
Subject Terms: and meanings of Programs, Semantics of Programming Languages—Program Analysis General Terms, Algorithms, Documentation, Experimentation, Languages, Theory Additional Key Words and Phrases, Class hierarchy reengineering, concept analysis
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.3 [Software Engineering, Coding Tools and Techniques—Objectoriented programming, program editors, D.2.6 [Software Engineering, Programming Environments— Interactive environments, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement— Restructuring, reverse engineering, and reengineering, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Design, Languages Additional Key Words and Phrases, Refactoring, type constraints, program transformation ACM Reference Format
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— debugging aids, D.2.6 [Software Engineering, Programming Environments, E.1 [Data Structures, Graphs, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Languages Additional Key Words and Phrases, Slicing, Internal Representation, Performance Enhancement
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— debugging aids, D.2.6 [Software Engineering, Programming Environments, E.1 [Data Structures, Graphs, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Languages Additional Key Words and Phrases, Slicing, Internal Representation, Performance Enhancement
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, F.3.1 [Logics and Mean- ing of Programs, Specifying and Verifying and Reasoning about Programs, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Reliability, Security, Theory, Verifi- cation Keywords Dynamic Slicing, Dynamic Chopping, Path Condition, Information Flow Control
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program analysis General Terms Algorithms, measurement, experimentation Keywords Summary, whole-program static analysis, library
File Description: application/pdf
-
14
Authors: et al.
Source: Veterinary Medicine & Science. Mar2025, Vol. 11 Issue 2, p1-11. 11p.
Subjects: Corpus luteum, Sexual cycle, Optimization algorithms, Ovarian follicle, Artificial intelligence
HTML Full Text PDF Full Text -
15
Authors: et al.
Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.
HTML Full Text PDF Full Text -
16
Authors:
Source: Computation; May2025, Vol. 13 Issue 5, p108, 42p
Subject Terms: NATURAL language processing, DEEP learning, PROGRAMMING languages, EYE movements, MACHINE learning, GAZE, EYE tracking
-
17
Authors:
Source: Higher-Order & Symbolic Computation; Mar2011, Vol. 24 Issue 1/2, p41-80, 40p
-
18
Authors: et al.
Source: Bratislava Medical Journal / Bratislavské Lekárske Listy; 2023, Vol. 124 Issue 9, p653-669, 17p
-
19
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.7 [Software Engineer- ing, Distribution, Maintenance, and Enhancement, F.3.2 [Logics andMeanings of Programs, Semantics of Programming Languages— program analysis General Terms Algorithms, Measurement, Languages Keywords Software refactoring, Aspect-oriented programming, Change impact analysis, Static program analysis, Code generation
File Description: application/pdf
-
20
Authors: et al.
Source: Journal of Animal Ecology. Feb2024, Vol. 93 Issue 2, p132-146. 15p.
HTML Full Text PDF Full Text
Nájsť tento článok vo Web of Science 
Full Text Finder