×

Found 346 Documents (Results 1–100)

Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms. (English) Zbl 1524.68195

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 30-59 (2019).
MSC:  68Q60 68N30 68V15
PDFBibTeX XMLCite
Full Text: DOI

Approximate multi-matroid intersection via iterative refinement. (English) Zbl 1436.90125

Lodi, Andrea (ed.) et al., Integer programming and combinatorial optimization. 20th international conference, IPCO 2019, Ann Arbor, MI, USA, May 22–24, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11480, 299-312 (2019).
MSC:  90C27
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

On the integrality gap of the prize-collecting Steiner forest LP. (English) Zbl 1467.90082

Jansen, Klaus (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 20th international workshop, APPROX 2017 and 21st international workshop, RANDOM 2017, Berkeley, CA, USA, August 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 81, Article 17, 13 p. (2017).
MSC:  90C35 68W25 90C59
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dijkstra monads for free. (English) Zbl 1380.68266

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). 515-529 (2017).
MSC:  68Q60 68N30 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Near-algebras and gamma near-algebras. (English) Zbl 1365.16034

Syam Prasad, Kuncham (ed.) et al., Nearrings, nearfields and related topics. Lecture notes of the 24th international conference, MIT, Manipal University, Manipal, India, July 5–12, 2015. Hackensack, NJ: World Scientific (ISBN 978-981-3207-35-6/hbk; 978-981-3207-37-0/ebook). 256-263 (2017).
MSC:  16Y30
PDFBibTeX XMLCite
Full Text: DOI

Planarity and duality. (English) Zbl 1388.05051

Thulasiraman, Krishnaiyan (ed.) et al., Handbook of graph theory, combinatorial optimization, and algorithms. Boca Raton, FL: CRC Press (ISBN 978-1-58488-595-5/hbk; 978-1-4200-1107-4/ebook). Chapman & Hall/CRC Computer and Information Science Series, 475-488 (2016).
MSC:  05C10 05C90
PDFBibTeX XMLCite

Adjacency matrix and signal flow graphs. (English) Zbl 1388.05080

Thulasiraman, Krishnaiyan (ed.) et al., Handbook of graph theory, combinatorial optimization, and algorithms. Boca Raton, FL: CRC Press (ISBN 978-1-58488-595-5/hbk; 978-1-4200-1107-4/ebook). Chapman & Hall/CRC Computer and Information Science Series, 215-225 (2016).
PDFBibTeX XMLCite

Incidence, cut, and circuit matrices of a graph. (English) Zbl 1388.05117

Thulasiraman, Krishnaiyan (ed.) et al., Handbook of graph theory, combinatorial optimization, and algorithms. Boca Raton, FL: CRC Press (ISBN 978-1-58488-595-5/hbk; 978-1-4200-1107-4/ebook). Chapman & Hall/CRC Computer and Information Science Series, 191-213 (2016).
MSC:  05C50 05C90
PDFBibTeX XMLCite

Graphs and vector spaces. (English) Zbl 1388.05182

Thulasiraman, Krishnaiyan (ed.) et al., Handbook of graph theory, combinatorial optimization, and algorithms. Boca Raton, FL: CRC Press (ISBN 978-1-58488-595-5/hbk; 978-1-4200-1107-4/ebook). Chapman & Hall/CRC Computer and Information Science Series, 177-189 (2016).
PDFBibTeX XMLCite

Dependent types and multi-monadic effects in \(\mathrm{F}^*\). (English) Zbl 1347.68038

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). 256-270 (2016).
MSC:  68N15 68N18 68T15
PDFBibTeX XMLCite
Full Text: DOI

Search and optimization by metaheuristics. Techniques and algorithms inspired by nature. (English) Zbl 1351.90002

Basel: Birkhäuser/Springer (ISBN 978-3-319-41191-0/hbk; 978-3-319-41192-7/ebook). xxi, 434 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Safe & efficient gradual typing for TypeScript. (English) Zbl 1346.68049

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 167-180 (2015).
MSC:  68N15 68N20 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Polymonadic programming. (English) Zbl 1464.68060

Levy, Paul (ed.) et al., Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 153, 79-99 (2014).
MSC:  68N18 18C15
PDFBibTeX XMLCite
Full Text: arXiv Link

Gradual typing embedded securely in JavaScript. (English) Zbl 1284.68108

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

Probabilistic relational verification for cryptographic implementations. (English) Zbl 1284.68380

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). 193-205 (2014).
MSC:  68Q60 03B70 68N18 68T15 94A60
PDFBibTeX XMLCite
Full Text: DOI

Fully abstract compilation to JavaScript. (English) Zbl 1301.68100

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). 371-384 (2013).
MSC:  68N30 68N20
PDFBibTeX XMLCite
Full Text: DOI HAL

Self-certification: bootstrapping certified typecheckers in F\(^\ast\) with Coq. (English) Zbl 1321.68205

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). 571-584 (2012).
MSC:  68N30 68N15 68N19 68T15
PDFBibTeX XMLCite
Full Text: DOI

Secure distributed programming with value-dependent types. (English) Zbl 1323.68229

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, 266-278 (2011).
MSC:  68N30 68N15 68N19
PDFBibTeX XMLCite
Full Text: DOI HAL

Lightweight monadic programming in ML. (English) Zbl 1323.68166

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, 15-27 (2011).
MSC:  68N18 68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Counting RNA patterns in the classroom: a link between molecular biology and enumerative combinatorics. (English) Zbl 1328.97035

Cozzens, Margaret B. (ed.) et al., BioMath in the schools. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4295-9/hbk). DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 76, 79-94 (2011).
MSC:  97M60 97K20 00A35
PDFBibTeX XMLCite

A theory of typed coercions and its applications. (English) Zbl 1302.68093

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, 329-340 (2009).
MSC:  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