×

Found 170 Documents (Results 1–100)

Towards a practical library for monadic equational reasoning in Coq. (English) Zbl 07705361

Komendantskaya, Ekaterina (ed.), Mathematics of program construction. 14th international conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13544, 151-177 (2022).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

OCaml scientific computing. Functional programming in data science and artificial intelligence. (English) Zbl 1487.68004

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-97644-6/pbk; 978-3-030-97645-3/ebook). xxii, 359 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Counterexample-guided partial bounding for recursive function synthesis. (English) Zbl 1493.68107

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 832-855 (2021).
MSC:  68N30 68N18
PDFBibTeX XMLCite
Full Text: DOI

Implementing hybrid semantics: from functional to imperative. (English) Zbl 07369993

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, 262-282 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Explicit effect subtyping. (English) Zbl 1418.68065

Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 327-354 (2018).
MSC:  68N30 68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reification by parametricity – fast setup for proof by reflection, in two lines of Ltac. (English) Zbl 1511.68311

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 289-305 (2018).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Towards automatic resource bound analysis for OCaml. (English) Zbl 1380.68123

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). 359-373 (2017).
MSC:  68N30 68N15 68N20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Stream fusion, to completeness. (English) Zbl 1380.68084

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). 285-299 (2017).
MSC:  68N15 68N20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Context-free session type inference. (English) Zbl 1485.68072

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, 804-830 (2017).
PDFBibTeX XMLCite
Full Text: DOI HAL

Verified characteristic formulae for CakeML. (English) Zbl 1485.68030

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, 584-610 (2017).
MSC:  68N15 68N18 68N30
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. (English) Zbl 1355.68012

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). ix, 903 p. (2017).
MSC:  68-06 68N15 00B25
PDFBibTeX XMLCite
Full Text: DOI

Set-theoretic types for polymorphic variants. (English) Zbl 1360.68318

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). 387-391 (2016).
MSC:  68N18 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

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
PDFBibTeX XMLCite
Full Text: DOI HAL

Compact bit encoding schemes for simply-typed lambda-terms. (English) Zbl 1361.68051

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). 146-157 (2016).
MSC:  68N18 68P30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

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

Termination proofs for recursive functions in FoCaLiZe. (English) Zbl 1338.68240

Serrano, Manuel (ed.) et al., Trends in functional programming. 16th international symposium, TFP 2015, Sophia Antipolis, France, June 3–5, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-39109-0/pbk; 978-3-319-39110-6/ebook). Lecture Notes in Computer Science 9547, 136-156 (2016).
MSC:  68T15 68N18
PDFBibTeX XMLCite
Full Text: DOI

A Coq library for internal verification of running-times. (English) Zbl 1475.68457

Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 144-162 (2016).
MSC:  68V20 68N18
PDFBibTeX XMLCite
Full Text: DOI

Typeful normalization by evaluation. (English) Zbl 1367.68051

Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-88-0). LIPIcs – Leibniz International Proceedings in Informatics 39, 72-88 (2015).
MSC:  68N18 68N30 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Practical SMT-based type error localization. (English) Zbl 1360.68351

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 412-423 (2015).
MSC:  68N20 68N18 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

1ML – core and modules united (F-ing first-class modules). (English) Zbl 1360.68338

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 35-47 (2015).
PDFBibTeX XMLCite
Full Text: DOI

A certifying square root and division elimination. (English) Zbl 1351.68062

Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 117-131 (2015).
MSC:  68N18 65Y04
PDFBibTeX XMLCite
Full Text: DOI

Fiat: deductive synthesis of abstract data types in a proof assistant. (English) Zbl 1346.68175

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). 689-700 (2015).
MSC:  68T15 68N18 68Q60 68Q65
PDFBibTeX XMLCite
Full Text: DOI

A generic intermediate representation for verification condition generation. (English) Zbl 1473.68051

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 227-243 (2015).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Machine-checked verification of the correctness and amortized complexity of an efficient union-find implementation. (English) Zbl 1465.68172

Urban, Christian (ed.) et al., Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9236, 137-153 (2015).
PDFBibTeX XMLCite
Full Text: DOI HAL

Safe zero-cost coercions for Haskell. (English) Zbl 1345.68038

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). 189-202 (2014).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI Link

Lem: reusable engineering of real-world semantics. (English) Zbl 1346.68123

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). 175-188 (2014).
MSC:  68Q60 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI

Automatic termination verification for higher-order functional programs. (English) Zbl 1347.68231

Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 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-54832-1/pbk). Lecture Notes in Computer Science 8410, 392-411 (2014).
MSC:  68Q60 68N18
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
Full Text: DOI

Authenticated data structures, generically. (English) Zbl 1284.68215

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

Handlers in action. (English) Zbl 1323.68126

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, 145-158 (2013).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

