Search Results - Semantics of Programming Languages—Program Analysis General Terms Programming Languages*
-
1
Authors: Angius, Nicola
Source: Philosophies; Apr2025, Vol. 10 Issue 2, p40, 17p
-
2
Authors: Astarte, Troy Kaighin
Source: Philosophies; Aug2025, Vol. 10 Issue 4, p90, 22p
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Languages, Algorithms, Experimentation Keywords Clone detection, abstract interpretation, static analysis, soft- ware
File Description: application/pdf
-
4
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 Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7682; http://www.bodden.de/pubs/bmb%2B13spllift.pdf
-
5
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
-
6
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
-
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 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
-
9
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 Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1599; http://www.bodden.de/pubs/bmb+13spllift.pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Languages, Verification Keywords symbolic trace interpretation, validation scope, enforcement windows, static a
File Description: application/pdf
-
11
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
-
12
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Invariants, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Verification Keywords Automated verification, data model, inductive invariants, Ruby on Rails
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.1629; http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf
-
13
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
-
14
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
-
15
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
-
16
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
-
17
-
18
Authors: Nobuko Yoshida
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing
PDF Full Text -
19
Authors: Amal Ahmed
Resource Type: eBook.
Subjects: Programming languages (Electronic computers), Computer organization, Computer science, Computers
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General
PDF Full Text ePub Full Text -
20
Authors: Luís Caires
Resource Type: eBook.
Subjects: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing
Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General
PDF Full Text ePub Full Text
Full Text Finder 
Nájsť tento článok vo Web of Science