Search Results - "Semantics in the theory of computing"

1

Academic Journal

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

Authors: Amin Timany, Robbert Krebbers, Derek Dreyer, Lars Birkedal

Source: 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

Subject Terms: 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

File Description: application/xml

Access URL: 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

2

Academic Journal

sL-approximation spaces capture sL-domains

Authors: Guojun Wu, Luoshan Xu, Wei Yao

Source: Mathematical Structures in Computer Science. 35

Subject Terms: 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

File Description: application/xml

Linked Full Text

3

Academic Journal

On higher-order communication in ambient calculi

Authors: Xian Xu, Yan Huang, Zhihuan Yao

Source: Mathematical Structures in Computer Science. 35

Subject Terms: 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

File Description: application/xml

Access URL: https://zbmath.org/8030886
https://doi.org/10.1017/s0960129525000015

Linked Full Text

4

Academic Journal

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

Authors: Howe, J. M., King, A., Simon, A.

Source: Theoretical Computer Science. 768:1-42

Subject Terms: 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

File Description: application/xml; application/pdf

Access URL: 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 View record from ScienceDirect

Linked Full Text

5

Academic Journal

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

Authors: Rui Zhang, Lei Liu, Wenjuan Gao, Degui Guo

Source: Information Sciences. :286-301

Subject Terms: 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

File Description: application/xml

Access URL: 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 from ScienceDirect

Linked Full Text

6

Book

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

Authors: Cachera, David, Jensen, Thomas, Pichardie, David, Rusu, Vlad

Contributors: Dart, Mister, Logiciel : ANalyse et DEveloppement (Lande), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Contributions of the Data parallelism to real time (DART), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe

Source: Lecture Notes in Computer Science ISBN: 9783540213130

Subject Terms: 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)

File Description: application/xml; application/pdf

Access URL: 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 View record from ScienceDirect Full Text Finder

7

Book

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

Authors: De Wulf, Martin, Doyen, Laurent, Raskin, Jean-François

Source: Lecture Notes in Computer Science ISBN: 9783540212591

Subject Terms: 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

File Description: application/xml; 1 full-text file(s): application/pdf

Access URL: 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 View record at Springer Full Text Finder

8

Book

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

Authors: Abramsky, S, Jagadeesan, R

Source: Lecture Notes in Computer Science ISBN: 9783540008972

Subject Terms: 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

File Description: application/xml

Access URL: 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 View record from ScienceDirect Full Text Finder

9

Academic Journal

Correctness of data representations involving heap data structures

Authors: Reddy, U, Yang, H

Source: Lecture Notes in Computer Science ISBN: 9783540008866

Subject Terms: 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

File Description: application/xml

Access URL: 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 View record from ScienceDirect

Linked Full Text

10

Book

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

Authors: Damm, Werner, Westphal, Bernd

Source: Lecture Notes in Computer Science ISBN: 9783540203032

Subject Terms: 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

File Description: application/xml

Access URL: 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 View record from ScienceDirect Full Text Finder

11

Academic Journal

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

Authors: P. M. Hill, SPOTO, Nicola Fausto

Source: Lecture Notes in Computer Science ISBN: 9783540003892

Subject Terms: 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

File Description: application/xml; application/pdf

Access URL: 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 from ScienceDirect

Linked Full Text

12

Academic Journal

A fixpoint theory for non-monotonic parallelism

Authors: Yifeng, C.

Source: Lecture Notes in Computer Science ISBN: 9783540442400

Subject Terms: 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)

File Description: application/xml

Access URL: 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 View record from ScienceDirect

Linked Full Text

13

Book

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

Authors: DI GIANANTONIO, Pietro, ONG Luke

Source: Lecture Notes in Computer Science ISBN: 9783540438649

Subject Terms: 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)

File Description: application/xml; application/pdf

Access URL: 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 View record from ScienceDirect Full Text Finder

14

Academic Journal

Measuring the probabilistic powerdomain

Authors: Martin, K, Mislove, M, Worrell, J

Source: Lecture Notes in Computer Science ISBN: 9783540438649

Subject Terms: 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)

File Description: application/xml

Access URL: 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 View record from ScienceDirect

Linked Full Text

15

Academic Journal

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

Authors: Eshuis, H., Fokkinga, Martinus Maria

Source: Fundamenta Informaticae. 52:297-321

Subject Terms: 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

File Description: application/xml

Access URL: 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

16

Academic Journal

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

Authors: C. Ghidini, Giunchiglia, Fausto

Contributors: Ghidini, Chiara, Giunchiglia, Fausto

Source: Artificial Intelligence. 127:221-259

Subject Terms: 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

File Description: application/xml; application/pdf

Access URL: 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 View record from ScienceDirect

Linked Full Text

17

Academic Journal

Iteration 2-theories

Authors: S. L. BLOOM, Z. ESIK, LABELLA, Anna, E. G. MANES

Source: 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 .

Subject Terms: 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

File Description: application/xml

Access URL: 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 Springer

Linked Full Text

18

Academic Journal

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

Authors: Thomsen, B., Abramsky, S.

Source: 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

Subject Terms: 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)