Search Results - Theory of computation Semantics and reasoning Program reasoning Program verification*
-
1
Authors: et al.
Contributors: et al.
Subject Terms: union bound, Kleene algebras with tests Hoare logic equational reasoning probabilistic programs union bound formal verification, Theory of computation → Hoare logic, Hoare logic, equational reasoning, [INFO] Computer Science [cs], Theory of computation → Logic and verification, Theory of computation → Algebraic semantics, Kleene algebras with tests, probabilistic programs, ddc:004, formal verification, Theory of computation → Pre- and post-conditions
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Source: Transactions on Graph Data and Knowledge, Vol 2, Iss 1, Pp 1:1-1:32 (2024)
Transactions on Graph Data and Knowledge, 2 (1)Subject Terms: Applied computing → Business process modeling, ddc:330, Economics, process ontology, Temporal logic, QA75.5-76.95, Process ontology, Information systems → Semantic web description languages, web services, temporal logic, Applied computing → Event-driven architectures, Computing methodologies → Temporal reasoning, Electronic computers. Computer science, Theory of computation → Program semantics, Process modelling, ddc:004, process modelling, Computing methodologies → Ontology engineering, Web services
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Programming Languages and Systems
Subject Terms: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages. 5:1-30
Subject Terms: Denotational semantics, Monads, Verified Compilation, Compilers, Program verification, LLVM, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Coq, 02 engineering and technology, Semantics, Theory of computation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3473572
https://hal.science/hal-03525711v1
https://hal.science/hal-03525711v1/document
https://doi.org/10.1145/3473572
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#ZakowskiBYZZZ21
https://dl.acm.org/doi/pdf/10.1145/3473572
https://dl.acm.org/doi/10.1145/3473572 -
5
Authors: et al.
Contributors: et al.
Subject Terms: concurrent programming, Theory of computation → Parallel computing models, ddc:004, verification, Software and its engineering → Parallel programming languages, scalability
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Security and privacy → Information flow control, Security and privacy → Logic and verification, information-flow, monads, ddc:004, verification, Theory of computation → Denotational semantics, denotational semantics
File Description: application/pdf
-
7
-
8
Authors:
Source: DTIC AND NTIS
-
9
Authors:
Source: Journal of the ACM. Feb2012, Vol. 59 Issue 1, p1-1:52. 52p.
-
10
Authors:
Resource Type: eBook.
Subjects: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems
Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic
PDF Full Text -
11
-
12
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science
PDF Full Text ePub Full Text -
13
Authors: Jiang, Yuncheng
Source: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Jul2019, Vol. 23 Issue 14, p5411-5429, 19p
-
14
Authors:
Source: Artificial Intelligence & Law; Sep2022, Vol. 30 Issue 3, p391-416, 26p
Subject Terms: LOAN agreements, CONTRACTS, REASONING, DETERMINISTIC processes, COUNTERPARTIES (Finance)
-
15
Authors:
Resource Type: eBook.
Subjects: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General
PDF Full Text ePub Full Text -
16
Authors:
Source: Computer Journal; May2010, Vol. 53 Issue 4, p443-464, 22p
Subject Terms: SEMANTICS, LOGIC programming, MATHEMATICS, TOPOLOGY, VERSIFICATION
-
17
Authors: et al.
Source: urn:ISBN:978-1-4503-4219-3; urn:ISSN:1523-2867; urn:ISSN:1558-1160; International Conference on Functional Programming, Nara, Japan, 2016-09-19 - 2016-09-21
Index Terms: 4613 Theory Of Computation, 46 Information and Computing Sciences, 4612 Software Engineering, anzsrc-for: 4613 Theory Of Computation, anzsrc-for: 46 Information and Computing Sciences, anzsrc-for: 4612 Software Engineering, conference paper, http://purl.org/coar/resource_type/c_5794
-
18
Authors:
Index Terms: Symbolic Computation, Formal Methods, Loop Analysis, Polynomial Invariants, InProceedings, Text, doc-type:ResearchArticle, publishedVersion
URL:
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.4
Is Part Of LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) -
19
-
20
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing
PDF Full Text
Nájsť tento článok vo Web of Science 
Full Text Finder