Výsledky vyhledávání - "Semantics in the theory of computing"

1

A Logical Approach to Type Soundness: A logical approach to type soundness

Autoři: Amin Timany Robbert Krebbers Derek Dreyer a další

Zdroj: Journal of the Association for Computing Machinery, 71, 6, pp. 1-75
Timany, A, Krebbers, R, Dreyer, D & Birkedal, L 2024, 'A Logical Approach to Type Soundness', Journal of the ACM, vol. 71, no. 6, 40. https://doi.org/10.1145/3676954

Témata: Logic in computer science, Type soundness, Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Theory of programming languages, Semantics in the theory of computing, Iris, type soundness, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, logical relations, Formalization of mathematics in connection with theorem provers, Software Science, data abstraction, 0202 electrical engineering, electronic engineering, information engineering, Coq, step-indexing, concurrent separation logic

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/8030807
https://doi.org/10.1145/3676954
https://hdl.handle.net/https://repository.ubn.ru.nl/handle/2066/312783
https://doi.org/10.1145/3676954
https://hdl.handle.net/2066/312783
https://repository.ubn.ru.nl//bitstream/handle/2066/312783/312783.pdf
https://pure.au.dk/portal/en/publications/6c1d3054-690e-429f-8d9e-527c436f14b6
http://www.scopus.com/inward/record.url?scp=85212245880&partnerID=8YFLogxK
https://doi.org/10.1145/3676954

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

2

sL-approximation spaces capture sL-domains

Autoři: Guojun Wu Luoshan Xu Wei Yao

Zdroj: Mathematical Structures in Computer Science. 35

Témata: Continuous lattices and posets, applications, upper approximation operator, Semantics in the theory of computing, L-domain, sL-domain, sL-approximation space, Reasoning under uncertainty in the context of artificial intelligence, categorical equivalence

Popis souboru: application/xml

Nájsť tento článok vo Web of Science

3

On higher-order communication in ambient calculi

Autoři: Xian Xu Yan Huang Zhihuan Yao

Zdroj: Mathematical Structures in Computer Science. 35

Témata: higher-order communication, bisimulation, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Semantics in the theory of computing, labeled transition system, ambient calculus

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/8030886
https://doi.org/10.1017/s0960129525000015

View record at OpenAIRE

Nájsť tento článok vo Web of Science

4

Incremental Closure for Systems of Two Variables Per Inequality: Incremental closure for systems of two variables per inequality

Autoři: Howe, J. M. King, A. Simon, A.

Zdroj: Theoretical Computer Science. 768:1-42

Témata: QA75, Specification and verification (program logics, model checking, etc.), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, QA76, weakly relational abstract domains, two variables per inequality (TVPI) abstract domain, Linear programming, 0202 electrical engineering, electronic engineering, information engineering, Analysis of algorithms, abstract interpretation

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: https://zbmath.org/7041826
https://doi.org/10.1016/j.tcs.2018.12.001
https://kar.kent.ac.uk/70546/11/1-s2.0-S0304397518307199-main.pdf
https://openaccess.city.ac.uk/id/eprint/21241/8/1-s2.0-S0304397518307199-main.pdf
https://www.sciencedirect.com/science/article/pii/S0304397518307199
http://openaccess.city.ac.uk/id/eprint/21241/
https://dblp.uni-trier.de/db/journals/tcs/tcs768.html#HoweKS19

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

5

Modeling ontology evolution via Pi-Calculus: Modeling ontology evolution via pi-calculus

Autoři: Rui Zhang Lei Liu Wenjuan Gao a další

Zdroj: Information Sciences. :286-301

Témata: Knowledge representation, pi-calculus, ontology evolution, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), operational semantics, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis souboru: application/xml

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/isci/isci346.html#ZhangGGL16
https://dl.acm.org/doi/10.1016/j.ins.2016.01.059
https://www.sciencedirect.com/science/article/pii/S0020025516000931
https://dl.acm.org/citation.cfm?id=2906536

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

6

