×

Found 438 Documents (Results 1–100)

100
MathJax

Guarded computational type theory. (English) Zbl 1453.03027

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). 879-888 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Undecidability of equality for codata types. (English) Zbl 06962931

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 34-55 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Efficient type checking for path polymorphism. (English) Zbl 1433.68094

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 6, 23 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Abstract domains for type juggling. (English) Zbl 1412.68033

Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 41-55 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Controlling file access with types. (English) Zbl 1401.68067

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 3-20 (2017).
MSC:  68P25 03B70
PDF BibTeX XML Cite
Full Text: DOI

Deciding equivalence with sums and the empty type. (English) Zbl 1387.03014

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). 374-386 (2017).
MSC:  03B40 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

A relational model of types-and-effects in higher-order concurrent separation logic. (English) Zbl 1380.68126

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). 218-231 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Context-free session types. (English) Zbl 1361.68052

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 462-475 (2016).
MSC:  68N18 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Partial type equivalences for verified dependent interoperability. (English) Zbl 1360.68322

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 298-310 (2016).
MSC:  68N18 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI Link

Two-restricted one context unification is in polynomial time. (English) Zbl 1373.68269

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, 405-422 (2015).
PDF BibTeX XML Cite
Full Text: DOI

A simple and efficient step towards type-correct XSLT transformations. (English) Zbl 1366.68019

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 350-364 (2015).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

Fly-automata for checking monadic second-order properties of graphs of bounded tree-width. (English) Zbl 1347.03077

Campêlo, Manoel (ed.) et al., LAGOS ’15. Selected papers of the 8th Latin-American algorithms, graphs, and optimization symposium, Praia das Fontes, Beberibe, Brazil, May 11–15, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 50, 3-8, electronic only (2015).
MSC:  03D05 68Q45 05C12 05C69 03B15
PDF BibTeX XML Cite
Full Text: DOI

Compositional higher-order model checking via \(\omega\)-regular games over Böhm trees. (English) Zbl 1401.68207

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. 78, 10 p. (2014).
MSC:  68Q60 68Q55 91A43
PDF BibTeX XML Cite
Full Text: DOI Link

Abstract effects and proof-relevant logical relations. (English) Zbl 1284.68371

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). 619-631 (2014).
MSC:  68Q55 68Q60 03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Counter-factual typing for debugging type errors. (English) Zbl 1284.68146

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). 583-594 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Toward general diagnosis of static errors. (English) Zbl 1284.68141

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). 569-581 (2014).
PDF BibTeX XML Cite
Full Text: DOI Link

Cakeml, a verified implementation of ML. (English) Zbl 1284.68405

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). 179-191 (2014).
MSC:  68Q60 68N30 68T15 68N20
PDF BibTeX XML Cite
Full Text: DOI

Fissile type analysis, modular checking of almost everywhere invariants. (English) Zbl 1284.68390

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). 73-85 (2014).
MSC:  68Q60 68N15 68P05
PDF BibTeX XML Cite
Full Text: DOI

Backpack, retrofitting Haskell with interfaces. (English) Zbl 1284.68134

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). 19-31 (2014).
PDF BibTeX XML Cite
Full Text: DOI

An abstract, reusable, and extensible programming language design architecture. (English) Zbl 1397.68023

Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013).
MSC:  68N15 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Modular and automated type-soundness verification for language extensions. (English) Zbl 1323.68218

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

Subjective auxiliary state for coarse-grained concurrency. (English) Zbl 1301.68102

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). 561-574 (2013).
MSC:  68N30 03B70 68Q55 68Q60 68Q85 68T15
PDF BibTeX XML Cite
Full Text: DOI Link

Hyperstream processing systems, nonstandard modeling of continuous-time signals. (English) Zbl 1301.68105

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

Static and dynamic semantics of NoSQL languages. (English) Zbl 1301.68174

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). 101-114 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Automating relatively complete verification of higher-order functional programs. (English) Zbl 1301.68182

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). 75-86 (2013).
MSC:  68Q60 68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Expanding the expressive power of monadic second-order logic on restricted graph classes. (English) Zbl 1284.68463

