data structure (abstract of invited lecture). In Fritz Henglein, (2009)
Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, ...
[2] Rodney M. Burstall. Some techniques for proving correctness of programs
Martin Olsen, Jacob W. Winther, Henning Niss, Thomas Hildebr, Implementation Xmlstore
a peer-to-peer middleware for
Formalizing higher-order mobile embedded business processes with binding bigraphs (2008)
Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebr, Henning Niss
Abstract. We propose and formalize HomeBPEL, a higher-order WS-BPEL-like business process execution language where processes are firstclass values that can be stored in variables, passed as messages,...
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem (2007)
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Peter Harry, Eidorff Fritz, Henglein Christian Mossin, ...
. AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, analysis, and...
Fritz Henglein, Henning Makholm, Henning Niss
A direct approach to control-flow sensitive
Fritz Henglein, Henning Makholm, Henning Niss
A direct approach to control-flow sensitive
the Principles of Programming Lnguages (POPL 99), 1999. (2007)
Order Mads Tofte, M. Tofte, L. Birkedal, M. Elsman, Mads Tofte, Gordon Plotkin, ...
Publications and notes in chronological
Bigraphical Models of Context-aware Systems (2005)
Lars Birkedal, Søren Debois, Søren Debois, Ebbe Elsborg, Ebbe Elsborg, Thomas Hildebrandt, ...
As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous computing. We find that naively...
AnnoDomini: From Type Theory to Year 2000 Conversion Tool (1999)
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Peter Harry, Eidorff Fritz, Mads Tofte, ...
AnnoDomini is a source-to-source conversion tool for making COBOL programs Year 2000 compliant. It is technically and conceptually built upon type-theoretic techniques and methods: type-based...
Formalizing Operational Semantics in Logical Frameworks: A Case Study using LF / Elf (1995)
We illustrate how definitions and correctness proofs for the familiar thunk-based simulation of call-by-name by call-by-value can be encoded in the logical framework LF and the logic programming...
Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas Hildebrandt, Henning Niss, Søren Debois, ...
is permitted for educational or research use on condition that this copyright notice is included in any copy.
Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas Hildebrandt, Henning Niss, Søren Debois, ...
is permitted for educational or research use on condition that this copyright notice is included in any copy.
Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebr, Espen Højsgaard, Henning Niss, Copyright C, ...
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy.