Suchergebnisse - 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 von Goubault-Larrecq, Jean, König, Barbara

“… ; semantics of programming languages; program analysis, correctness, transformation, and verification …”
Volltext

DETECTION OF SCANS von REDON, XAVIER, FEAUTRIER, PAUL

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

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 …”
Volltext

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

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

Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications von 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 …”
Volltext

Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications von 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 …”
Volltext

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

“… and C, which enables program analyses to understand the semantics …”
Volltext

On multi-language abstraction: Towards a static analysis of multi-language programs von 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 …”
Volltext

A Pure Demand Operational Semantics with Applications to Program Analysis von Smith, Scott, Zhang, Robert

“… We then show how this approach can open the door to potential new applications: we define a program analysis as a direct finitization of this operational semantics …”
Volltext

Eliminating dead code on recursive data von Liu, Yanhong A., Stoller, Scott D.

“… patterns at all program points based on constraints constructed from the program and programming language semantics …”
Volltext

Reverse Location of Software Online Upgrade Function Based on Semantic Guidance von 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 …”
Volltext

LLM-based program analysis for source codes, abstract syntax trees and webassembly instructions von 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 …”
Volltext

Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs von Xia, Li-yao, Israel, Laura, Kramarz, Maite, Coltharp, Nicholas, Claessen, Koen, Weirich, Stephanie, Li, Yao

“… Lazy evaluation is a powerful tool that enables better compositionality and potentially better performance in functional programming, but it is challenging to analyze its computation cost …”
Volltext

Checking Object-Z Formal Specification with Z/EVES automatically von 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 …”
Volltext

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings von Alessandra Russo, Andy Schürr

“… The papers are organized in topical sections named: model-based software development; distributed program and system analysis …”
Volltext

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 von Chockler, Hana, Weissenbacher, Georg

Volltext

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 von Chockler, Hana, Weissenbacher, Georg

Volltext

The theory and practice of semantic program analysis for higher-order functional programming languages von Young, Jonathan Hood

“… Like many other lazy languages, a significant overhead is incurred in order to preserve the lazy semantics of the language …”
Volltext

A modular rewriting approach to language design, evolution and analysis von Hills, Mark A

“… In this dissertation we focus on research in programming language semantics and program analysis, aimed at building and reasoning about programming languages and applications …”
Volltext

Meaning and Reference in Programming Languages von Angius, Nicola

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