×

Found 236 Documents (Results 1–100)

Practical relational calculus query evaluation. (English) Zbl 07838433

Aspnes, James (ed.) et al., 1st symposium on algorithmic foundations of dynamic networks, SAND 2022, virtual conference, March 28–30, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 221, Article 11, 21 p. (2022).
MSC:  68Mxx 68R10
PDFBibTeX XMLCite
Full Text: DOI

Practical relational calculus query evaluation. (English) Zbl 07836641

Olteanu, Dan (ed.) et al., 25th international conference on database theory, ICDT 2022, Edinburgh, UK, virtual conference, March 29 – April 1, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 220, Article 11, 21 p. (2022).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: DOI

Semantics of a relational \(\lambda\)-calculus. (English) Zbl 07369992

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 242-261 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. (English) Zbl 1530.03160

Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 373-391 (2019).
MSC:  03F52 03B47 03B25
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic semantics for RoboChart. A weakest completion approach. (English) Zbl 07168635

Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 80-105 (2019).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Algebraic operators for processing sets of temporal intervals in relational databases. (English) Zbl 1487.68090

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 11, 16 p. (2018).
MSC:  68P15
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

A Stone-type duality theorem for separation logic via its underlying bunched logics. (English) Zbl 1525.03094

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 101-118 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Every \(\lambda \)-term is meaningful for the infinitary relational model. (English) Zbl 1453.03011

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). 899-908 (2018).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

*-continuity vs. induction: divide and conquer. (English) Zbl 1418.03111

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 493-510 (2018).
MSC:  03B47 03G25 68Q45
PDFBibTeX XMLCite

Routley-Meyer ternary relational semantics for intuitionistic-type negations. (English) Zbl 1426.03005

Amsterdam: Elsevier/Academic Press (ISBN 978-0-08-100751-8/pbk; 978-0-12-804509-1/ebook). xxi, 136 p. (2018).
PDFBibTeX XMLCite
Full Text: Link

Relational cost analysis. (English) Zbl 1380.68118

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). 316-329 (2017).
MSC:  68N30 68N18
PDFBibTeX XMLCite
Full Text: DOI

Plays as resource terms via non-idempotent intersection types. (English) Zbl 1401.68178

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 237-246 (2016).
MSC:  68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

New results on Morris’s observational theory: the benefits of separating the inseparable. (English) Zbl 1387.03011

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 15, 18 p. (2016).
MSC:  03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI

An explanation for the ternary relation R in the relational semantics of relevance logic. (English) Zbl 1429.03091

Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 167-178 (2015).
MSC:  03B47
PDFBibTeX XMLCite
Full Text: DOI

Modelling coeffects in the relational semantics of linear logic. (English) Zbl 1373.03127

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 567-581 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Relational semantics of linear logic and higher-order model checking. (English) Zbl 1373.68287

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 260-276 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

An infinitary model of linear logic. (English) Zbl 1459.03025

Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9034, 41-55 (2015).
MSC:  03B47 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

On polarity frames: applications to substructural and lattice-based logics. (English) Zbl 1385.03030

Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 533-552 (2014).
MSC:  03B47 03B50
PDFBibTeX XMLCite

A relational framework for higher-order shape analysis. (English) Zbl 1345.68062

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 311-324 (2014).
MSC:  68N18 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

A semantical and operational account of call-by-value solvability. (English) Zbl 1405.68056

Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 103-118 (2014).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A point-free relation-algebraic approach to general topology. (English) Zbl 1405.68089

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 226-241 (2014).
PDFBibTeX XMLCite
Full Text: DOI

A relationally parametric model of dependent type theory. (English) Zbl 1284.68163

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). 503-515 (2014).
MSC:  68N30 68N18 03B70
PDFBibTeX XMLCite
Full Text: DOI Link

Tabular, a schema-driven probabilistic programming language. (English) Zbl 1284.68103

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). 321-334 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Internalizing relational parametricity in the extensional calculus of constructions. (English) Zbl 1356.68043

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 432-451 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Relational parametricity for higher kinds. (English) Zbl 1252.68059

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 46-61, electronic only (2012).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Full abstraction for resource calculus with tests. (English) Zbl 1247.03020

Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 97-111, electronic only (2011).
MSC:  03B40 03B70 03F52
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Computing preconditions and postconditions of while loops. (English) Zbl 1350.68062

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 173-193 (2011).
MSC:  68N30 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Dependently-typed formalisation of relation-algebraic abstractions. (English) Zbl 1329.68063

de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 230-247 (2011).
MSC:  68N18 68N15 68Q65 68T15
PDFBibTeX XMLCite
Full Text: DOI

Categorical models for simply typed resource calculi. (English) Zbl 1342.68048

Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 213-230 (2010).
MSC:  68N18 18B10 18D10
PDFBibTeX XMLCite
Full Text: DOI

Bi-approximation semantics for substructural logic at work. (English) Zbl 1254.03046

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 411-433 (2010).
MSC:  03B47
PDFBibTeX XMLCite

Bidirectionalization for free! (Pearl). (English) Zbl 1315.68059

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 165-176 (2009).
MSC:  68N18 68N19 68N30
PDFBibTeX XMLCite
Full Text: DOI

Free theorems involving type constructor classes, functional pearl. (English) Zbl 1302.68094

Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 173-184 (2009).
MSC:  68N30 68N18
PDFBibTeX XMLCite
Full Text: DOI

Relational methods in the analysis of while loops: observations of versatility. (English) Zbl 1267.68096

Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1–5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04638-4/pbk). Lecture Notes in Computer Science 5827, 242-259 (2009).
MSC:  68N30 03G15
PDFBibTeX XMLCite
Full Text: DOI

A general class of models of \(\mathcal{H}^*\). (English) Zbl 1250.03025

Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 574-586 (2009).
MSC:  03B40 06B35 18D15
PDFBibTeX XMLCite
Full Text: DOI

Positive fork graph calculus. (English) Zbl 1211.03097

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 152-163 (2009).
MSC:  03G15 03B25 03B70
PDFBibTeX XMLCite
Full Text: DOI

A relational model of a parallel and non-deterministic \(\lambda \)-calculus. (English) Zbl 1211.03026

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 107-121 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Much ado about two (pearl), a pearl on parallel prefix computation. (English) Zbl 1295.68070

Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 29-35 (2008).
MSC:  68N18 68N30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software