×

Found 99 Documents (Results 1–99)

100
MathJax

Complete trace models of state and control. (English) Zbl 1473.68037

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 348-374 (2021).
MSC:  68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI arXiv

Programs using syntax with first-class binders. (English) Zbl 1485.68064

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 504-529 (2017).
MSC:  68N30 68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI

Unboundedness and downward closures of higher-order pushdown automata. (English) Zbl 1347.68205

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 151-163 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Temporal verification of higher-order functional programs. (English) Zbl 1347.68233

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 57-68 (2016).
MSC:  68Q60 68N18 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Incorporating quotation and evaluation into Church’s type theory: syntax and semantics. (English) Zbl 1344.68204

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 83-98 (2016).
MSC:  68T15 03B15 68N15
PDF BibTeX XML Cite
Full Text: DOI arXiv

A model of guarded recursion with clock synchronisation. (English) Zbl 1351.68057

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 83-101, electronic only (2015).
MSC:  68N18 03B15 03B70 18C50 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Unifying classical and intuitionistic logics for computational control. (English) Zbl 1367.03058

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 283-292 (2013).
MSC:  03B70 03B05 03B15 03B20 68N15
PDF BibTeX XML Cite
Full Text: DOI

Model checking and functional program transformations. (English) Zbl 1359.68044

Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 115-126 (2013).
MSC:  68N18 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Using circular programs for higher-order syntax (functional pearl). (English) Zbl 1323.68093

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 257-262 (2013).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

System \(\mathrm F _{i }\). A higher-order polymorphic \(\lambda \)-calculus with erasable term-indices. (English) Zbl 1381.68044

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, 15-30 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Modular bisimulation theory for computations and values. (English) Zbl 1260.68261

Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 97-112 (2013).
MSC:  68Q85 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Programming with binders and indexed data-types. (English) Zbl 1321.68141

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 413-424 (2012).
MSC:  68N18 68N15 68T15
PDF BibTeX XML Cite
Full Text: DOI

Canonicity for 2-dimensional type theory. (English) Zbl 1321.03049

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 337-348 (2012).
MSC:  03B70 03B15 68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI Link

The marriage of bisimulations and Kripke logical relations. (English) Zbl 1321.68198

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 59-72 (2012).
PDF BibTeX XML Cite
Full Text: DOI Link

Introspective pushdown analysis of higher-order programs. (English) Zbl 1291.68117

Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 177-188 (2012).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

A syntactical approach to weak omega-groupoids. (English) Zbl 1252.68058

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, 16-30, electronic only (2012).
MSC:  68N18 03B15 18C50 18D05
PDF BibTeX XML Cite
Full Text: DOI

Complete monitors for behavioral contracts. (English) Zbl 1352.68031

Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 214-233 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Capsules and closures. (English) Zbl 1342.68088

Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 191-213 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Temporal higher-order contracts. (English) Zbl 1323.68068

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 176-188 (2011).
MSC:  68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

A fresh look at programming with names and binders. (English) Zbl 1323.68082

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 217-228 (2010).
MSC:  68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

Fighting bit rot with types (Experience report: Scala collections). (English) Zbl 1248.68158

Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 427-451, electronic only (2009).
MSC:  68N99 68N15
PDF BibTeX XML Cite
Full Text: DOI Link

Higher-order components for grid programming. Making grids more usable. (English) Zbl 1179.68015

Berlin: Springer (ISBN 978-3-642-00840-5/hbk; 978-3-642-00841-2/ebook). xiii, 186 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI

A type-preserving compiler in Haskell. (English) Zbl 1323.68187

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 75-86 (2008).
PDF BibTeX XML Cite
Full Text: DOI Link

Focusing and higher-order abstract syntax. (English) Zbl 1295.68071

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). 359-369 (2008).
MSC:  68N18 03B70 68N15 68T15
PDF BibTeX XML Cite
Full Text: DOI

