Výsledky vyhledávání - "Computer Science - Programming Languages"

Deconfined Global Types for Asynchronous Sessions Autor Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola

“… Our type system improves the state-of-the-art by typing all asynchronous sessions and preserving the key properties of Subject Reduction, Session Fidelity and Progress when some well-formedness conditions are satisfied…”
Získat plný text

Java & Lambda: a Featherweight Story Autor Bettini, Lorenzo, Bono, Viviana, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Venneri, Betti

“…We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form,…”
Získat plný text

Prioritise the Best Variation Autor Kokke, Wen, Dardha, Ornela

“…Binary session types guarantee communication safety and session fidelity, but alone they cannot rule out deadlocks arising from the interleaving of different…”
Získat plný text

Collective Allocator Abstraction to Control Object Spatial Locality in C++ Autor 佐藤 重幸, 鵜川 始陽

Získat plný text

On Irrelevance and Algorithmic Equality in Predicative Type Theory Autor Abel, Andreas, Scherer, Gabriel

“… Subject reduction, normalization and consistency are obtained by a Kripke model over the typed equality judgement…”
Získat plný text

A System F accounting for scalars Autor Arrighi, Pablo, Diaz-Caro, Alejandro

“… We show that this "scalar" type system enjoys both the subject-reduction property and the strong-normalisation property, our main technical results…”
Získat plný text

Validating AI-Generated Code with Live Programming Autor Ferdowsi, Kasra, Huang, Ruanqianqian, James, Michael B, Polikarpova, Nadia, Lerner, Sorin

“… Using this environment in a between-subjects study (N=17), we found that by lowering the cost of validation by execution, LP can mitigate over- and under-reliance on AI-generated programs and reduce the cognitive load of validation for certain types of tasks…”
Získat plný text

Prioritise the Best Variation Autor Kokke, Wen, Dardha, Ornela

“…Binary session types guarantee communication safety and session fidelity, but alone they cannot rule out deadlocks arising from the interleaving of different…”
Získat plný text

Verified Functional Programming of an Abstract Interpreter Autor Lucas Franceschino, Pichardie, David, Talpin, Jean-Pierre

“…, their implementations are subject to bugs, that might question the soundness of their computations. While some formally verified abstract interpreters have been written in the past…”
Získat plný text

Tail recursion transformation for invertible functions Autor Kristensen, Joachim Tilsted, Kaarsgaard, Robin, Thomsen, Michael Kirkedal

“…Tail recursive functions allow for a wider range of optimisations than general recursive functions. For this reason, much research has gone into the…”
Získat plný text

Report on a User Test and Extension of a Type Debugger for Novice Programmers Autor Kenichi Asai, Yuki Ishii

Získat plný text

Deconfined Global Types for Asynchronous Sessions Autor Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola

“… Our type system improves the state-of-the-art by typing all asynchronous sessions and preserving the key properties of Subject Reduction, Session Fidelity and Progress when some well-formedness conditions are satisfied…”
Získat plný text

The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition Autor Wilson, Paul, Zanasi, Fabio

“… reasoning are almost an unexplored subject. This work intends to be a contribution in such a…”
Získat plný text

The Way We Were: Structural Operational Semantics Research in Perspective Autor Aceto, Luca, Crescenzi, Pierluigi, Ingólfsdóttir, Anna, Mousavi, Mohammad Reza

“… in the editions of those workshops as well as their subject matters. The results of our quantitative and qualitative analyses all indicate a diminishing interest in the theory…”
Získat plný text

Two for the Price of One: Lifting Separation Logic Assertions Autor Thamsborg, Jacob, Birkedal, Lars, Yang, Hongseok

“…: the developed logics have enabled clean proofs of tricky challenging programs, such as subject-observer patterns, and they have become the basis of efficient verification tools for Java (jStar), C (VeriFast…”
Získat plný text

Collective Allocator Abstraction to Control Object Spatial Locality in C++ Autor Hideshima, Takato, Sato, Shigeyuki, Ugawa, Tomoharu

“…, while the remaining memory is not subject to swapping. To pursue performance, programmers have to be aware of this nonuniform…”
Získat plný text

A Systematic Literature Review on the Impact of Formatting Elements on Code Legibility Autor Oliveira, Delano, Santos, Reydne, Madeiral, Fernanda, Masuhara, Hidehiko, Castor, Fernando

“…: We aim to find which formatting elements have been investigated in empirical studies and which alternatives were found to be more legible for human subjects. Method…”
Získat plný text

A Logical Foundation for Environment Classifiers Autor Tsukada, Takeshi, Igarashi, Atsushi

“…Taha and Nielsen have developed a multi-stage calculus {\lambda}{\alpha} with a sound type system using the notion of environment classifiers. They are special…”
Získat plný text

A Note on Occur-Check Autor Drabent, Włodzimierz

“…Most known results on avoiding the occur-check are based on the notion of "not subject to occur-check" (NSTO…”
Získat plný text

Tableless Calculation of Circular Functions on Dyadic Rationals Autor Kourzanov, Peter

“…I would like to tell a story. A story about a beautiful mathematical relationship that elucidates the computational view on the classic subject of trigonometry…”
Získat plný text