Extracting a Data Flow Analyser in Constructive Logic: Extracting a data flow analyser in constructive logic

Autoři: Cachera, David Jensen, Thomas Pichardie, David a další

Přispěvatelé: Cachera, David Jensen, Thomas Pichardie, David a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540213130

Témata: Specification and verification (program logics, model checking, etc.), Semantics in the theory of computing, Program analysis, Constructive logic, Lattices, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Theoretical Computer Science, Coq proof assistant, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Constraint solving, constraint-based data flow analysis, Theorem proving, Theorem proving (deduction, resolution, etc.), Computer Science(all)

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F978-3-540-24725-8_27.pdf
https://zbmath.org/2207190
https://doi.org/10.1016/j.tcs.2005.06.004
https://inria.hal.science/inria-00564633v1
https://inria.hal.science/inria-00564611v1
https://inria.hal.science/inria-00564611v1/document
https://doi.org/10.1016/j.tcs.2005.06.004
https://core.ac.uk/display/82770449
https://www.irisa.fr/celtique/pichardie/papers/extract_TCS.pdf
https://www-sop.inria.fr/everest/personnel/David.Pichardie/Publis/extract_TCS.pdf
https://hal.inria.fr/inria-00564611/document
https://dblp.uni-trier.de/db/journals/tcs/tcs342.html#CacheraJPR05
https://www.irisa.fr/lande/cachera/Papers/CacJenPicRus-TCS05.pdf
https://link.springer.com/chapter/10.1007/978-3-540-24725-8_27
https://link.springer.com/content/pdf/10.1007%2F978-3-540-24725-8_27.pdf
https://rd.springer.com/chapter/10.1007/978-3-540-24725-8_27
https://hal.archives-ouvertes.fr/inria-00564633
https://hal.inria.fr/inria-00564633/document
https://dblp.uni-trier.de/db/conf/esop/esop2004.html#CacheraJPR04

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

7

Almost ASAP Semantics: From Timed Models to Timed Implementations: Almost ASAP semantics: from timed models to timed implementations

Autoři: De Wulf, Martin Doyen, Laurent Raskin, Jean-François

Zdroj: Lecture Notes in Computer Science ISBN: 9783540212591

Témata: 4. Education, Informatique mathématique, Timed and Hybrid Automata, Semantics in the theory of computing, Verification, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Implementability, 01 natural sciences, 7. Clean energy, Semantics

Popis souboru: application/xml; 1 full-text file(s): application/pdf

Přístupová URL adresa: http://www.ulb.ac.be/di/ssd/cfv/TechReps/TechRep_CFV_2003_20.pdf
https://zbmath.org/2238128
https://doi.org/10.1007/s00165-005-0067-8
https://dblp.uni-trier.de/db/conf/hybrid/hscc2004.html#WulfDR04
https://link.springer.com/chapter/10.1007/978-3-540-24743-2_20
https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/67596/Details
https://link.springer.com/content/pdf/10.1007/978-3-540-24743-2_20.pdf
https://doi.org/10.1007/978-3-540-24743-2_20
https://core.ac.uk/display/8866568
https://core.ac.uk/display/8866570
http://www.ulb.ac.be/di/ssd/madewulf/aasapHSCC04.pdf
https://link.springer.com/content/pdf/10.1007%2F978-3-540-24743-2_20.pdf
https://link.springer.com/article/10.1007/s00165-005-0067-8
https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/67589/Details
https://dblp.uni-trier.de/db/journals/fac/fac17.html#WulfDR05

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

8

A Game Semantics for Generic Polymorphism: A game semantics for generic polymorphism

Autoři: Abramsky, S Jagadeesan, R

Zdroj: Lecture Notes in Computer Science ISBN: 9783540008972

Témata: FOS: Computer and information sciences, Logic in computer science, Computer Science - Logic in Computer Science, Logic, Semantics in the theory of computing, System F, 0102 computer and information sciences, 16. Peace & justice, 01 natural sciences, game semantics, Logic in Computer Science (cs.LO), categorical model of program polymorphism, generic polymorphism, Combinatory logic and lambda calculus, 0101 mathematics, Categorical logic, topoi, second-order \(\lambda\)-calculus

