• Some advanced examples in DCS

  • Sep 25 2023
  • Duración: 23 m
  • Podcast

Some advanced examples in DCS

  • Resumen

  • This episode presents two somewhat more advanced examples in DCS. They are Harper's continuation-based regular-expression matcher, and Bird's quickmin, which finds the least natural number not in a given list of distinct natural numbers, in linear time. I explain these examples in detail and then discuss how they are implemented in DCS, which ensures that they are terminating on all inputs.

    Más Menos

Lo que los oyentes dicen sobre Some advanced examples in DCS

Calificaciones medias de los clientes

Reseñas - Selecciona las pestañas a continuación para cambiar el origen de las reseñas.