Search Results - Semantics of Programming Languages—Program analysis*

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Goubault-Larrecq, Jean, König, Barbara

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Get full text

DETECTION OF SCANS by REDON, XAVIER, FEAUTRIER, PAUL

“… Dependence analysis is mainly a syntactical process, in which the actual data transformations are ignored…”
Get full text

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Get full text

Beginning Mathematica and Wolfram for Data Science - Applications in Data Analysis, Machine Learning, and Neural Networks by Alva, Jalil Villalobos

“…Enhance your data science programming and analysis with the Wolfram programming language and Mathematica, an applied mathematical tools suite…”
Get full text

Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications by Ugo Dal Lago, de Paiva, Valeria

“… On the practical side there is certainly work on program analysis, operational semantics, logic programming languages, program transformations, and efficient…”
Get full text

CRUST: Towards a Unified Cross-Language Program Analysis Framework for Rust by Hu, Shuang, Hua, Baojian, Xia, Lei, Wang, Yang

“… and C, which enables program analyses to understand the semantics…”
Get full text

On multi-language abstraction: Towards a static analysis of multi-language programs by Buro, Samuele, Crole, Roy, Mastroeni, Isabella

“… In this paper, we provide a general theory for the combination of abstract interpretations of existing languages, regardless of their inherent nature, in order to gain an abstract semantics of multi-language programs…”
Get full text

Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications by Ehrhard, Thomas, Fernández, Maribel, de Paiva, Valeria, Lorenzo Tortora de Falco

“… On the practical side there is work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis…”
Get full text

LLM-based program analysis for source codes, abstract syntax trees and webassembly instructions by Deng, Liangjun, Zhong, Qi, Qiu, Yao, Chen, Jingxue, Lei, Hang, Yang, Shunkun, Zhou, Liming, Cheng, Hongyuan

“… Program analysis, a crucial aspect of software security research need a unified solution for various cross-language program…”
Get full text

Reverse Location of Software Online Upgrade Function Based on Semantic Guidance by Lyu, Xiao-shao, Shu, Hui, Kang, Fei, Huang, Yu-yao

“… analysis.Traditional program analysis reverse localization relies on manual experience based on the cross reference chain relation of semantic information, such as string and API function, which is inefficient…”
Get full text

Region analysis for deductive verification of C programs by Mandrykin, M. U., Khoroshilov, A. V.

“… In addition, an encoding is proposed for modeling the memory state of a core-language program with logical formulas as described by the model semantics of the core language…”
Get full text

Meaning and Reference in Programming Languages by Angius, Nicola

“… First, denotational, operational, game theoretic, and axiomatic semantics are epistemologically analysed to provide a theory of meaning for high-level language programs…”
Get full text

Static Analysis for ECMAScript String anipulation Programs by Arceri, Vincenzo, Mastroeni, Isabella, Xu, Sunyi

“… A key aspect of any dynamic language program is the multiple usage of strings, since they can be implicitly converted to another type value, transformed by string-to-code primitives or used to access an object-property…”
Get full text

Computer Aided Verification: 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II by Chockler, Hana, Weissenbacher, Georg

Get full text

Computer Aided Verification: 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I by Chockler, Hana, Weissenbacher, Georg

Get full text

Knowledge Architectures: Structures and Semantics by Bedford, Denise

“…Knowledge Architectures reviews traditional approaches to managing information and explains why they need to adapt to support 21st-century information…”
Get full text

Static Program Analysis for String Manipulation Languages by Arceri, Vincenzo, Mastroeni, Isabella

“… Their tricky and misunderstood behaviors pose a hard challenge for static analysis of these programming languages…”
Get full text

Static Program Analysis for String Manipulation Languages by Arceri, Vincenzo, Mastroeni, Isabella

“… Their tricky and misunderstood behaviors pose a hard challenge for static analysis of these programming languages…”
Get full text

Study of linking words in political speeches of Bill Clinton using Python by Karp, Marta, Kunanets, Nataliia, Burtnyk, Anna, Melnychuk, Oksana, Bekhta, Ivan, Shainer, Iryna

“… are used to reveal a politician's objectives and ambitions. The analysis, systematization, categorization, and comparison of connecting terms based on Bill Clinton's speeches constitute the innovative aspect of this paper…”
Get full text

Checking Object-Z Formal Specification with Z/EVES automatically by Cheng, Qian, Wen, Zhicheng

“…Formal specifications can only be used when matching or non-colliding. In the conventional programming language, program integrity is checked at runtime…”
Get full text