US Patent: Automata-Theoretic Approach Compiler for Adaptive Software

Patent Number 5,946,490, Date of Patent: Aug. 31, 1999

5,946,490 Patent Application Number: 08/620,502 Applicants: Karl Lieberherr, Jens Palsberg and Boaz-Patt-Shamir Filing Date: March 22, 1996

The US Patent for Compiling Adaptive Programs based on the publications:

@INPROCEEDINGS{gener-comp:jens-boaz-karl,
AUTHOR = "Jens Palsberg and Boaz {Patt-Shamir} and Karl Lieberherr",
TITLE = "A New Approach
to Compiling Adaptive Programs",
BOOKTITLE = "European Symposium on Programming",
YEAR = "1996",
ADDRESS = "Linkoping, Sweden",
PAGES = "280-295",
EDITOR = "Hanne Riis Nielson",
PUBLISHER = "Springer Verlag"
}

and

@ARTICLE{gener-comp-j:jens-boaz-karl,
AUTHOR = "Jens Palsberg and Boaz {Patt-Shamir} and Karl Lieberherr",
TITLE = "A New Approach
to Compiling Adaptive Programs",
JOURNAL = "Science of Computer Programming",
YEAR = 1997,
PAGES = "303-326",
MONTH = "",
VOLUME = 29,
NUMBER = "3"
}

and 

@TECHREPORT{strategies:LP,
AUTHOR       = "Karl J. Lieberherr and Boaz Patt-Shamir",
TITLE        = "{Traversals of Object Structures: Specification and Efficient
Implementation}",
INSTITUTION  = "College of Computer Science, Northeastern University",
YEAR         = 1997,
MONTH        = "July",
NUMBER       = "{NU-CCS-97-15}",
ADDRESS      = "Boston, MA"
}

The following papers build on the patent:

@article{973102,
author = {Karl Lieberherr and Boaz Patt-Shamir and Doug Orleans},
title = {Traversals of object structures: Specification and Efficient Implementation},
journal = {ACM Trans. Program. Lang. Syst.},
volume = {26},
number = {2},
year = {2004},
issn = {0164-0925},
pages = {370--412},
doi = {http://doi.acm.org/10.1145/973097.973102},
publisher = {ACM Press}
}

@TECHREPORT{mitch:karl-2001,
AUTHOR = "Karl Lieberherr and Mitchell Wand",
TITLE = "Navigating through Object Graphs Using Local Meta-Information",
INSTITUTION = "Northeastern University",
YEAR = 2001,
MONTH = "May",
NUMBER       = "{NU-CCS-2001-05}",
}
http://www.ccs.neu.edu/research/demeter/biblio/new-strategy-semantics.html

See also: Innovations in Automata Theory:
http://www.databank.oxydex.com/prospecting_for_knowledge/Automata_Theory.html