Popis souboru: application/xml

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F3-540-36576-1_1.pdf
http://arxiv.org/abs/1312.1120
https://zbmath.org/2160240
https://doi.org/10.1016/j.apal.2004.10.002
https://dblp.uni-trier.de/db/journals/apal/apal133.html#AbramskyJ05
https://core.ac.uk/display/104165179
https://www.sciencedirect.com/science/article/pii/S0168007204001277
https://ora.ox.ac.uk/objects/uuid:b6b5bf73-365a-4393-84f5-863a7af8f0ad
https://ora.ox.ac.uk/objects/uuid:20509a38-8a84-42c0-9d17-86d082773905

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

9

Correctness of data representations involving heap data structures

Autoři: Reddy, U Yang, H

Zdroj: Lecture Notes in Computer Science ISBN: 9783540008866

Témata: Denotational semantics, Separation logic, Data structures, Imperative programming languages, Theory of programming languages, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Relational parametricity, 01 natural sciences, Software

Popis souboru: application/xml

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F3-540-36575-3_16.pdf
https://zbmath.org/2117393
https://doi.org/10.1016/j.scico.2004.01.007
https://www.sciencedirect.com/science/article/abs/pii/S0167642304000085
https://research.birmingham.ac.uk/portal/files/12780893/heap_parametricity.pdf
https://www.sciencedirect.com/science/article/pii/S0167642304000085
https://koasas.kaist.ac.kr/handle/10203/225299
https://link.springer.com/content/pdf/10.1007%2F3-540-36575-3_16.pdf
https://link.springer.com/chapter/10.1007/3-540-36575-3_16
https://ora.ox.ac.uk/objects/uuid:00777d7d-7ecb-448a-b610-c053964eff8c
https://ora.ox.ac.uk/objects/uuid:1b1c88e9-64cf-4a53-8cde-ee20895c6e5b

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

10

Live and Let Die: LSC-Based Verification of UML-Models: Live and let die: LSC based verification of UML models

Autoři: Damm, Werner Westphal, Bernd

Zdroj: Lecture Notes in Computer Science ISBN: 9783540203032

Témata: Specification and verification (program logics, model checking, etc.), Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, query reduction, 02 engineering and technology, Software

Popis souboru: application/xml

Přístupová URL adresa: http://www-omega.imag.fr/doc/d1000344_1/WP22-344-V1-fmco02-verif.pdf
https://www.sciencedirect.com/science/article/pii/S0167642304001480
https://dblp.uni-trier.de/db/journals/scp/scp55.html#DammW05
https://link.springer.com/content/pdf/10.1007%2F978-3-540-39656-7_4.pdf
https://link.springer.com/chapter/10.1007/978-3-540-39656-7_4
https://core.ac.uk/display/82721356
https://doi.org/10.1007/978-3-540-39656-7_4

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

11

Logic programs as compact denotations: Logic programs as compact denotations.

Autoři: P. M. Hill SPOTO, Nicola Fausto

Zdroj: Lecture Notes in Computer Science ISBN: 9783540003892

Témata: Denotational semantics, static analysis, abstract interpretation, logic programs, Logic programs, abstract denotation, logic program, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, Abstract interpretation, 02 engineering and technology, Static analysis, Logic programming

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: https://zbmath.org/2056481
https://doi.org/10.1016/s1477-8424(03)00023-x
https://link.springer.com/content/pdf/10.1007%2F3-540-36388-2_23.pdf
https://iris.univr.it/handle/11562/32401
https://rd.springer.com/chapter/10.1007/3-540-36388-2_23
https://dblp.uni-trier.de/db/journals/cl/cl29.html#HillS03
https://www.sciencedirect.com/science/article/pii/S147784240300023X
https://link.springer.com/chapter/10.1007/3-540-36388-2_23
https://link.springer.com/content/pdf/10.1007%2F3-540-36388-2_23.pdf
https://dblp.uni-trier.de/db/conf/padl/padl2003.html#HillS03
https://iris.univr.it/handle/11562/16665
https://link.springer.com/chapter/10.1007/3-540-36388-2_23
https://hdl.handle.net/11562/16665
https://doi.org/10.1007/3-540-36388-2_23

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

