Saltar al contenido
VuFind
  • Entrar
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Avanzado
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Agregar a favoritos
  • Enlace Permanente
Imagen de Portada

Guardado en:
Detalles Bibliográficos
Autores principales: Verscht, Lena, Wáng, Ānrán, Kaminski, Benjamin Lucien
Formato: Preprint
Publicado: 2025
Materias:
Logic in Computer Science
Programming Languages
Acceso en línea:https://arxiv.org/abs/2502.14626
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
  • Existencias
  • Descripción
  • Tabla de Contenidos
  • Comentarios
  • Ejemplares similares
  • Vista Equipo

Internet

https://arxiv.org/abs/2502.14626

Ejemplares similares

  • A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
    por: Verscht, Lena, et al.
    Publicado: (2024)
  • Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
    por: Zhang, Linpeng, et al.
    Publicado: (2024)
  • Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
    por: Zimmerman, Conrad, et al.
    Publicado: (2024)
  • J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
    por: Batz, Kevin, et al.
    Publicado: (2024)
  • Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
    por: Zilberstein, Noam, et al.
    Publicado: (2023)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Lista Alfabética
  • Explorar canales
  • Reservas de Curso
  • Nuevos ejemplares

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes