×

Found 439 Documents (Results 1–100)

Newest Citations Relevance
Borzì, Alfio

The sequential quadratic Hamiltonian method. Solving optimal control problems. (English) Zbl 1536.49001

Chapman & Hall/CRC Numerical Analysis and Scientific Computing Series. Boca Raton, FL: CRC Press (ISBN 978-0-367-71552-6/hbk; 978-0-367-71560-1/pbk; 978-1-003-15262-0/ebook). xv, 250 p. (2023).
Reviewer: Costică Moroşanu (Iaşi)
MSC:  49-01 65-01 49M20 65K10 49K15 49J45 49J52 49J55 49N45 49N70 68T07
Cite Review PDF
Full Text: DOI
Lundén, Daniel; Borgström, Johannes; Broman, David

Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038

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, 404-431 (2021).
MSC:  68N15 68N18 68N19 68Q55 68Q87 68T37
Cite Review PDF
Full Text: DOI arXiv
OA License
Downen, Paul; Sullivan, Zachary; Ariola, Zena M.; Peyton Jones, Simon

Codata in action. (English) Zbl 1524.68083

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, 119-146 (2019).
MSC:  68N30 68N18 68N19
Cite Review PDF
Full Text: DOI
OA License
Araújo, Amarisio S.; Furtado, Helaine C. M.; de Campos Velho, Haroldo F.

\(q\)-calculus formalism for non-extensive particle filter. (English) Zbl 1442.62185

Constanda, Christian (ed.) et al., Integral methods in science and engineering. Analytic treatment and numerical approximations. Based on talks given at the 15th international conference on integral methods in science and engineering, IMSE, Brighton, UK, July 16–20, 2018. Basel: Birkhäuser. 25-35 (2019).
MSC:  62L12 62M20 60F05 65C05
Cite Review PDF
Full Text: DOI
Hoare, Tony; Struth, Georg; Woodcock, Jim

A calculus of space, time, and causality: its algebra, geometry, logic. (English) Zbl 1539.68050

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, 3-21 (2019).
MSC:  68N01 03B70 68Q85
Cite Review PDF
Full Text: DOI Link
Carette, Jacques; Chen, Chao-Hong; Choudhury, Vikraman; Sabry, Amr

From reversible programs to univalent universes and back. (English) Zbl 1525.68024

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, 5-25 (2018).
MSC:  68N30 18C50 68N18 68N19
Cite Review PDF
Full Text: DOI arXiv
Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A.

Classical proofs as parallel programs. (English) Zbl 1528.68055

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 43-57 (2018).
MSC:  68N18 03B40 03B70 03F07 68N19
Cite Review PDF
Full Text: arXiv Link
Caires, Luís; Pérez, Jorge A.

Linearity, control effects, and behavioral types. (English) Zbl 1485.68055

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, 229-259 (2017).
MSC:  68N30 03F52 68N18 68N19
Cite Review PDF
Full Text: DOI Link
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe

On higher-order probabilistic subrecursion. (English) Zbl 1486.68038

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 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. 10203, 370-386 (2017).
MSC:  68N30 03B40 68N19 68Q10 68Q55
Cite Review PDF
Full Text: DOI HAL
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, Nobuko

Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday. (English) Zbl 1475.68082

Ábrahám, Erika (ed.) et al., Theory and practice of formal methods. Essays dedicated to Frank de Boer on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9660, 155-172 (2016).
MSC:  68N30 68N18 68N19
Cite Review PDF
Full Text: DOI
Ueno, Katsuhiro; Ohori, Atsushi

A fully concurrent garbage collector for functional programs on multicore processors. (English) Zbl 1361.68053

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). 421-433 (2016).
MSC:  68N18 68N19
Cite Review PDF
Full Text: DOI
Raghunathan, Ram; Muller, Stefan K.; Acar, Umut A.; Blelloch, Guy

Hierarchical memory management for parallel programs. (English) Zbl 1361.68048

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). 392-406 (2016).
MSC:  68N18 68N19 68N30
Cite Review PDF
Full Text: DOI HAL
Jung, Ralf; Krebbers, Robbert; Birkedal, Lars; Dreyer, Derek

Higher-order ghost state. (English) Zbl 1361.68066

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). 256-269 (2016).
MSC:  68N30 03B70 68N18 68N19 68Q60 68T15
Cite Review PDF
Full Text: DOI Link
Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin

A lambda-calculus foundation for universal probabilistic programming. (English) Zbl 1360.68314

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). 33-46 (2016).
MSC:  68N18 68N15 68N19 68N30 68Q55 68T05
Cite Review PDF
Full Text: DOI arXiv Link
Acar, Umut A.; Charguéraud, Arthur; Rainey, Mike; Sieczkowski, Filip

Dag-calculus: a calculus for parallel computation. (English) Zbl 1361.68055

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). 18-32 (2016).
MSC:  68N30 68N15 68N19 68P05 68Q10 68Q55
Cite Review PDF
Full Text: DOI
Sangiorgi, Davide; Vignudelli, Valeria

Environmental bisimulations for probabilistic higher-order languages. (English) Zbl 1347.68056

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). 595-607 (2016).
MSC:  68N18 68N15 68N19
Cite Review PDF
Full Text: DOI HAL
Spaccasassi, Carlo; Koutavas, Vasileios

Type-based analysis for session inference (extended abstract). (English) Zbl 1347.68057

Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 248-266 (2016).
MSC:  68N18 68N19
Cite Review PDF
Full Text: DOI arXiv HAL
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko

Multiparty session types as coherence proofs. (English) Zbl 1374.68323

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 412-426 (2015).
MSC:  68Q85 03B70 68N15 68N18 68N19
Cite Review PDF
Full Text: DOI
Lindley, Sam; Morris, J. Garrett

A semantics for propositions as sessions. (English) Zbl 1335.68060

Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 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 (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 560-584 (2015).
MSC:  68N30 68N18 68N19 68Q85
Cite Review PDF
Full Text: DOI
Hoffmann, Jan; Shao, Zhong

Automatic static cost analysis for parallel programs. (English) Zbl 1335.68056

Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 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 (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 132-157 (2015).
MSC:  68N30 68N18 68N19
Cite Review PDF
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

Biographic Reference

all top 3

Software