Skip to content

Instantly share code, notes, and snippets.

@SohumB

SohumB/microsoft hpricot crashing html

Created April 21, 2010 09:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save SohumB/373629 to your computer and use it in GitHub Desktop.
Save SohumB/373629 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
microsoft hpricot crashing html
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head id="ctl00_Head1"><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>
Microsoft Academic Search: A provenly correct translation of Fickle into Java
</title><link rel="stylesheet" type="text/css" href="../Style/libra3_en.css" media="screen" />
<script type="text/javascript" language="javascript">
var isSilverlightInstalled = false;
function CheckSilverlightInstalled() {
try {
try {
var slControl = new ActiveXObject('AgControl.AgControl'); //IE
isSilverlightInstalled = true;
}
catch (e) {
if (navigator.plugins["Silverlight Plug-In"]) //non-IE
{
isSilverlightInstalled = true;
}
}
}
catch (e) { }
}
CheckSilverlightInstalled();
</script>
</head>
<body onload="document.forms['aspnetForm'].reset();" onpageshow="document.forms['aspnetForm'].reset();">
<form name="aspnetForm" method="post" action="4416369.aspx?viewType=1&amp;start=1&amp;end=100" id="aspnetForm">
<input type="hidden" name="__VIEWSTATE" id="__VIEWSTATE" value="/wEPDwUKMTM3MzQ5MTMwMg9kFgJmD2QWAgIBD2QWBgIBD2QWBgIDDw8WAh4EVGV4dAVARXhwbG9yZSBvdmVyIDUsMzE4LDM4MSAgcGFwZXJzLDxicj4gOTIsMDcyIHdlcmUgYWRkZWQgbGFzdCB3ZWVrLmRkAgUPZBYGAgEPD2QWBh4Hb25rZXl1cAV0aWYoZXZlbnQua2V5Q29kZT09MTMpeyBkb2N1bWVudC5nZXRFbGVtZW50QnlJZCgnY3RsMDBfU2VhcmNoSGVhZGVyX1NlYXJjaEZvcm1fU2VhcmNoQnV0dG9uJykuY2xpY2soKTsgcmV0dXJuIGZhbHNlO30eB29uaW5wdXQFiwF2YXIgb2JqPWRvY3VtZW50LmdldEVsZW1lbnRCeUlkKCdjdGwwMF9TZWFyY2hIZWFkZXJfU2VhcmNoRm9ybV90eHRRdWVyeScpOyBpZihvYmoudmFsdWUubGVuZ3RoPjI1Nil7b2JqLnZhbHVlPW9iai52YWx1ZS5zdWJzdHJpbmcoMCwyNTYpO307HhBvbnByb3BlcnR5Y2hhbmdlBYsBdmFyIG9iaj1kb2N1bWVudC5nZXRFbGVtZW50QnlJZCgnY3RsMDBfU2VhcmNoSGVhZGVyX1NlYXJjaEZvcm1fdHh0UXVlcnknKTsgaWYob2JqLnZhbHVlLmxlbmd0aD4yNTYpe29iai52YWx1ZT1vYmoudmFsdWUuc3Vic3RyaW5nKDAsMjU2KTt9O2QCBQ8WAh4HVmlzaWJsZWhkAgcPZBYOAgEPFgQeCW9ua2V5ZG93bgW8AWlmKGV2ZW50LnNoaWZ0S2V5ICYmIGV2ZW50LmtleUNvZGU9PSA5KXtpZiAoIGV2ZW50ICYmIGV2ZW50LnByZXZlbnREZWZhdWx0ICApe2V2ZW50LnByZXZlbnREZWZhdWx0ICgpOyB9ZWxzZXtldmVudC5yZXR1cm5WYWx1ZSAgPSBmYWxzZTt9ZG9jdW1lbnQuZ2V0RWxlbWVudEJ5SWQoJ2J0bkFkZFRvU2VhcmNoJykuZm9jdXMoKTt9HwRoZAIDDw9kFgYfAwVQQ2hlY2tBZHZJbnB1dCgnY3RsMDBfU2VhcmNoSGVhZGVyX1NlYXJjaEZvcm1fRGlhQWR2YW5jZWRTZWFyY2hfYXV0aG9yUXVlcnknLDI1NikfAgVQQ2hlY2tBZHZJbnB1dCgnY3RsMDBfU2VhcmNoSGVhZGVyX1NlYXJjaEZvcm1fRGlhQWR2YW5jZWRTZWFyY2hfYXV0aG9yUXVlcnknLDI1NikeCm9ua2V5cHJlc3MFWGlmKGV2ZW50LmtleUNvZGU9PTEzKXsgZG9jdW1lbnQuZ2V0RWxlbWVudEJ5SWQoJ2J0bkFkZFRvU2VhcmNoJykuY2xpY2soKTsgcmV0dXJuIGZhbHNlO31kAgUPD2QWBh8DBU5DaGVja0FkdklucHV0KCdjdGwwMF9TZWFyY2hIZWFkZXJfU2VhcmNoRm9ybV9EaWFBZHZhbmNlZFNlYXJjaF9jb25mUXVlcnknLDI1NikfAgVOQ2hlY2tBZHZJbnB1dCgnY3RsMDBfU2VhcmNoSGVhZGVyX1NlYXJjaEZvcm1fRGlhQWR2YW5jZWRTZWFyY2hfY29uZlF1ZXJ5JywyNTYpHwYFWGlmKGV2ZW50LmtleUNvZGU9PTEzKXsgZG9jdW1lbnQuZ2V0RWxlbWVudEJ5SWQoJ2J0bkFkZFRvU2VhcmNoJykuY2xpY2soKTsgcmV0dXJuIGZhbHNlO31kAgcPD2QWBh8DBU9DaGVja0FkdklucHV0KCdjdGwwMF9TZWFyY2hIZWFkZXJfU2VhcmNoRm9ybV9EaWFBZHZhbmNlZFNlYXJjaF9Kb3VyblF1ZXJ5JywyNTYpHwIFT0NoZWNrQWR2SW5wdXQoJ2N0bDAwX1NlYXJjaEhlYWRlcl9TZWFyY2hGb3JtX0RpYUFkdmFuY2VkU2VhcmNoX0pvdXJuUXVlcnknLDI1NikfBgVYaWYoZXZlbnQua2V5Q29kZT09MTMpeyBkb2N1bWVudC5nZXRFbGVtZW50QnlJZCgnYnRuQWRkVG9TZWFyY2gnKS5jbGljaygpOyByZXR1cm4gZmFsc2U7fWQCCw8PZBYGHwMFTENoZWNrQWR2SW5wdXQoJ2N0bDAwX1NlYXJjaEhlYWRlcl9TZWFyY2hGb3JtX0RpYUFkdmFuY2VkU2VhcmNoX3llYXJRdWVyeScsNCkfAgVMQ2hlY2tBZHZJbnB1dCgnY3RsMDBfU2VhcmNoSGVhZGVyX1NlYXJjaEZvcm1fRGlhQWR2YW5jZWRTZWFyY2hfeWVhclF1ZXJ5Jyw0KR8GBVhpZihldmVudC5rZXlDb2RlPT0xMyl7IGRvY3VtZW50LmdldEVsZW1lbnRCeUlkKCdidG5BZGRUb1NlYXJjaCcpLmNsaWNrKCk7IHJldHVybiBmYWxzZTt9ZAINDw9kFgYfAwVSQ2hlY2tBZHZJbnB1dCgnY3RsMDBfU2VhcmNoSGVhZGVyX1NlYXJjaEZvcm1fRGlhQWR2YW5jZWRTZWFyY2hfZnVsbHRleHRRdWVyeScsMjU2KR8CBVJDaGVja0FkdklucHV0KCdjdGwwMF9TZWFyY2hIZWFkZXJfU2VhcmNoRm9ybV9EaWFBZHZhbmNlZFNlYXJjaF9mdWxsdGV4dFF1ZXJ5JywyNTYpHwYFWGlmKGV2ZW50LmtleUNvZGU9PTEzKXsgZG9jdW1lbnQuZ2V0RWxlbWVudEJ5SWQoJ2J0bkFkZFRvU2VhcmNoJykuY2xpY2soKTsgcmV0dXJuIGZhbHNlO31kAg8PD2QWBh8DBU9DaGVja0FkdklucHV0KCdjdGwwMF9TZWFyY2hIZWFkZXJfU2VhcmNoRm9ybV9EaWFBZHZhbmNlZFNlYXJjaF90aXRsZVF1ZXJ5JywyNTYpHwIFT0NoZWNrQWR2SW5wdXQoJ2N0bDAwX1NlYXJjaEhlYWRlcl9TZWFyY2hGb3JtX0RpYUFkdmFuY2VkU2VhcmNoX3RpdGxlUXVlcnknLDI1NikfBgVYaWYoZXZlbnQua2V5Q29kZT09MTMpeyBkb2N1bWVudC5nZXRFbGVtZW50QnlJZCgnYnRuQWRkVG9TZWFyY2gnKS5jbGljaygpOyByZXR1cm4gZmFsc2U7fWQCBw9kFgQCAQ8WAh4FY2xhc3MFCXRhYi1mb2N1c2QCCQ8WAh8EaGQCBQ9kFggCAQ8WAh8EaGQCAw8WAh8ABRhPYmplY3RJRCA6IFBhcGVyLzQ0MTYzNjlkAgUPZBYOAgMPDxYCHwAFMkEgcHJvdmVubHkgY29ycmVjdCB0cmFuc2xhdGlvbiBvZiBGaWNrbGUgaW50byBKYXZhZGQCBQ8PFgIfAAUGLSAyMDA3ZGQCCQ8WAh8ABY8DPGEgaHJlZj0iL0F1dGhvci81NjMxNTguYXNweCI+RGF2aWRlIEFuY29uYTwvYT48c3Bhbj4sJm5ic3A7PC9zcGFuPjxhIGhyZWY9Ii9BdXRob3IvMzc5Nzk3LmFzcHgiPkNocmlzdG9waGVyIEFuZGVyc29uPC9hPjxzcGFuPiwmbmJzcDs8L3NwYW4+PGEgaHJlZj0iL0F1dGhvci8yNDc4MzIuYXNweCI+RmVycnVjY2lvIERhbWlhbmk8L2E+PHNwYW4+LCZuYnNwOzwvc3Bhbj48YSBocmVmPSIvQXV0aG9yLzk0NjY0OC5hc3B4Ij5Tb3BoaWEgRHJvc3NvcG91bG91PC9hPjxzcGFuPiwmbmJzcDs8L3NwYW4+PGEgaHJlZj0iL0F1dGhvci8xMDY3NzAxLmFzcHgiPlBhb2xhIEdpYW5uaW5pPC9hPjxzcGFuPiwmbmJzcDs8L3NwYW4+PGEgaHJlZj0iL0F1dGhvci85MzYzOTEuYXNweCI+RWxlbmEgWnVjY2E8L2E+ZAIQDw8WAh8ABQlKb3VybmFsOiBkZAIRDw8WBB8ABT5BQ00gVHJhbnNhY3Rpb25zIG9uIFByb2dyYW1taW5nIExhbmd1YWdlcyBhbmQgU3lzdGVtcyAtIFRPUExBUx4LTmF2aWdhdGVVcmwFEn4vSm91cm5hbC8yMDAuYXNweGRkAhMPDxYCHwRoZGQCFQ8PFgIfBGdkFgICAw88KwAJAQAPFgQeCERhdGFLZXlzFgAeC18hSXRlbUNvdW50AgJkFgRmD2QWAgIBDw8WBB4HVG9vbFRpcAUqaHR0cDovL2RvaS5hY20ub3JnLzEwLjExNDUvMTIxNjM3NC4xMjE2MzgxHwgFKmh0dHA6Ly9kb2kuYWNtLm9yZy8xMC4xMTQ1LzEyMTYzNzQuMTIxNjM4MRYCHgtvbm1vdXNlZG93bgU4cmV0dXJuIHNpKDEsNDQxNjM2OSwnN2FkNzBmYzY4OTVmOTEyN2I5NGIzMWMyOThjMDZhNWInKTsWBGYPDxYCHghJbWFnZVVybAUaLi4vaW1hZ2VzL2Rvd25sb2FkcGFnZS5wbmdkZAIBDxUCDWRvd25sb2FkIHBhZ2ULZG9pLmFjbS5vcmdkAgEPZBYCAgEPDxYEHwsFVmh0dHA6Ly93d3cuaW5mb3JtYXRpay51bmktdHJpZXIuZGUvfmxleS9kYi9qb3VybmFscy90b3BsYXMvdG9wbGFzMjkuaHRtbCNBbmNvbmFBRERHWjA3HwgFVmh0dHA6Ly93d3cuaW5mb3JtYXRpay51bmktdHJpZXIuZGUvfmxleS9kYi9qb3VybmFscy90b3BsYXMvdG9wbGFzMjkuaHRtbCNBbmNvbmFBRERHWjA3FgIfDAU4cmV0dXJuIHNpKDEsNDQxNjM2OSwnMmU5NzM0MTMyOTZhZjk5MTk5N2JmNWIyYTAzZjlmNGYnKTsWBGYPDxYCHw0FGi4uL2ltYWdlcy9kb3dubG9hZHBhZ2UucG5nZGQCAQ8VAg1kb3dubG9hZCBwYWdlG3d3dy5pbmZvcm1hdGlrLnVuaS10cmllci5kZWQCBw9kFgJmD2QWBAIBD2QWBAIBDxYCHwAFXTxzcGFuIGNsYXNzPSJjdXJyZW50Ij5ZZWFyPC9zcGFuPnw8YSBocmVmPSIvUGFwZXIvNDQxNjM2OS5hc3B4P3ZpZXdUeXBlPTEmb3JkZXJCeT0xIj5SYW5rPC9hPmQCAg8PFgIfBGcWBB4Lb25tb3VzZW92ZXIFtwFkb2N1bWVudC5nZXRFbGVtZW50QnlJZCgnZGl2cmFua0ludHJvJykuc3R5bGUuZGlzcGxheT0naW5saW5lJztkb2N1bWVudC5nZXRFbGVtZW50QnlJZCgnZGl2cmFua0ludHJvJykuc3R5bGUudG9wPSAgJy0nICsoZG9jdW1lbnQuZ2V0RWxlbWVudEJ5SWQoJ2RpdnJhbmtJbnRybycpLnNjcm9sbEhlaWdodCArNSkrJ3B4JzseCm9ubW91c2VvdXQFPWRvY3VtZW50LmdldEVsZW1lbnRCeUlkKCdkaXZyYW5rSW50cm8nKS5zdHlsZS5kaXNwbGF5PSdub25lJztkAgMPZBYCAgEPFgIfAAW2ATx1bD48bGk+PGEgaHJlZj0iL1BhcGVyLzQ0MTYzNjkuYXNweCI+PHNwYW4+UmVmZXJlbmNlcyAoMCk8L3NwYW4+PC9hPjwvbGk+PGxpIGNsYXNzPSJsaXN0LXRhYi1mb2N1cyI+PGEgaHJlZj0iL1BhcGVyLzQ0MTYzNjkuYXNweD92aWV3VHlwZT0xIj48c3Bhbj5DaXRhdGlvbnMgKDApPC9zcGFuPjwvYT48L2xpPjwvdWw+ZAIHD2QWCgIFDw8WBB8ABQ5TcGVjaWZpYyBUZXJtcx8IBR1+L0Fib3V0L1Rlcm1zb2ZVc2VTcGVjRU4uaHRtbGRkAgcPDxYCHwAFMsKpMjAxMCBNaWNyb3NvZnQgQ29ycG9yYXRpb24uIEFsbCByaWdodHMgcmVzZXJ2ZWQuZGQCCQ8PFgQfAAUMVGVybXMgb2YgVXNlHwgFJ2h0dHA6Ly9nby5taWNyb3NvZnQuY29tLz9saW5raWQ9NDQxMjg5MmRkAgsPDxYEHwAFClRyYWRlbWFya3MfCAUnaHR0cDovL2dvLm1pY3Jvc29mdC5jb20vP2xpbmtpZD00NDEyODkzZGQCDQ8PFgQfAAURUHJpdmFjeSBTdGF0ZW1lbnQfCAUnaHR0cDovL2dvLm1pY3Jvc29mdC5jb20vP2xpbmtpZD00NDEyODk0ZGQYAQUeX19Db250cm9sc1JlcXVpcmVQb3N0QmFja0tleV9fFgEFKmN0bDAwJFNlYXJjaEhlYWRlciRTZWFyY2hGb3JtJFNlYXJjaEJ1dHRvbq2Xeo+r3WhUOwP1Evtsv2dploMv" />
<script type="text/javascript">
//<![CDATA[
function si(t, i, u){var h='http://academic.research.microsoft.com';var p='//Images/logClick.gif?';var l = h + p + 't=' + t + '&i=' + i + '&tm=' + new Date() + '&u=' + u;if(document.images)(new Image).src=l;return true;}function CheckAdvInput(objName,len){var obj=document.getElementById(objName); if(obj.value.length>len){obj.value=obj.value.substring(0,len);}};function hideAdvancedSearch(){document.getElementById('wrapperdiv').style.display='none';document.getElementById('advancedsearchDiv').style.display='none';document.getElementById('searchBarRight').style.height=document.getElementById('searchBarLeft').scrollHeight+'px';delCookie('advanceTabIndex');if(document.getElementById('divYearFilter'))document.getElementById('divYearFilter').style.display = '';}//]]>
</script>
<input type="hidden" name="__EVENTVALIDATION" id="__EVENTVALIDATION" value="/wEWEAKhoafSAwKV79r2BwL08PyfCALvzPvfDwLchLvHBALq6tCzBQLL8qWHBwLK8qWHBwLN8qWHBwKbz7DIAgKt8vHcDALmtI2JCwLmhr3mBgLMp4C/BQLHofqCCAK6hPmmD6KEGhh07qlpfetSBf1IReEPvzk3" />
<div class="container">
<div class="header-wrapper">
<div class="header-in height-100px">
<div class="logo">
<a id="ctl00_SearchHeader_HyperLink1" href="../"><img src="../Images/logo.gif" alt="Microsoft Academic Search" border="0" /></a>
<span id="ctl00_SearchHeader_lbStatistic" class="statistic">Explore over 5,318,381 papers,<br> 92,072 were added last week.</span>
</div>
<div class="search-bar-wrapper" id="searchBarLeft">
<div class="search-bar">
<div id="wrapperdiv" class="wrapdiv">
<iframe></iframe>
</div>
<input name="ctl00$SearchHeader$SearchForm$txtQuery" type="text" id="ctl00_SearchHeader_SearchForm_txtQuery" class="search-input" onkeyup="if(event.keyCode==13){ document.getElementById('ctl00_SearchHeader_SearchForm_SearchButton').click(); return false;}" oninput="var obj=document.getElementById('ctl00_SearchHeader_SearchForm_txtQuery'); if(obj.value.length>256){obj.value=obj.value.substring(0,256);};" onpropertychange="var obj=document.getElementById('ctl00_SearchHeader_SearchForm_txtQuery'); if(obj.value.length>256){obj.value=obj.value.substring(0,256);};" /><input type="image" name="ctl00$SearchHeader$SearchForm$SearchButton" id="ctl00_SearchHeader_SearchForm_SearchButton" class="search-btn" src="../Images/search_btn.png" alt="Search" border="0" />
<span>&nbsp;</span>
</div>
<div id="advancedsearchDiv" class="modalpopup">
<div class="advanced-search">
<div class="searchAdvancedheader">
<div class="closelink">
</div>
</div>
<table cellspacing="0" cellpadding="0" border="0">
<tr>
<td id="tdCriteriaTab">
<span onclick="showAdvanceTab(0)" class="advanced-search-tab" style="padding-left: 0px">
Author</span>|<span onclick="showAdvanceTab(1)" class="advanced-search-tab- unfocus">Conference</span>|<span
onclick="showAdvanceTab(2)" class="advanced-search-tab- unfocus">Journal</span>|<span
onclick="showAdvanceTab(3)" class="advanced-search-tab- unfocus">Year</span>
</td>
</tr>
<tr>
<td class="hint">
Look for results that meet for the following criteria:
</td>
</tr>
<tr>
<td id="tdCriteria" style="width: 300px">
<div style="display: block">
<input name="ctl00$SearchHeader$SearchForm$DiaAdvancedSearch$authorQuery" type="text" id="ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_authorQuery" class="input-box-advanced" onpropertychange="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_authorQuery',256)" oninput="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_authorQuery',256)" onkeypress="if(event.keyCode==13){ document.getElementById('btnAddToSearch').click(); return false;}" /></div>
<div style="display: none">
<input name="ctl00$SearchHeader$SearchForm$DiaAdvancedSearch$confQuery" type="text" id="ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_confQuery" class="input-box-advanced" onpropertychange="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_confQuery',256)" oninput="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_confQuery',256)" onkeypress="if(event.keyCode==13){ document.getElementById('btnAddToSearch').click(); return false;}" />
</div>
<div style="display: none">
<input name="ctl00$SearchHeader$SearchForm$DiaAdvancedSearch$JournQuery" type="text" id="ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_JournQuery" class="input-box-advanced" onpropertychange="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_JournQuery',256)" oninput="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_JournQuery',256)" onkeypress="if(event.keyCode==13){ document.getElementById('btnAddToSearch').click(); return false;}" />
</div>
<div style="display: none">
<select name="ctl00$SearchHeader$SearchForm$DiaAdvancedSearch$compareQuery" id="ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_compareQuery">
<option selected="selected" value=">">Later than</option>
<option value="=">Equal to</option>
<option value="&lt;">Earlier than</option>
</select>
<input name="ctl00$SearchHeader$SearchForm$DiaAdvancedSearch$yearQuery" type="text" id="ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_yearQuery" class="input-box-advanced" onpropertychange="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_yearQuery',4)" oninput="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_yearQuery',4)" onkeypress="if(event.keyCode==13){ document.getElementById('btnAddToSearch').click(); return false;}" />
</div>
<div style="display: none">
<input name="ctl00$SearchHeader$SearchForm$DiaAdvancedSearch$fulltextQuery" type="text" id="ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_fulltextQuery" class="input-box-advanced" onpropertychange="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_fulltextQuery',256)" oninput="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_fulltextQuery',256)" onkeypress="if(event.keyCode==13){ document.getElementById('btnAddToSearch').click(); return false;}" />
</div>
<div style="display: none">
<input name="ctl00$SearchHeader$SearchForm$DiaAdvancedSearch$titleQuery" type="text" id="ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_titleQuery" class="input-box-advanced" onpropertychange="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_titleQuery',256)" oninput="CheckAdvInput('ctl00_SearchHeader_SearchForm_DiaAdvancedSearch_titleQuery',256)" onkeypress="if(event.keyCode==13){ document.getElementById('btnAddToSearch').click(); return false;}" />
</div>
</td>
<td align="left">
<input type="button" id="btnAddToSearch" value="Add to search" onclick="addToSearch();"
style="width: 100px" />
</td>
</tr>
</table>
</div>
<script type="text/javascript" language="javascript">
function showAdvanceTab(index) {
setCookie("advanceTabIndex", index);
setAdvancedText(index, "");
j = 0;
var tdCriteriaTab = document.getElementById("tdCriteriaTab");
for (i = 0; i < tdCriteriaTab.childNodes.length; i++) {
if (tdCriteriaTab.childNodes[i].tagName != "SPAN") continue;
if (index == j)
tdCriteriaTab.childNodes[i].className = "advanced-search-tab";
else if (tdCriteriaTab.childNodes[i].className)
tdCriteriaTab.childNodes[i].className = "advanced-search-tab-unfocus";
j++;
}
}
function setAdvancedText(index, text) {
var selectValue = ">";
if (text) {
if (index == 3 && text != "") {
selectValue = text.substring(0, 1);
text = text.substring(1, text.length);
}
}
var j = 0;
var tdCriteria = document.getElementById("tdCriteria");
for (var i = 0; i < tdCriteria.childNodes.length; i++) {
if (tdCriteria.childNodes[i].tagName != "DIV") continue;
if (index == j) {
tdCriteria.childNodes[i].style.display = "block";
nodes = tdCriteria.childNodes[i].childNodes;
for (var k = 0; k < nodes.length; k++) {
if (nodes[k].tagName == "INPUT") {
nodes[k].value = text;
nodes[k].focus();
}
if (nodes[k].tagName == "SELECT")
nodes[k].value = selectValue;
}
}
else
tdCriteria.childNodes[i].style.display = "none";
j++;
}
}
var AddToSearchRefesh = false;
function addToSearch() {
var searchBox = document.getElementById("ctl00_SearchHeader_SearchForm_txtQuery");
var searchButton = document.getElementById("ctl00_SearchHeader_SearchForm_SearchButton");
var tdCriteria = document.getElementById("tdCriteria");
var j = 0;
var nodes;
var text = "";
for (var i = 0; i < tdCriteria.childNodes.length; i++) {
if (tdCriteria.childNodes[i].tagName != "DIV") continue;
if (tdCriteria.childNodes[i].style.display == "block") {
switch (j) {
case 0:
nodes = tdCriteria.childNodes[i].childNodes;
for (var k = 0; k < nodes.length; k++) {
if (nodes[k].tagName == "INPUT")
text = trim(nodes[k].value);
}
if (text != "") {
searchBox.value += " author:(" + text + ")";
AddToSearchRefesh = true;
searchButton.click();
}
break;
case 1:
nodes = tdCriteria.childNodes[i].childNodes;
for (var k = 0; k < nodes.length; k++) {
if (nodes[k].tagName == "INPUT")
text = trim(nodes[k].value);
}
if (text != "") {
searchBox.value += " conf:(" + text + ")";
AddToSearchRefesh = true;
searchButton.click();
}
break;
case 2:
nodes = tdCriteria.childNodes[i].childNodes;
for (var k = 0; k < nodes.length; k++) {
if (nodes[k].tagName == "INPUT")
text = trim(nodes[k].value);
}
if (text != "") {
searchBox.value += " jour:(" + text + ")";
AddToSearchRefesh = true;
searchButton.click();
}
break;
case 3:
nodes = tdCriteria.childNodes[i].childNodes;
for (var k = 0; k < nodes.length; k++) {
if (nodes[k].tagName == "INPUT" || nodes[k].tagName == "SELECT") {
if (trim(nodes[k].value) == "") {
text = "";
break;
}
if (nodes[k].tagName == "INPUT") {
var regExp = /^\d+$/;
if (!regExp.test(trim(nodes[k].value))) {
nodes[k].value = "";
text = "";
break;
}
var year = new Number(trim(nodes[k].value))
if (year <= 0 && (text == "<" || text == "=")) {
nodes[k].value = "";
text = "";
break;
}
text += trim(nodes[k].value);
}
else {
text += trim(nodes[k].value);
}
}
}
if (text != "") {
var regExp = /(\syear[<|=|>]\d+)/;
while (regExp.test(searchBox.value)) {
searchBox.value = searchBox.value.replace(regExp, '');
}
searchBox.value += " year" + text;
AddToSearchRefesh = true;
searchButton.click();
}
break;
}
}
j++;
}
}
function setCookie(key, value) {
var exp = new Date();
exp.setTime(exp.getTime() + 1800000);
document.cookie = key + "=" + escape(value) + ";expires=" + exp.toGMTString() + ";path=/";
}
function readCookie(key) {
var cookie = document.cookie;
var first = cookie.indexOf(key + "=");
//cookie exists
if (first >= 0) {
var str = cookie.substring(first, cookie.length);
var last = str.indexOf(";");
if (last < 0) last = str.length;
// get cookie value
str = str.substring(0, last).split("=");
return unescape(str[1]);
}
else {
return null;
}
}
function delCookie(key) {
var exp = new Date();
exp.setTime(exp.getTime() - 1);
document.cookie = key + "=;expires=" + exp.toGMTString() + ";path=/";
}
window.onload = function() {
var index = readCookie("advanceTabIndex");
if (index) {
showAdvancedSearch();
showAdvanceTab(parseInt(index));
}
}
window.onunload = function() {
if (AddToSearchRefesh) {
;
}
else {
delCookie('advanceTabIndex');
}
}
function trim(stringToTrim) {
return stringToTrim.replace(/^\s+|\s+$/g, "");
}
</script>
</div>
<div class="tab">
<ul>
<li id="ctl00_SearchHeader_SearchTab_liPaper" class="tab-focus">
<a id="ctl00_SearchHeader_SearchTab_btnPaper" href="javascript:__doPostBack('ctl00$SearchHeader$SearchTab$btnPaper','')">
Papers
</a>
</li>
<li id="ctl00_SearchHeader_SearchTab_liAuthor">
<a id="ctl00_SearchHeader_SearchTab_btnAuthor" href="javascript:__doPostBack('ctl00$SearchHeader$SearchTab$btnAuthor','')">
Authors
</a>
</li>
<li id="ctl00_SearchHeader_SearchTab_liConference">
<a id="ctl00_SearchHeader_SearchTab_btnConference" href="javascript:__doPostBack('ctl00$SearchHeader$SearchTab$btnConference','')">
Conferences
</a>
</li>
<li id="ctl00_SearchHeader_SearchTab_liJournal">
<a id="ctl00_SearchHeader_SearchTab_btnJournal" href="javascript:__doPostBack('ctl00$SearchHeader$SearchTab$btnJournal','')">
Journals
</a>
</li>
</ul>
</div>
</div>
<div class="propupwidth">
<div class="search-bar-right" id="searchBarRight">
</div>
</div>
</div>
</div>
<div class="content-wrapper">
<div class="template1-right-wrapper">
</div>
<div class="template1-left-wrapper">
<div class="object-header">
<div class="object-manager">
</div>
<div class="object-id">
ObjectID : Paper/4416369</div>
</div>
<div class="hover-item paper-detail">
<img id="ctl00_MainContent_PaperItem_Image1" class="icon" src="../Images/paper.gif" height="16" width="16" border="0" />
<div class="contentPaper">
<div class="title paper">
<span id="ctl00_MainContent_PaperItem_title">A provenly correct translation of Fickle into Java</span>
</div>
<div class="year">
<span id="ctl00_MainContent_PaperItem_title_year">- 2007</span></div>
<div class="citation">
<a id="ctl00_MainContent_PaperItem_cited"></a></div>
<div class="author">
<a href="/Author/563158.aspx">Davide Ancona</a><span>,&nbsp;</span><a href="/Author/379797.aspx">Christopher Anderson</a><span>,&nbsp;</span><a href="/Author/247832.aspx">Ferruccio Damiani</a><span>,&nbsp;</span><a href="/Author/946648.aspx">Sophia Drossopoulou</a><span>,&nbsp;</span><a href="/Author/1067701.aspx">Paola Giannini</a><span>,&nbsp;</span><a href="/Author/936391.aspx">Elena Zucca</a>
</div>
<div class="abstract">
</div>
<div class="conference">
<span id="ctl00_MainContent_PaperItem_txtConference"></span><a id="ctl00_MainContent_PaperItem_HLConference" class="conference-name"></a></div>
<div class="conference">
<span id="ctl00_MainContent_PaperItem_txtJournal">Journal: </span><a id="ctl00_MainContent_PaperItem_HLJournal" class="conference-name" href="../Journal/200.aspx">ACM Transactions on Programming Languages and Systems - TOPLAS</a></div>
<div id="divTip1" style="background-color: Silver; position: absolute; display: none;
padding: 5px; width: 100%;">
</div>
</div>
<div style="float: right; ">
</div>
<div style="clear:both;"></div>
<div id="ctl00_MainContent_PaperItem_ViewDownload">
<div class="section-header link-set">
View or Download
<img onmouseover="document.getElementById('downloadHelp').style.display='inline';" onmouseout="document.getElementById('downloadHelp').style.display='none';" src="../Images/help.gif" border="0" />
<div id="downloadHelp" onmouseover="document.getElementById('downloadHelp').style.display='inline';"
onmouseout="document.getElementById('downloadHelp').style.display='none';" class="downloadHelp">
The following links allow you to view and download full papers. These links are maintained by other sources not affiliated with Microsoft Academic Search.
</div>
</div>
<div class="hover-item paper-urls paper-download-urls">
<ul id="downloadList">
<table id="ctl00_MainContent_PaperItem_downLoadList" cellspacing="0" border="0">
<tr>
<td>
<li class="list-none">
<a id="ctl00_MainContent_PaperItem_downLoadList_ctl00_HyperLink1" title="http://doi.acm.org/10.1145/1216374.1216381" onmousedown="return si(1,4416369,'7ad70fc6895f9127b94b31c298c06a5b');" href="http://doi.acm.org/10.1145/1216374.1216381" target="_blank"><img id="ctl00_MainContent_PaperItem_downLoadList_ctl00_Image2" class="small-icon" src="../images/downloadpage.png" border="0" />
<font class="url-font">(download page)
&nbsp;from&nbsp;
<font class="domain-font">
doi.acm.org
</font>
</font>
</a>
</li>
</td>
</tr><tr>
<td>
<li class="list-none">
<a id="ctl00_MainContent_PaperItem_downLoadList_ctl01_HyperLink1" title="http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas29.html#AnconaADDGZ07" onmousedown="return si(1,4416369,'2e973413296af991997bf5b2a03f9f4f');" href="http://www.informatik.uni-trier.de/~ley/db/journals/toplas/toplas29.html#AnconaADDGZ07" target="_blank"><img id="ctl00_MainContent_PaperItem_downLoadList_ctl01_Image2" class="small-icon" src="../images/downloadpage.png" border="0" />
<font class="url-font">(download page)
&nbsp;from&nbsp;
<font class="domain-font">
www.informatik.uni-trier.de
</font>
</font>
</a>
</li>
</td>
</tr>
</table>
</ul>
</div>
</div>
</div>
<div id="ctl00_MainContent_PaperList_ListHeader" class="section-header">
<div id="ctl00_MainContent_PaperList_OrderBy" class="object-manager">
<div class="link-set">
Order by:
<span class="current">Year</span>|<a href="/Paper/4416369.aspx?viewType=1&orderBy=1">Rank</a><img id="ctl00_MainContent_PaperList_ImgHelp" onmouseover="document.getElementById('divrankIntro').style.display='inline';document.getElementById('divrankIntro').style.top= '-' +(document.getElementById('divrankIntro').scrollHeight +5)+'px';" onmouseout="document.getElementById('divrankIntro').style.display='none';" src="../Images/help.gif" border="0" /><div id="divrankIntro"
onmouseover="document.getElementById('divrankIntro').style.display='inline';"
onmouseout="document.getElementById('divrankIntro').style.display='none';"
class="rankIntro">
<div class="rankIntroHeader">
</div>
<div class="rankIntroCenter">
The rank of a paper is calculated by considering the authors, the published conference
or journal, and its citation graph. The highest ranking result will appear first.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<a id="ctl00_MainContent_PaperList_hlAbout" href="../About/Help.htm#2" target="_blank">Learn more</a>
</div>
<div class="rankIntroFooter">
</div>
</div>
</div>
</div>
<div id="ctl00_MainContent_PaperList_Catalog" class="list-tab">
<ul><li><a href="/Paper/4416369.aspx"><span>References (0)</span></a></li><li class="list-tab-focus"><a href="/Paper/4416369.aspx?viewType=1"><span>Citations (0)</span></a></li></ul>
</div>
</div>
</div>
</div>
<div class="footer-wrapper">
<div class="footer-left">
<a href="http://research.microsoft.com/aboutmsr/labs/asia/default.aspx"
target="_blank">Microsoft Research Asia</a> | <a id="ctl00_Footer_hlHelp" href="../About/Help.htm" target="_blank">Help</a> |
<a id="ctl00_Footer_linkFeedback" href="../Feedback.aspx" target="_blank">Feedback</a>
|
<a id="ctl00_Footer_linkSpecTerms" href="../About/TermsofUseSpecEN.html" target="_blank">Specific Terms</a>
</div>
<div class="propupwidth">
<div class="footer-right">
<span id="ctl00_Footer_labCopyright">©2010 Microsoft Corporation. All rights reserved.</span>
<a id="ctl00_Footer_linkTermofUse" href="http://go.microsoft.com/?linkid=4412892" target="_blank">Terms of Use</a>
|
<a id="ctl00_Footer_linkTrademarks" href="http://go.microsoft.com/?linkid=4412893" target="_blank">Trademarks</a>
|
<a id="ctl00_Footer_linkPrivacy" href="http://go.microsoft.com/?linkid=4412894" target="_blank">Privacy Statement</a>
</div>
</div>
</div>
</div>
</form>
</body>
</html>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment