×

Found 303 Documents (Results 1–100)

Recursion and sequentiality in categories of sheaves. (English) Zbl 07700630

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 25, 22 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Resource transition systems and full abstraction for linear higher-order effectful programs. (English) Zbl 07700628

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 23, 19 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the cognitive potential of derivative meaning in Aristotelian diagrams. (English) Zbl 1514.03031

Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 495-511 (2021).
MSC:  03A05
PDFBibTeX XMLCite
Full Text: DOI

Universal invariant checking of parametric systems with quantifier-free SMT reasoning. (English) Zbl 07437076

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 131-147 (2021).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Accelerating predicate abstraction by minimum unsatisfiable cores extraction. (English) Zbl 1481.68032

He, Kun (ed.) et al., Theoretical computer science. 38th national conference, NCTCS 2020, Nanning, China, November 13–15, 2020. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1352, 3-13 (2021).
MSC:  68Q60 03B70 68M07
PDFBibTeX XMLCite
Full Text: DOI

Points as higher-order constructs. Whitehead’s method of extensive abstraction. (English) Zbl 1459.01019

Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 347-378 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Schopenhauer diagrams for conceptual analysis. (English) Zbl 07627782

Pietarinen, Ahti-Veikko (ed.) et al., Diagrammatic representation and inference. 11th international conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12169, 281-288 (2020).
MSC:  03-03 03A05
PDFBibTeX XMLCite
Full Text: DOI

The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 1498.03041

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 327-340 (2020).
MSC:  03B40 03B48 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Solving the Caesar problem – with metaphysics. (English) Zbl 1528.03059

Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 116-131 (2020).
MSC:  03A05 00A30
PDFBibTeX XMLCite
Full Text: DOI

Fully abstract models of the probabilistic \(\lambda\)-calculus. (English) Zbl 1528.03117

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 16, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Eager functions as processes. (English) Zbl 1452.03044

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 364-373 (2018).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Two accounts of pairs. (English) Zbl 1418.03025

Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 201-221 (2017).
MSC:  03A05
PDFBibTeX XMLCite

Modules, abstraction, and parametric polymorphism. (English) Zbl 1380.68119

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 100-113 (2017).
MSC:  68N30 03B70 68T15
PDFBibTeX XMLCite
Full Text: DOI

Semantic-directed clumping of disjunctive abstract states. (English) Zbl 1380.68129

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 32-45 (2017).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI HAL

Use of logical models for proving operational termination in general logics. (English) Zbl 1367.68068

Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 26-46 (2016).
MSC:  68N30 03B70 68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Two approaches to philosophically analysing language. (English) Zbl 1372.03011

Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 203-213 (2015).
MSC:  03A05 03B65
PDFBibTeX XMLCite

Equational abstractions in rewriting logic and Maude. (English) Zbl 1335.68143

Braga, Christiano (ed.) et al., Formal methods: foundations and applications. 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 – October 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-15074-1/pbk). Lecture Notes in Computer Science 8941, 17-31 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Tree-like grammars and separation logic. (English) Zbl 1329.68154

Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 90-108 (2015).
MSC:  68Q42 03B70 68P05
PDFBibTeX XMLCite
Full Text: DOI

Abstracting and counting synchronizing processes. (English) Zbl 1432.68305

D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 227-244 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

On the characterization of models of \(\mathcal{H}^*\). (English) Zbl 1394.03022

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 24, 10 p. (2014).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI

Abstraction, discretization, and robustness in temporal logic control of dynamical systems. (English) Zbl 1362.93058

Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 293-302 (2014).
MSC:  93B50 03B80 93A30
PDFBibTeX XMLCite
Full Text: DOI

Abstract local reasoning for concurrent libraries: mind the gap. (English) Zbl 1337.68069

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 147-166, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

A sound and complete abstraction for reasoning about parallel prefix sums. (English) Zbl 1284.68387

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 397-409 (2014).
MSC:  68Q60 68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI Link

The essence of Reynolds. (English) Zbl 1284.68168

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 251-255 (2014).
PDFBibTeX XMLCite
Full Text: DOI

A type-directed abstraction refinement approach to higher-order model checking. (English) Zbl 1284.68414

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 61-72 (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

Logical relations for fine-grained concurrency. (English) Zbl 1301.68181

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 343-356 (2013).
PDFBibTeX XMLCite
Full Text: DOI

The resource lambda calculus is short-sighted in its relational model. (English) Zbl 1381.03021

Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 93-108 (2013).
MSC:  03B40 03F52 18C20
PDFBibTeX XMLCite
Full Text: DOI

Game semantics in the nominal model. (English) Zbl 1342.68195

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 173-189 (2012).
MSC:  68Q55 03B70 91A80
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software