12

A fixpoint theory for non-monotonic parallelism

Autoři: Yifeng, C.

Zdroj: Lecture Notes in Computer Science ISBN: 9783540442400

Témata: Reactive programs, Semantics in the theory of computing, Parallelism, Reactive program, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Semantics, Theoretical Computer Science, Fixpoint, Partitioned fixpoint, 0202 electrical engineering, electronic engineering, information engineering, Recursion, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://link.springer.com/chapter/10.1007/3-540-45793-3_9
https://rd.springer.com/chapter/10.1007/3-540-45793-3_9
https://link.springer.com/content/pdf/10.1007%2F3-540-45793-3_9.pdf
https://dblp.uni-trier.de/db/conf/csl/csl2002.html#Chen02
http://core.ac.uk/display/24398384

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

13

Games Characterizing Levy-Longo Trees: Games characterizing Levy-Longo trees

Autoři: DI GIANANTONIO, Pietro ONG Luke

Zdroj: Lecture Notes in Computer Science ISBN: 9783540438649

Témata: Game semantics, arenas, Levy–Longo trees, Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, Lazy lambda-calculus, Universality, 01 natural sciences, game semantics, Theoretical Computer Science, Lambda calculus, Other game-theoretic models, Full abstraction, full abstraction, 0202 electrical engineering, electronic engineering, information engineering, Combinatory logic and lambda calculus, universality, Computer Science(all)

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: https://zbmath.org/2110973
https://doi.org/10.1016/s0304-3975(03)00405-5
https://www.sciencedirect.com/science/article/abs/pii/S0304397503004055
https://link.springer.com/chapter/10.1007/3-540-45465-9_41
https://rd.springer.com/chapter/10.1007/3-540-45465-9_41
https://dblp.uni-trier.de/db/conf/icalp/icalp2002.html#OngG02
https://www.sciencedirect.com/science/article/pii/S0304397503004055
https://hdl.handle.net/11390/689803
https://doi.org/10.1016/S0304-3975(03)00405-5
https://hdl.handle.net/11390/744513

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

14

Measuring the probabilistic powerdomain

Autoři: Martin, K Mislove, M Worrell, J

Zdroj: Lecture Notes in Computer Science ISBN: 9783540438649

Témata: 4. Education, Semantics in the theory of computing, 0102 computer and information sciences, iterated function system, 7. Clean energy, 01 natural sciences, Theoretical Computer Science, Continuous lattices and posets, applications, continuous domain, 11. Sustainability, probabilistic powerdomain, measurement, 0101 mathematics, valuation, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://ora.ox.ac.uk/objects/uuid:f00025e5-49ff-459a-b316-d442d8a35cfd/download_file?safe_filename=Measuring-the-probabilistic-powerdomain_2004_Theoretical-Computer-Science.pdf&file_format=application%2Fpdf&type_of_work=Journal+article
https://zbmath.org/2110972
https://doi.org/10.1016/s0304-3975(03)00404-3
https://www.sciencedirect.com/science/article/pii/S0304397503004043
https://rd.springer.com/chapter/10.1007/3-540-45465-9_40
https://link.springer.com/chapter/10.1007/3-540-45465-9_40
https://dblp.uni-trier.de/db/conf/icalp/icalp2002.html#MartinMW02
https://ora.ox.ac.uk/objects/uuid:f00025e5-49ff-459a-b316-d442d8a35cfd
https://doi.org/10.1016/s0304-3975(03)00404-3
https://ora.ox.ac.uk/objects/uuid:0e145746-7650-4ff5-8a00-4b120a10014a
https://doi.org/10.1016/s0304-3975(03)00404-3

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

15

