Výsledky vyhledávání - Semantics of Programming Languages— program analysis General Terms Algorithms

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

“… Like many other lazy languages, a significant overhead is incurred in order to preserve the lazy semantics of the language…”
Získat plný text

From source code identifiers to natural language terms Autor 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…”
Získat plný text

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

“… Taking into account all the programming languages used to implement a program, in the literature, there is no…”
Získat plný text

Dynamic type inference for gradual Hindley–Milner typing Autor 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…”
Získat plný text

Towards verified stochastic variational inference for probabilistic programs Autor 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…”
Získat plný text

Machine learning in python: essential techniques for predictive analysis Autor 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…”
Získat plný text

Applied Supervised Learning with R: Use Machine Learning Libraries of R to Build Models That Solve Business Problems and Predict Future Trends Autor 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…”
Získat plný text

Robust log anomaly detection based on contrastive learning and multi-scale MASS Autor 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…”
Získat plný text

Deriving a Slicing Algorithm via FermaT Transformations Autor 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…”
Získat plný text

A syntax-guided multi-task learning approach for Turducken-style code generation Autor 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…”
Získat plný text

Quantum loop programs Autor Ying, Mingsheng, Feng, Yuan

“…Loop is a powerful program construct in classical computation, but its power is still not exploited fully in quantum computation…”
Získat plný 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 Autor Kobayashi, Naoki, Worrell, James

“…: Types and programming languages; logic and proofs; infinite-state systems…”
Získat plný text

Fusion of parallel array operations Autor 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…”
Získat plný text

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

“…We study the first-order probabilistic programming language introduced by Staton et al. (2016…”
Získat plný text

Advanced service trading for scientific computing over the grid Autor 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…”
Získat plný text

Type-specialized staged programming with process separation Autor 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…”
Získat plný text

Synthesising Interprocedural Bit-Precise Termination Proofs (T) Autor 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…”
Získat plný text

Translation of Algebraic Programs into Executable Codes Autor 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…”
Získat plný text

Source-tracking unification Autor 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…”
Získat plný text

Granular Computing: Analysis and Design of Intelligent Systems Autor 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…”
Získat plný text