GADTs meet subtyping. (English) Zbl 1381.68060

Felleisen, Matthias (ed.) et al., Programming languages and systems. 22nd European symposium on programming, ESOP 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-37035-9/pbk). Lecture Notes in Computer Science 7792, 554-573 (2013).
MSC:  68N30 68N18 68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Typing unmarshalling without marshalling types. (English) Zbl 1291.68121

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, 287-298 (2012).
MSC:  68N18 68N15 68Q65
PDFBibTeX XMLCite
Full Text: DOI Link

Design and analysis of purely functional programs. 2nd ed. (Conception et analyse des programmes purement fonctionnels.) (French) Zbl 1283.68007

Cahiers de Logique et d’Épistémologie 12. London: College Publications (ISBN 978-1-84890-076-9/pbk). xii, 514 p. (2012).
PDFBibTeX XMLCite

A flexible framework for visualisation of computational properties of general explicit substitutions calculi. (English) Zbl 1347.68058

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

Using Camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web. (English) Zbl 1323.68545

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, 259-265 (2011).
PDFBibTeX XMLCite
Full Text: DOI

A semantic model for graphical user interfaces. (English) Zbl 1323.68129

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, 45-57 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Simulating finite Eilenberg machines with a reactive engine. (English) Zbl 1291.68232

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, 119-134 (2011).
MSC:  68Q45 68T15
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. (English) Zbl 1282.68048

ACM SIGPLAN Notices 46, No. 9. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). xii, 457 p. (2011).
MSC:  68-06 68N18 00B25
PDFBibTeX XMLCite
Full Text: DOI

Smart test data generators via logic programming. (English) Zbl 1245.68168

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, 139-150, electronic only (2011).
MSC:  68T15 68N30 68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI Link

Tactics for reasoning modulo AC in Coq. (English) Zbl 1350.68227

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 167-182 (2011).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

MikiBeta: a general GUI library for visualizing proof trees. System description and demonstration. (English) Zbl 1326.68072

Alpuente, María (ed.), Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20550-7/pbk). Lecture Notes in Computer Science 6564, 84-98 (2011).
MSC:  68N18 68U35
PDFBibTeX XMLCite
Full Text: DOI

Sawja: static analysis workshop for Java. (English) Zbl 1308.68028

Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 92-106 (2011).
MSC:  68N15 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI Link

A certified framework for compiling and executing garbage-collected languages. (English) Zbl 1323.68136

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, 273-284 (2010).
MSC:  68N18 68N20 68T15
PDFBibTeX XMLCite
Full Text: DOI

The Isabelle collections framework. (English) Zbl 1291.68357

Kaufmann, Matt (ed.) et al., Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11–14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14051-8/pbk). Lecture Notes in Computer Science 6172, 339-354 (2010).
MSC:  68T15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Verifying distributed systems: the operational approach. (English) Zbl 1315.68105

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). 429-440 (2009).
MSC:  68N30 68N19 68M14 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

A Concurrent ML library in concurrent haskell. (English) Zbl 1302.68077

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, 269-280 (2009).
MSC:  68N19 68N18
PDFBibTeX XMLCite
Full Text: DOI

OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons. (English) Zbl 1302.68059

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, 203-214 (2009).
MSC:  68N18 68P15
PDFBibTeX XMLCite
Full Text: DOI

Purely functional lazy non-deterministic programming. (English) Zbl 1302.68058

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, 11-22 (2009).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Functional programming applied to scientific calculus. II: Numerical methods, competitions and parallelization. (Programmation fonctionnelle appliquée aux calculus scientifiques. Tome II: Méthodes numériques & concurrence et parallélisme.) (French) Zbl 1197.65002

Les Cours de l’ICES. Toulouse: Cépaduès-Éditions (ISBN 978-2-85428-883-4). 704 p. (2009).
MSC:  65-01 65Yxx 68W10
PDFBibTeX XMLCite

Turning inductive into equational specifications. (English) Zbl 1252.68249

Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 131-146 (2009).
MSC:  68T15 68N17 68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Transactional events for ML. (English) Zbl 1323.68179

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, 103-114 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Building certified static analysers by modular construction of well-founded lattices. (English) Zbl 1286.68401

Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 225-239 (2008).
MSC:  68T15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Zonotope/hyperplane intersection for hybrid systems reachability analysis. (English) Zbl 1144.93324

Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 215-228 (2008).
MSC:  93C30 93B03
PDFBibTeX XMLCite
Full Text: DOI

On normalization by evaluation for object calculi. (English) Zbl 1138.68350

Miculan, Marino (ed.) et al., Types for proofs and programs. International conference, TYPES 2007, Cividale des Friuli, Italy, May 2–5, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-68084-0/pbk). Lecture Notes in Computer Science 4941, 173-187 (2008).
MSC:  68N18 68N30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software