Výsledky vyhledávání - [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]~

Polymorphic Records for Dynamic Languages

Autoři: Giuseppe Castagna Loïc Peyrot Castagna, Giuseppe

Přispěvatelé: Giuseppe Castagna Loïc Peyrot Castagna, Giuseppe

Zdroj: Proceedings of the ACM on Programming Languages. 9:1464-1491

Témata: FOS: Computer and information sciences, subtyping, row polymorphism, record types, intersection types, Programming Languages, F.3.3, D.1.1, union types, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2404.00338

Session Types for the Concurrent Composition of Interactive Differential Privacy

Autoři: Sannier, Victor Baillot, Patrick Gaboardi, Marco

Přispěvatelé: Sannier, Victor Baillot, Patrick Gaboardi, Marco

Zdroj: 2025 IEEE 38th Computer Security Foundations Symposium (CSF). :113-126

Témata: Differential privacy, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Session types, Operational semantics, Probabilistic languages, Pi-calculus, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04719333v3

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Autoři: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a další

Přispěvatelé: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a další

Zdroj: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], CCS Concepts: Applied computing → Invariants Logic and verification • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Symbolic Computation (cs.SC), [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, Mathematics - Algebraic Geometry, FOS: Mathematics, Logic and verification, Polynomial invariants, • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Applied computing → Invariants, Algebraic Geometry (math.AG)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2505.00620
https://hal.science/hal-05127957v1/document
https://hal.science/hal-05127957v1
https://doi.org/10.1145/3735544.3735581

Inference Plans for Hybrid Particle Filtering

Autoři: Ellie Y. Cheng Eric Atkinson Guillaume Baudart a další

Přispěvatelé: Ellie Y. Cheng Eric Atkinson Guillaume Baudart a další

Zdroj: Proceedings of the ACM on Programming Languages. 9:271-299

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Probabilistic programming languages, Computer Science - Artificial Intelligence, Abstract interpretation, Static analysis, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2408.11283
https://hal.science/hal-04928774v1
https://doi.org/10.1145/3704846
https://hal.science/hal-04928774v1/document

Breadth-first Cycle Collection Reference Counting: Theory and a Rust Smart Pointer Implementation

Autoři: Saverio Giallorenzo Francesco Goretti Giallorenzo, Saverio

Přispěvatelé: Saverio Giallorenzo Francesco Goretti Giallorenzo, Saverio

Zdroj: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :1412-1420

Témata: Garbage Collection, Rust, Cycle Collection, Reference Counting, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04887627v1/document
https://hal.science/hal-04887627v1
https://doi.org/10.1145/3672608.3707785

Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR

Autoři: Chappe, Nicolas Henrio, Ludovic Zakowski, Yannick

Přispěvatelé: Chappe, Nicolas Henrio, Ludovic Zakowski, Yannick

Zdroj: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. :283-298

Témata: LLVM IR, Concurrency, Coq, Formal Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Cross-Language Symbolic Runtime Annotation Checking

Autoři: Hui, Zhicheng Andrès, Léo

Přispěvatelé: Hui, Zhicheng Andrès, Léo

Témata: Symbolic Execution, ACSL, OCaml, Wasm, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Specification Language, Runtime Assertion Checking, Cross-language, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04798756v2

The Metamorphosis Formula

Autoři: Ciocioc, Ion Valentin

Přispěvatelé: Ciocioc, Ion Valentin

Zdroj: ZENODO

Témata: Grammar, [SHS.PHIL] Humanities and Social Sciences/Philosophy, Colors, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], [SCCO] Cognitive science, [INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL], Innovation, Algorithms, Transformation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Přístupová URL adresa: https://zenodo.org/records/14892631

Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection

Autoři: Moine, Alexandre Charguéraud, Arthur Pottier, François

Přispěvatelé: Moine, Alexandre Charguéraud, Arthur Pottier, François

Zdroj: ACM Transactions on Programming Languages and Systems. 47:1-71

Témata: Separation logic, Program verification, Concurrency, Tracing garbage collection, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04946590v1
https://doi.org/10.1145/3716312
https://inria.hal.science/hal-04946590v1/document

Avoiding Signature Avoidance in ML Modules with Zippers

Autoři: Blaudeau, Clément Rémy, Didier Radanne, Gabriel

Přispěvatelé: Blaudeau, Clément Rémy, Didier Radanne, Gabriel

Zdroj: Proceedings of the ACM on Programming Languages. 9:1962-1991

Témata: Zippers, CCS Concepts, Type theory, OCaml, Functional languages, Modules / packages, Strengthening, Signature avoidance, ML, Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

A Survey on IoT Programming Platforms: A Business-Domain Experts Perspective

Autoři: Hannou, Fatma-Zohra Lefrançois, Maxime Jouvelot, Pierre a další

Přispěvatelé: Hannou, Fatma-Zohra Lefrançois, Maxime Jouvelot, Pierre a další

