ULKB Logic: A HOL-based Framework for Reasoning over Knowledge Graphs
- 2025
- Science of Computer Programming
Publications
Date
Featured collections
Popular topics
14 results at Science of Computer Programming
Time refinement in a functional synchronous language
- Louis Mandel
- Cédric Pasteur
- et al.
- 2015
- Science of Computer Programming
Towards behavioral programming in distributed architectures
- David Harel
- Amir Kantor
- et al.
- 2015
- Science of Computer Programming
Scheduling intense applications most 'surprising' first
- 2015
- Science of Computer Programming
Using MDA for integration of heterogeneous components in software supply chains
- Herman Hartmann
- Mila Keren
- et al.
- 2013
- Science of Computer Programming
Preserving the original MPI semantics in a virtualized processor environment
- Eduardo R. Rodrigues
- Philippe O.A. Navaux
- et al.
- 2013
- Science of Computer Programming
A novel analysis space for pointer analysis and its application for bug finding
- Marcio Buss
- Daniel Brand
- et al.
- 2010
- Science of Computer Programming
Establishing local temporal heap safety properties with applications to compile-time memory management
- Ran Shaham
- Eran Yahav
- et al.
- 2005
- Science of Computer Programming
Typestate verification: Abstraction techniques and complexity results
- J. Field
- D. Goyal
- et al.
- 2005
- Science of Computer Programming
A survey of fault localization techniques in computer networks
- Małgorzata Steinder
- Adarshpal S. Sethi
- 2004
- Science of Computer Programming