Lecroq, Thierry (ed.) et al., Combinatorial algorithms. 24th international workshop, IWOCA 2013, Rouen, France, July 10–12, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-45277-2/pbk). Lecture Notes in Computer Science 8288, 164-177 (2013).
MSC:  68R10 03B15 03B70 68Q17 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

A type-checking algorithm for Martin-Löf type theory with subtyping based on normalisation by evaluation. (English) Zbl 1273.03106

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, 140-155 (2013).
MSC:  03B70 03F55
PDF BibTeX XML Cite
Full Text: DOI

First-order and monadic second-order model-checking on ordered structures. (English) Zbl 1362.68167

Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 275-284 (2012).
MSC:  68Q60 03B10 03B15 03C07 03C13 68Q19 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Static type inference for the Q language using constraint logic programming. (English) Zbl 1281.68085

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 119-129, electronic only (2012).
MSC:  68N30 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Type checking of tree walking transducers. (English) Zbl 1256.68106

D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 325-372 (2012).
MSC:  68Q45 68P05 68P10
PDF BibTeX XML Cite
Full Text: DOI Link

When trees grow low: shrubs and fast \(\mathrm{MSO}_{1}\). (English) Zbl 1365.68323

Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2012. 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32588-5/pbk). Lecture Notes in Computer Science 7464, 419-430 (2012).
MSC:  68Q60 03B15 05C05 05C75 68R10
PDF BibTeX XML Cite
Full Text: DOI

Constructive development of probabilistic programs. (English) Zbl 1353.68051

Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20–22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 80-95 (2012).
MSC:  68N30 68Q60 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Decidable structures between Church-style and Curry-style. (English) Zbl 1356.03058

van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 190-205 (2013).
MSC:  03B40 03B25
PDF BibTeX XML Cite
Full Text: DOI

The mechanical verification of a DPLL-based satisfiability solver. (English) Zbl 1347.68307

Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 3-17 (2011).
MSC:  68T15 68Q60 68T20
PDF BibTeX XML Cite
Full Text: DOI

A partial type checking algorithm for Type:Type. (English) Zbl 1291.68106

Capretta, Venanzio (ed.) et al., Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 5, 3-17 (2011).
MSC:  68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI

Static type checking for the Q functional language in Prolog. (English) Zbl 1245.68170

Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 62-72, electronic only (2011).
MSC:  68T15 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

Ampersand. Applying relation algebra in practice. (English) Zbl 1329.68066

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, 280-293 (2011).
MSC:  68N18 03G15 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Contracts made manifest. (English) Zbl 1312.68133

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 353-364 (2010).
MSC:  68Q60 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Decision procedures for algebraic data types with abstractions. (English) Zbl 1312.68147

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 199-210 (2010).
MSC:  68Q65 68P05 68Q60
PDF BibTeX XML Cite
Full Text: DOI Link

Dependent types from counterexamples. (English) Zbl 1312.68041

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 119-130 (2010).
PDF BibTeX XML Cite
Full Text: DOI Link

VeriML: typed computation of logical terms inside a language with effects. (English) Zbl 1323.68384

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, 333-344 (2010).
MSC:  68Q60 68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI

The undecidability of type related problems in type-free style system F. (English) Zbl 1236.68128

Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 103-118, electronic only (2010).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI Link

Fun with type functions. (English) Zbl 1213.68190

Jones, Cliff B. (ed.) et al., Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare’s 75th birthday, Cambridge, UK, April 2009. London: Springer (ISBN 978-1-84882-911-4/hbk; 978-1-84882-912-1/ebook). 301-331 (2010).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

New algorithm for weak monadic second-order logic on inductive structures. (English) Zbl 1287.68109

Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 366-380 (2010).
MSC:  68Q60 03B15 03B25
PDF BibTeX XML Cite
Full Text: DOI Link

The model checking problem for prefix classes of second-order logic: a survey. (English) Zbl 1287.68107

Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 227-250 (2010).
MSC:  68Q60 03B15 03C13 68Q45 68-02
PDF BibTeX XML Cite
Full Text: DOI

Type checking and inference are equivalent in lambda calculi with existential types. (English) Zbl 1274.03027

Escobar, Santiago (ed.), Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11998-9/pbk). Lecture Notes in Computer Science 5979, 96-110 (2010).
MSC:  03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software