Utrecht / Skye / Madrid / Puebla / Paphos / Montreal / Novosibirsk / Stockholm / The Hague / Kanagawa / Bonn / New York / Venice / Sitges / Aachen / Germ´an Vidal / Charleston / London / /
Company
MIT Press / Emerging Technologies / Information Society Technologies / ACM Press / Proceedings LOPSTR / /
Country
Netherlands / Cyprus / France / Japan / Canada / United Kingdom / Scotland / Germany / Italy / Sweden / Russia / United States / Spain / /
Currency
USD / WST / / /
Facility
U.K. dre@ecs.soton.ac.uk University of Southampton / University of Copenhagen / U.K. m.varea@ecs.soton.ac.uk Stephen-John Craig Marc Fontaine University of D¨usseldorf / Dan Elphick Mauricio Varea University of D¨usseldorf / Glasgow University / University of Southampton / Prentice Hall / University of D¨usseldorf / /
IndustryTerm
online system / web browser / pre-processor / Web Interfaces Michael Leuschel / control algorithm / packaged runtime systems / elegant web interface / online and offline approach / offline systems / online specialisers / post-processing / automatic online specialiser / web server / online termination / well-structured transition systems / web programmers / particular systems / Online systems / online and offline systems / precise slicing algorithm / main web sites / software verification / ordinary web-browser / web interface / command-line tools / post-processor / online specialiser / /
MusicAlbum
U.K. / /
OperatingSystem
DOS / /
Organization
LOGEN’s Command / Dan Elphick Mauricio Varea University of D¨usseldorf / European Commission / European Union / MIT / ECCE’s Command / Glasgow University / University of D¨usseldorf / Department of Computer Science / University of Copenhagen / University of Southampton / U.K. m.varea@ecs.soton.ac.uk Stephen-John Craig Marc Fontaine University of D¨usseldorf / /
Person
Robert Gl¨uck / Ciao Prolog / Jesper Jørgensen / Michael Leuschel / Bern Martens / John Gallagher / Andrew Moss / Danny De Schreye / Kim Henriksen / Neil Jones / Stefan Gruner / Dan Elphick Mauricio / /
Position
representative / self-applicable partial evaluator / Program BTA Annotated Source Program Logen Logen Annotation Editor User Static Input Partial Evaluator / programmer / editor / online partial evaluator / interpreter / partial evaluator / Petri net interpreter / automatic partial evaluator / /
ProgrammingLanguage
Tcl/Tk / XML / PHP / Javascript / Prolog / C / Python / HTML / /
ProvinceOrState
New York / South Carolina / /
PublishedMedium
Annals of Mathematics / /
Technology
Functional Programming / Object-Oriented Programming / XML / precise slicing algorithm / HTML / PIC processors / second algorithm / same algorithm / XSLT / GUI / PHP / control algorithm / PIC processor / artificial intelligence / web server / /
The Ecce and Logen Partial Evaluators and their Web Interfaces Michael Leuschel ∗ Dan Elphick Mauricio Varea