Results 271 to 280 of about 11,242,110 (313)

Embedding non‐determinism

Software: Practice and Experience, 1975
AbstractThis note describes a method of enabling non‐deterministic algorithms to be written in conventional deterministic programming languages. The method involves a dynamic manipulation of stack contents, and is contrasted with standard techniques of implementing non‐deterministic programming languages.
openaire   +1 more source

An Exploratory Study on How Non-Determinism in Large Language Models Affects Log Parsing

2024 IEEE/ACM 2nd International Workshop on Interpretability, Robustness, and Benchmarking in Neural Software Engineering (InteNSE)
Most software systems used in production generate system logs that provide a rich source of information about the status and execution behavior of the system. These logs are commonly used to ensure the reliability and maintainability of software systems.
Merve Astekin, Max Hort, Leon Moonen
semanticscholar   +1 more source

Countable Non-Determinism and Uncountable Limits

1994
In this paper we address the problem of solving recursive domain equations using uncountable limits of domains. These arise for instance, when dealing with the ω 1-continuous function-space constructor and are used in the (generative) denotational semantics of programming languages which feature non-deterministic fair constructs implemented with ...
DI GIANANTONIO, Pietro, Honsell F, Liani S, Plotkin G.   +3 more
openaire   +2 more sources

Specification of required non-determinism

1997
We present an approach to the specification of required external non-determinism: the willingness of a component to respond to a number of external action requests, using a language, COMMUNITY, which provides both permission and willingness guards on actions.
Lano, K., Bicarregui, J., Fiadeiro, J., Lopes, A.   +3 more
openaire   +2 more sources

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)

Dagstuhl Artifacts Ser., 2023
L. Olivieri, L. Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, F. Spoto   +6 more
semanticscholar   +1 more source

Non-Determinism in Lindenmayer Systems and Global Transformations

International Symposium on Mathematical Foundations of Computer Science, 2022
A. Fernandez, Luidnel Maignan, Antoine Spicher   +2 more
semanticscholar   +1 more source

Bell Violation with Classical Non-determinism

The Rochester Conferences on Coherence and Quantum Optics and the Quantum Information and Measurement meeting, 2013
We present some preliminary results of our current research on Bell violation with purely classical non-deterministic thermal light. Our analysis clarifies some mis-impressions among the terms: quantum mechanics, entanglement and Bell violations.
Xiao-Feng Qian, Joseph H. Eberly
openaire   +1 more source

Non-determinism in logic-based languages

Annals of Mathematics and Artificial Intelligence, 1991
The use of non-determinism in logic-based languages is motivated using pragmatic and theoretical considerations. Non-deterministic database queries and updates occur naturally, and there exist non-deterministic implementations of various languages.
Abiteboul, Serge, Vianu, Victor
openaire   +1 more source

A Polynomial-Cost Non-determinism Analysis

2002
This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more powerful but very expensive. Here, we develop an intermediate analysis in both aspects, efficiency and power.
Ricardo Pena, Clara Segura
openaire   +1 more source

Non-determinism analyses in a parallel-functional language

Journal of Functional Programming, 2001
The parallel-functional language Eden has a non-deterministic construct, the process abstraction merge, which interleaves a set of input lists to produce a single non-deterministic list. Its non-deterministic behaviour is a consequence of its reactivity: it immediately copies to the output list any value appearing at any of the input lists.
Peña, Ricardo, Segura, Clara
openaire   +2 more sources