On a fully abstract model for a quantum linear functional language (extended abstract). (English) Zbl 1279.68046

Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 123-137 (2008).
MSC:  68N18 68N15 81P68
PDF BibTeX XML Cite
Full Text: DOI

Basic simple type theory. Paperback reprint with corrections. (English) Zbl 1135.03006

Cambridge Tracts in Theoretical Computer Science 42. Cambridge: Cambridge University Press (ISBN 978-0-521-05422-5/pbk). xii, 186 p. (2008).
PDF BibTeX XML Cite

Type-safe higher-order channels in ML-like languages. (English) Zbl 1291.68128

Proceedings of the 12th ACM SIGPLAN international conference on functional programming, ICFP ’07, Freiburg, Germany, October 1–3, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-815-2). ACM SIGPLAN Notices 42, No. 9, 191-202 (2007).
MSC:  68N18 68N15 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Type-safe code transformations in Haskell. (English) Zbl 1277.68049

Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 23-39 (2007).
MSC:  68N18 68N15 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Model checking via \(\Gamma \)CFA. (English) Zbl 1132.68475

Cook, Byron (ed.) et al., Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69735-0/pbk). Lecture Notes in Computer Science 4349, 59-73 (2007).
MSC:  68Q60 68N18
PDF BibTeX XML Cite
Full Text: DOI

Small bisimulations for reasoning about higher-order imperative programs. (English) Zbl 1370.68048

Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 141-152 (2006).
MSC:  68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Mechanized meta-reasoning using a hybrid HOAS/de Bruijn representation and reflection. (English) Zbl 1321.68194

Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 172-183 (2006).
MSC:  68N30 68N15
PDF BibTeX XML Cite
Full Text: DOI

A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems. (English) Zbl 1185.68151

Hagiya, Masami (ed.) et al., Functional and logic programming. 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24–26, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33438-6/pbk). Lecture Notes in Computer Science 3945, 146-162 (2006).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

The Kell calculus: A family of higher-order distributed process calculi. (English) Zbl 1111.68547

Priami, Corrado (ed.) et al., Global computing. IST/FET international workshop, GC 2004, Rovereto, Italy, March 9–12, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-24101-9/pbk). Lecture Notes in Computer Science 3267, 146-178 (2005).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Extensional constructs in intensional type theory. (English) Zbl 1411.03001

Distinguished Dissertations. London: Springer; Edinburgh: Univ. Edinburgh, Laboratory for Foundations of Computer Science (LFCS) (Diss. 1996) (ISBN 978-1-4471-1243-3/pbk; 978-1-4471-0963-1/ebook). xii, 214 p. (1997).
MSC:  03-02 03B15 03B70 68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI

A theory of finite maps. (English) Zbl 1063.68646

Schubert, E. Thomas (ed.) et al., Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-60275-5). Lect. Notes Comput. Sci. 971, 122-137 (1995).
MSC:  68T15 03B35 03B15 68Q55 68Q60 68N15
PDF BibTeX XML Cite

Linear types for higher order processes with first class directed channels. (English) Zbl 0910.68034

Corradini, Andrea (ed.) et al., Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA ’95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 2, 8 p. (1995).
MSC:  68N15 68Q55 68Q42
PDF BibTeX XML Cite
Full Text: Link

From meta-level tactics to object-level programs. (English) Zbl 0801.03011

Johnson, Jeffrey (ed.) et al., Artificial intelligence in mathematics. Based on the proceedings of a conference, organized by The Institute of Mathematics and its Applications hosted by the University of Strathclyde, Glasgow, GB, and the Turing Institute in April 1991. Oxford: Clarendon Press. Inst. Math. Appl. Conf. Ser., New Ser. 51, 135-146 (1994).
MSC:  03B35 68T15 68N15 03F35
PDF BibTeX XML Cite

Constructive mathematics and computer-assisted reasoning systems. (English) Zbl 0788.68129

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 43-52 (1990).
MSC:  68T15 68W30 03F65 03B35
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software