Publications

14 results at Science of Computer Programming

ULKB Logic: A HOL-based Framework for Reasoning over Knowledge Graphs
- - Guilherme Augusto Ferreira Lima
  - Alexandre Rademaker
  - et al.
- 2025
- 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
- - Sean Rooney
- 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
Typestate verification: Abstraction techniques and complexity results
- - J. Field
  - D. Goyal
  - et al.
- 2005
- 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
A survey of fault localization techniques in computer networks
- - Małgorzata Steinder
  - Adarshpal S. Sethi
- 2004
- Science of Computer Programming