Zdroj: ACM Computing Surveys. 57:1-37

Témata: • Software and its engineering → Software development techniques, Smart Building, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Development frameworks and environments Internet of Things, Embedded and cyber-physical systems, • Computer systems organization → Sensor networks, General and reference → Surveys and overviews, IoT platforms, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, Smart Agriculture, IoT programming, CCS Concepts: General and reference → Surveys and overviews • Computer systems organization → Sensor networks Embedded and cyber-physical systems • Software and its engineering → Software development techniques Development frameworks and environments Internet of Things

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04764936v1
https://doi.org/10.1145/3699954
https://hal.science/hal-04764936v1/document

Preservation of Speculative Constant-Time by Compilation

Autoři: Santiago Arranz Olmos Gilles Barthe Lionel Blatter a další

Přispěvatelé: Santiago Arranz Olmos Gilles Barthe Lionel Blatter a další

Zdroj: Proceedings of the ACM on Programming Languages. 9:1293-1325

Témata: Spectre, Preservation of security, Speculative execution, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.univ-lorraine.fr/hal-04663857v2
https://hal.univ-lorraine.fr/hal-04663857v2/document
https://doi.org/10.1145/3704880

Property-Based Testing by Elaborating Proof Outlines

Autoři: Miller, Dale Momigliano, Alberto Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a další

Přispěvatelé: Miller, Dale Momigliano, Alberto Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a další

Zdroj: Theory and Practice of Logic Programming. 24:1123-1162

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], λ-tree syntax, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, relational specifications, [INFO] Computer Science [cs], 01 natural sciences, metatheory of programming languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), linear logic, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], property-based testing, meta-theory of programing languages

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2406.10053
https://hal.science/hal-04710992v1/document
https://hal.science/hal-04710992v1
https://hdl.handle.net/2434/1120939
https://doi.org/10.1017/s1471068424000176

Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis

Autoři: Pereira, Romain Stelle, George Carribault, Patrick a další

Přispěvatelé: Pereira, Romain Stelle, George Carribault, Patrick a další

Zdroj: SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :214-221

Témata: Binary Instrumentation, HPC, Task, Determinacy Race, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04814885v1

Programming Parallelism on FPGAs with Eclat

Autoři: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel a další

Přispěvatelé: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel a další

Zdroj: International Journal of Parallel Programming. 53

Témata: Synchronous programming, Algorithmic skeletons, Performance prediction, FPGAs, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Language design and implementation, [INFO] Computer Science [cs], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-05169350v1/document
https://hal.science/hal-05169350v1
https://doi.org/10.1007/s10766-025-00801-7
https://hal.science/hal-04772531v1

Easing maintenance of academic static analyzers

Autoři: Monat, Raphaël Ouadjaout, Abdelraouf Miné, Antoine

Přispěvatelé: Monat, Raphaël Ouadjaout, Abdelraouf Miné, Antoine

Zdroj: International Journal on Software Tools for Technology Transfer. 26:673-686

Témata: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Software engineering, Computer Science - Programming Languages, static analysis, abstract interpretation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2407.12499

On Polyglot Program Testing

Autoři: Philémon Houdaille Djamel Eddine Khelladi Benoit Combemale a další

Přispěvatelé: Philémon Houdaille Djamel Eddine Khelladi Benoit Combemale a další

Zdroj: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. :507-511

Témata: Software engineering, Polyglot programming, Software testing and debugging, Software development techniques, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO] Computer Science [cs], Interoperability, White box testing, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04588744v1
https://doi.org/10.1145/3663529.3663787
https://hal.science/hal-04588744v1/document

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code

Autoři: Julien Simonnet Matthieu Lemerre Mihaela Sighireanu a další

Přispěvatelé: Julien Simonnet Matthieu Lemerre Mihaela Sighireanu a další

Zdroj: Proceedings of the ACM on Programming Languages. 8:30-59

Témata: Memory safety, Type checking, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Abstract interpretation, [INFO] Computer Science [cs], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04649674v1
https://hal.science/hal-04649674v1/document
https://doi.org/10.1145/3689712

Every file is a program, but not the reverse

Autoři: Mélès, Baptiste

Přispěvatelé: Mélès, Baptiste

Zdroj: European Mathematical Society Magazine. :5-11

Témata: [SHS.PHIL] Humanities and Social Sciences/Philosophy, Program, File, Programming languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

CUTECat: Concolic Execution for Computational Law

Autoři: Goutagny, Pierre Fromherz, Aymeric Monat, Raphaël a další

Přispěvatelé: Goutagny, Pierre Fromherz, Aymeric Monat, Raphaël a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783031911200

Témata: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Symbolic execution, Computer Science - Programming Languages, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Concolic execution, Computational law, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2410.18212
https://inria.hal.science/hal-04907935v1/document
https://inria.hal.science/hal-04907935v1