Suchergebnisse - Semantics of Programming Languages— program analysis General Terms Algorithms

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

From source code identifiers to natural language terms von 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 …”
Volltext

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

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

Dynamic type inference for gradual Hindley–Milner typing von 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 …”
Volltext

Towards verified stochastic variational inference for probabilistic programs von 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 …”
Volltext

Machine learning in python: essential techniques for predictive analysis von 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 …”
Volltext

Applied Supervised Learning with R: Use Machine Learning Libraries of R to Build Models That Solve Business Problems and Predict Future Trends von 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 …”
Volltext

Robust log anomaly detection based on contrastive learning and multi-scale MASS von 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 …”
Volltext

Deriving a Slicing Algorithm via FermaT Transformations von 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 …”
Volltext

A syntax-guided multi-task learning approach for Turducken-style code generation von 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 …”
Volltext

Quantum loop programs von Ying, Mingsheng, Feng, Yuan

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

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 von Kobayashi, Naoki, Worrell, James

“… : Types and programming languages; logic and proofs; infinite-state systems …”
Volltext

Fusion of parallel array operations von 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 …”
Volltext

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

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

Advanced service trading for scientific computing over the grid von 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 …”
Volltext

Type-specialized staged programming with process separation von 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 …”
Volltext

Synthesising Interprocedural Bit-Precise Termination Proofs (T) von 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 …”
Volltext

Translation of Algebraic Programs into Executable Codes von 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 …”
Volltext

Source-tracking unification von 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 …”
Volltext

Granular Computing: Analysis and Design of Intelligent Systems von 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 …”
Volltext