Comparing Refinements for Failure and Bisimulation Semantics: Comparing refinements for failure and bisimulation semantics

Autoři: Eshuis, H. Fokkinga, Martinus Maria

Zdroj: Fundamenta Informaticae. 52:297-321

Témata: bisimulation semantics, Semantics in the theory of computing, Decorated traces, 0102 computer and information sciences, METIS-119622, Refinement, IR-63500, Failure semantics, 01 natural sciences, Labelled transition systems, EWI-7210, Bisimulation semantics

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1886073
https://research.tue.nl/en/publications/a199cf80-c19e-481c-8e81-40152e8f3c81
https://research.utwente.nl/en/publications/462b513f-8928-4bde-9130-4f177d0c8b41
https://research.utwente.nl/en/publications/e4252636-9c17-40c4-ad6e-5c29f95a376c

View record at OpenAIRE

Nájsť tento článok vo Web of Science

16

Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical: Local Models Semantics, or contextual reasoning = locality + compatibility

Autoři: C. Ghidini Giunchiglia, Fausto Ghidini, Chiara

Přispěvatelé: C. Ghidini Giunchiglia, Fausto Ghidini, Chiara

Zdroj: Artificial Intelligence. 127:221-259

Témata: local models semantics, locality and compatibility, Local Models Semantics, knowledge representation, Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, contexts, 01 natural sciences, Contexts, Knowledge representation, Locality and compatibility, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: https://zbmath.org/1635376
https://doi.org/10.1016/s0004-3702(01)00064-9
https://kr.org/proceedings/KR-1998-proceedings-scanned.pdf
https://hdl.handle.net/11572/46813

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

17

Iteration 2-theories

Autoři: S. L. BLOOM Z. ESIK LABELLA, Anna a další

Zdroj: Esik, Z, Bloom, S L, Labella, A & Manes, E 2001, 'Iteration 2-Theories', Applied Categorical Structures, vol. 9, no. 2, pp. 173-216.
Esik, Z, Bloom, S L, Labella, A & Manes, E 2001, ' Iteration 2-Theories ', Applied Categorical Structures, vol. 9, no. 2, pp. 173-216 .

Témata: recursive data types, dagger operation, regular trees, 4. Education, 2-categories, algebraic theories, equational logic, fixed point operation, initiality, iteration theories, rewriting, Semantics in the theory of computing, Theories (e.g., algebraic theories), structure, and semantics, 16. Peace & justice, recursive functorial equations, data type specifications, tree transformations, 3. Good health, Categorical semantics of formal languages, Double categories, \(2\)-categories, bicategories and generalizations, Equational logic, Mal'tsev conditions, Free algebras, iteration 2-theories, free iteration 2-theories, 2-theory, Grammars and rewriting systems, algebraically complete categories, Cartesian structure

Popis souboru: application/xml

Přístupová URL adresa: https://vbn.aau.dk/da/publications/5893e6b0-8092-11db-8b97-000ea68e967b
https://link.springer.com/article/10.1023%2FA%3A1008708924144
https://vbn.aau.dk/da/publications/iteration-2-theories
https://dblp.uni-trier.de/db/journals/acs/acs9.html#BloomELM01
https://hdl.handle.net/11573/192908
http://www.springerlink.com/content/m2t52vn7l3u7rk
https://doi.org/10.1007/BFb0000461

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

18

A fully abstract denotational semantics for the calculus of higher-order communicating systems

Autoři: Thomsen, B. Abramsky, S.

Zdroj: Thomsen, B & Abramsky, S 2001, 'A fully abstract denotational semantics for the calculus of higher-order communicating systems', Theoretical Computer Science, vol. 254, no. 1-2, pp. 557-589. https://doi.org/10.1016/S0304-3975(00)00281-4

Témata: Denotational semantics, Fully abstract, processes as first class objects, Semantics in the theory of computing, higher-order communicating systems, fully abstract, Processes as first class objects, Higher-order communicating systems, denotational semantics, Theoretical Computer Science, Computer Science(all)