Search Results - "[INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]"
-
1
Authors:
Contributors:
Source: 2025 IEEE 38th Computer Security Foundations Symposium (CSF). :113-126
Subject Terms: 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]
File Description: application/pdf
Access URL: https://hal.
science /hal-04719333v3 -
2
Authors: et al.
Contributors: et al.
Source: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7
Subject Terms: 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)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2505.00620
https://hal.science /hal-05127957v1/document
https://hal.science /hal-05127957v1
https://doi.org/10.1145/3735544.3735581 -
3
Authors:
Contributors:
Source: Proceedings of the ACM on Programming Languages. 9:1464-1491
Subject Terms: 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)
Access URL: http://arxiv.org/abs/2404.00338
-
4
Authors:
Contributors:
Source: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :1412-1420
Subject Terms: Garbage Collection, Rust, Cycle Collection, Reference Counting, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
Access URL: https://hal.
science /hal-04887627v1/document
https://hal.science /hal-04887627v1
https://doi.org/10.1145/3672608.3707785 -
5
Authors:
Contributors:
Source: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. :283-298
Subject Terms: LLVM IR, Concurrency, Coq, Formal Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
-
6
Authors:
Contributors:
Source: ACM Transactions on Programming Languages and Systems. 47:1-71
Subject Terms: Separation logic, Program verification, Concurrency, Tracing garbage collection, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
Access URL: https://inria.hal.
science /hal-04946590v1
https://doi.org/10.1145/3716312
https://inria.hal.science /hal-04946590v1/document -
7
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages. 9:271-299
Subject Terms: 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)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2408.11283
https://hal.science /hal-04928774v1
https://doi.org/10.1145/3704846
https://hal.science /hal-04928774v1/document -
8
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages. 9:1293-1325
Subject Terms: Spectre, Preservation of security, Speculative execution, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
-
9
Authors:
Contributors:
Source: Proceedings of the ACM on Programming Languages. 9:1962-1991
Subject Terms: 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]
File Description: application/pdf
-
10
Authors: Ciocioc, Ion Valentin
Contributors: Ciocioc, Ion Valentin
Source: ZENODO
Subject Terms: 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]
Access URL: https://zenodo.org/records/14892631
-
11
Authors: et al.
Contributors: et al.
Source: ACM Computing Surveys. 57:1-37
Subject Terms: • 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
File Description: application/pdf
Access URL: https://hal.
science /hal-04764936v1
https://doi.org/10.1145/3699954
https://hal.science /hal-04764936v1/document -
12
Authors: et al.
Contributors: et al.
Source: Theory and Practice of Logic Programming. 24:1123-1162
Subject Terms: 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
File Description: application/pdf
Access URL: 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 -
13
Authors: et al.
Contributors: et al.
Source: SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :214-221
Subject Terms: Binary Instrumentation, HPC, Task, Determinacy Race, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
Access URL: https://hal.
science /hal-04814885v1 -
14
Authors: et al.
Contributors: et al.
Source: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. :507-511
Subject Terms: 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]
File Description: application/pdf
Access URL: https://hal.
science /hal-04588744v1
https://doi.org/10.1145/3663529.3663787
https://hal.science /hal-04588744v1/document -
15
Authors:
Contributors:
Source: International Journal on Software Tools for Technology Transfer. 26:673-686
Subject Terms: 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)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2407.12499
-
16
Authors: et al.
Contributors: et al.
Source: International Journal on Software Tools for Technology Transfer. 26:781-796
Subject Terms: Scheduling, Serverless, Cost Equations, Cost equations, Serverless Computing, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
Access URL: https://hal.
science /hal-04887650v1/document
https://doi.org/10.1007/s10009-024-00776-9
https://hal.science /hal-04887650v1 -
17
Authors: Mélès, Baptiste
Contributors: Mélès, Baptiste
Source: European Mathematical Society Magazine. :5-11
Subject Terms: [SHS.PHIL] Humanities and Social Sciences/Philosophy, Program, File, Programming languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
-
18
Authors:
Contributors:
Source: Proceedings of the ACM on Programming Languages. 8:1757-1786
Subject Terms: Separation Logic, Security and privacy → Logic and verification Formal Verification, Memory Allocators, CCS Concepts: Theory of computation → Separation logic, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
-
19
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages. 8:30-59
Subject Terms: 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]
File Description: application/pdf
Access URL: https://hal.
science /hal-04649674v1
https://hal.science /hal-04649674v1/document
https://doi.org/10.1145/3689712 -
20
Authors: et al.
Contributors: et al.
Source: International Journal of Parallel Programming. 53
Subject Terms: 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]
File Description: application/pdf
Access URL: 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
Nájsť tento článok vo Web of Science 
Full Text Finder