Travelled to:1 × Denmark
1 × USA
Collaborated with:J.L.Jensen N.Klarlund M.I.Schwartzbach J.G.Henriksen R.Paige T.Rauhe A.Sandholm
Talks about:second (2) order (2) monad (2) logic (2) program (1) practic (1) pointer (1) automat (1) verif (1) mona (1)
Person: Michael E. Jørgensen
DBLP: J=oslash=rgensen:Michael_E=
Contributed to:
1997
1995Wrote 2 papers:
- PLDI-1997-JensenJKS #automation #higher-order #logic #monad #pointer #source code #using #verification
- Automatic Verification of Pointer Programs using Monadic Second-Order Logic (JLJ, MEJ, NK, MIS), pp. 226–236.
- TACAS-1995-HenriksenJJKPRS #higher-order #logic #monad #named
- Mona: Monadic Second-Order Logic in Practice (JGH, JLJ, MEJ, NK, RP, TR, AS), pp. 89–110.