Search Results - Semantics of Programming Languages— program analysis General Terms Algorithms~

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

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

From source code identifiers to natural language terms by Carvalho, Nuno Ramos, Almeida, José João, Henriques, Pedro Rangel, Varanda, Maria João

“… Most programming languages enforce some constrains on identifiers strings (e.g., white spaces or commas are not allowed…”
Get full text

Improving the modularization quality of heterogeneous multi-programming software systems by unifying structural and semantic concepts by Kargar, Masoud, Isazadeh, Ayaz, Izadkhah, Habib

“… Taking into account all the programming languages used to implement a program, in the literature, there is no…”
Get full text

Dynamic type inference for gradual Hindley–Milner typing by Miyazaki, Yusuke, Sekiyama, Taro, Igarashi, Atsushi

“…Garcia and Cimini study a type inference problem for the ITGL, an implicitly and gradually typed language with let-polymorphism, and develop a sound and complete inference algorithm…”
Get full text

Towards verified stochastic variational inference for probabilistic programs by Lee, Wonyeol, Yu, Hangyeol, Rival, Xavier, Yang, Hongseok

“…Probabilistic programming is the idea of writing models from statistics and machine learning using program notations and reasoning about these models using generic inference engines…”
Get full text

Applied Supervised Learning with R: Use Machine Learning Libraries of R to Build Models That Solve Business Problems and Predict Future Trends by Ramasubramanian, Karthik, Moolayil, Jojo

“…Applied Supervised Learning with R will make you a pro at identifying your business problem, selecting the best supervised machine learning algorithm to solve it, and fine-tuning your model to exactly…”
Get full text

Robust log anomaly detection based on contrastive learning and multi-scale MASS by Wang, Xuejie, Cao, Qilei, Wang, Qiaozheng, Cao, Zhiying, Zhang, Xiuguo, Wang, Peipeng

“… Analyzing logs for anomaly detection can improve service quality. At present, although machine learning algorithms for anomaly detection can achieve high accuracy, they lack robustness…”
Get full text

Deriving a Slicing Algorithm via FermaT Transformations by Ward, M P, Zedan, H

“… We develop a formal specification for program slicing in the form of a WSL specification statement which is refined into a simple slicing algorithm by applying a sequence of general purpose program…”
Get full text

A syntax-guided multi-task learning approach for Turducken-style code generation by Yang, Guang, Zhou, Yu, Chen, Xiang, Zhang, Xiangyu, Xu, Yiran, Han, Tingting, Chen, Taolue

“…Due to the development of pre-trained language models, automated code generation techniques have shown great promise in recent years…”
Get full text

Quantum loop programs by Ying, Mingsheng, Feng, Yuan

“…Loop is a powerful program construct in classical computation, but its power is still not exploited fully in quantum computation…”
Get full text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II by Kobayashi, Naoki, Worrell, James

“…: Types and programming languages; logic and proofs; infinite-state systems…”
Get full text

Fusion of parallel array operations by Kristensen, Mads R. B., Lund, Simon A. F., Blum, Troels, Avery, James

“… We formulate the problem as a partitioning problem (WSP) that is general enough to handle loop fusion, combinator fusion, and other types of fusion analysis…”
Get full text

Machine learning in python: essential techniques for predictive analysis by Bowles, Michael

“… with specific, hackable code. The algorithms are explained in simple terms with no complex math and applied using Python, with guidance on algorithm selection, data preparation, and using the trained models in practice…”
Get full text

Approximations in Probabilistic Programs by Sharma, Ekansh, Roy, Daniel M

“…We study the first-order probabilistic programming language introduced by Staton et al. (2016…”
Get full text

Advanced service trading for scientific computing over the grid by Hurault, Aurélie, Daydé, Michel, Pantel, Marc

“…One of the great benefits of computational grids is to give access to a wide range of scientific software and computers with different architectures. It is…”
Get full text

Type-specialized staged programming with process separation by Liu, Yu David, Skalka, Christian, Smith, Scott F.

“…Staging is a powerful language construct that allows a program at one stage of evaluation to manipulate and specialize a program to be executed at a later stage…”
Get full text

Synthesising Interprocedural Bit-Precise Termination Proofs (T) by Hong-Yi Chen, David, Cristina, Kroening, Daniel, Schrammel, Peter, Wachter, Bjorn

“… has focussed on difficult single-procedure problems. We present a modular termination analysis for C programs using template-based interprocedural summarisation…”
Get full text

Translation of Algebraic Programs into Executable Codes by Goncharov, S. V., Rudich, A. Ye

“… In particular, an algorithm for translation of algebraic programs represented in the language Aplan into C codes is proposed…”
Get full text

Source-tracking unification by Choppella, Venkatesh, Haynes, Christopher T.

“… The objects of source-tracking are deductions in the logic of term unification. The semantics of deductions are paths over a unification graph whose labels form the suffix language of a semi-Dyck set…”
Get full text

Granular Computing: Analysis and Design of Intelligent Systems by Pedrycz, Witold

“…Granular computing focuses on formalizing information granules and unifying them to create a coherent methodological and developmental environment for intelligent system design and analysis…”
Get full text