Language:

Results 1 - 20 of 7,996 for All Library Resources

Sorted by: Sorted by: AuthorOr hit Enter to replace sort method

Results 1 2 3 4 5

Show only

Peer-reviewed Journals (205)

Result Number	Material Type	Record Details and Options
1	Material Type: Article	A denotationally-based program logic for higher-order store arXiv.org, 2023-11 2023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2308.02906 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
2	Material Type: Article	Context-Free Session Types for Applied Pi-Calculus arXiv.org, 2018-08 2018. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1808.08648 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
3	Material Type: Article	An approach to standardize, automate omni-channel and AI transactional digital service creation arXiv.org, 2022-11 2022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2211.03543 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
4	Material Type: Article	NoCFG: A Lightweight Approach for Sound Call Graph Approximation arXiv.org, 2021-05 2021. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2105.03099 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
5	Material Type: Article	Smart Choices and the Selection Monad arXiv.org, 2021-08 2021. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2007.08926 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
6	Material Type: Article	Smart Choices and the Selection Monad Logical methods in computer science, 2023-01, Vol.19, Issue 2 [Peer Reviewed Journal] ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-19(2:3)2023 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
7	Material Type: Article	A Simple Differentiable Programming Language arXiv.org, 2020-02 2020. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1911.04523 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
8	Material Type: Article	A Model of Cooperative Threads Logical methods in computer science, 2010-01, Vol.6, Issue 4 [Peer Reviewed Journal] ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-6(4:2)2010 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
9	Material Type: Article	A Model of Cooperative Threads arXiv.org, 2010-10 2010. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1009.2405 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
10	Material Type: Article	Experimental Biological Protocols with Formal Semantics arXiv.org, 2018-05 2018. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1710.08016 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
11	Material Type: Article	Quantitative Verification with Neural Networks arXiv.org, 2024-03 2024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2301.06136 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
12	Material Type: Article	When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise arXiv.org, 2019-11 2019. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1802.00588 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
13	Material Type: Article	Trace-Relating Compiler Correctness and Secure Compilation arXiv.org, 2020-02 2020. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1907.05320 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
14	Material Type: Article	Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation arXiv.org, 2019-05 2019. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1807.04603 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
15	Material Type: Article	Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly arXiv.org, 2021-09 2021. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2006.14969 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
16	Material Type: Article	Verification of Asynchronous Systems with an Unspecified Component arXiv.org, 2017-09 2017. This work is published under http://creativecommons.org/publicdomain/zero/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/publicdomain/zero/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1709.03245 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
17	Material Type: Article	Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style arXiv.org, 2017-07 2017. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1707.04724 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
18	Material Type: Article	Automatic Differentiation using Constraint Handling Rules in Prolog arXiv.org, 2017-06 2017. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1706.00231 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
19	Material Type: Article	More declarative tabling in Prolog using multi-prompt delimited control arXiv.org, 2017-08 2017. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1708.07081 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
20	Material Type: Article	Partial Cartesian Graph Product arXiv.org, 2018-07 2018. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1805.07155 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by