Jakob L. Jensen

According to our database, Jakob L. Jensen authored at least 2 papers between 1995 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Automatic Verification of Pointer Programs using Monadic Second-Order Logic.

Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

1995

Mona: Monadic Second-Order Logic in Practice.

Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995