default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hongwei Xi
@inproceedings{DBLP:conf/icfp/FuX23,
author = {Qiancheng Fu and
Hongwei Xi},
editor = {Youyou Cong and
Pierre{-}{\'{E}}variste Dagand},
title = {A Calculus of Inductive Linear Constructions},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Type-Driven
Development, TyDe 2023, Seattle, WA, USA, 4 September 2023},
pages = {1--13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609027.3609404},
doi = {10.1145/3609027.3609404},
timestamp = {Thu, 21 Sep 2023 11:20:08 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FuX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LemayFBZX23,
author = {Mark Lemay and
Qiancheng Fu and
William Blair and
Cheng Zhang and
Hongwei Xi},
editor = {Youyou Cong and
Pierre{-}{\'{E}}variste Dagand},
title = {A Dependently Typed Language with Dynamic Equality},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Type-Driven
Development, TyDe 2023, Seattle, WA, USA, 4 September 2023},
pages = {44--57},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609027.3609407},
doi = {10.1145/3609027.3609407},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/LemayFBZX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-01317,
author = {Hongwei Xi and
Hanwen Wu},
title = {Multirole Logic and Multiparty Channels},
journal = {CoRR},
volume = {abs/2309.01317},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.01317},
doi = {10.48550/ARXIV.2309.01317},
eprinttype = {arXiv},
eprint = {2309.01317},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-01317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-08673,
author = {Qiancheng Fu and
Hongwei Xi},
title = {A Two-Level Linear Dependent Type Theory},
journal = {CoRR},
volume = {abs/2309.08673},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.08673},
doi = {10.48550/ARXIV.2309.08673},
eprinttype = {arXiv},
eprint = {2309.08673},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08673.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cin/LiXZ19,
author = {Mingai Li and
Hongwei Xi and
Xiaoqing Zhu},
title = {An Incremental Version of {L-MVU} for the Feature Extraction of {MI-EEG}},
journal = {Comput. Intell. Neurosci.},
volume = {2019},
pages = {4317078:1--4317078:19},
year = {2019},
url = {https://doi.org/10.1155/2019/4317078},
doi = {10.1155/2019/4317078},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cin/LiXZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/KostaSX19,
author = {Leonard Kosta and
Laura Seaman and
Hongwei Xi},
title = {Program Synthesis and Vulnerability Injection Using a Grammar {VAE}},
journal = {J. Softw.},
volume = {14},
number = {6},
pages = {227--246},
year = {2019},
url = {http://www.jsoftware.us/index.php?m=content\&\#38;c=index\&\#38;a=show\&\#38;catid=208\&\#38;id=2946},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/KostaSX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpec/KostaISX19,
author = {Leonard Kosta and
John Irvine and
Laura Seaman and
Hongwei Xi},
title = {Many-target, Many-sensor Ship Tracking and Classification},
booktitle = {2019 {IEEE} High Performance Extreme Computing Conference, {HPEC}
2019, Waltham, MA, USA, September 24-26, 2019},
pages = {1--7},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HPEC.2019.8916332},
doi = {10.1109/HPEC.2019.8916332},
timestamp = {Wed, 11 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpec/KostaISX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-00077,
author = {Hanwen Wu and
Hongwei Xi},
title = {Multiparty Dependent Session Types (Extended Abstract)},
journal = {CoRR},
volume = {abs/1808.00077},
year = {2018},
url = {http://arxiv.org/abs/1808.00077},
eprinttype = {arXiv},
eprint = {1808.00077},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-00077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-12146,
author = {Hanwen Wu and
Hongwei Xi},
title = {Implementing Linking in Multiparty Sessions (Extended Abstract)},
journal = {CoRR},
volume = {abs/1810.12146},
year = {2018},
url = {http://arxiv.org/abs/1810.12146},
eprinttype = {arXiv},
eprint = {1810.12146},
timestamp = {Thu, 01 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-12146.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-12190,
author = {Hongwei Xi and
Dengping Zhu},
title = {To Memory Safety through Proofs},
journal = {CoRR},
volume = {abs/1810.12190},
year = {2018},
url = {http://arxiv.org/abs/1810.12190},
eprinttype = {arXiv},
eprint = {1810.12190},
timestamp = {Thu, 01 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-12190.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/XiW17,
author = {Hongwei Xi and
Hanwen Wu},
title = {Multirole Logic (Extended Abstract)},
journal = {CoRR},
volume = {abs/1703.06391},
year = {2017},
url = {http://arxiv.org/abs/1703.06391},
eprinttype = {arXiv},
eprint = {1703.06391},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/XiW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Xi17,
author = {Hongwei Xi},
title = {Applied Type System: An Approach to Practical Programming with Theorem-Proving},
journal = {CoRR},
volume = {abs/1703.08683},
year = {2017},
url = {http://arxiv.org/abs/1703.08683},
eprinttype = {arXiv},
eprint = {1703.08683},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Xi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WuX17,
author = {Hanwen Wu and
Hongwei Xi},
title = {Dependent Session Types},
journal = {CoRR},
volume = {abs/1704.07004},
year = {2017},
url = {http://arxiv.org/abs/1704.07004},
eprinttype = {arXiv},
eprint = {1704.07004},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WuX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/ShaoWZZSX16,
author = {Jiang Shao and
Haiyan Wang and
Rui Zhao and
Jing Zhang and
Zhangfan Shen and
Hongwei Xi},
editor = {Sakae Yamamoto},
title = {Study on the Target Frame of HMDs in Different Background Brightness},
booktitle = {Human Interface and the Management of Information: Information, Design
and Interaction - 18th International Conference, {HCI} International
2016 Toronto, Canada, July 17-22, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9734},
pages = {70--79},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40349-6\_8},
doi = {10.1007/978-3-319-40349-6\_8},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/ShaoWZZSX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/RenX16,
author = {Zhiqiang Ren and
Hongwei Xi},
title = {Combining type-checking with model-checking for system verification},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {54--58},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797745},
doi = {10.1109/MEMCOD.2016.7797745},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/RenX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChenWZXY16,
author = {Zhe Chen and
Zhemin Wang and
Yunlong Zhu and
Hongwei Xi and
Zhibin Yang},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Parametric Runtime Verification of {C} Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {299--315},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_17},
doi = {10.1007/978-3-662-49674-9\_17},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/ChenWZXY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/XiRWB16,
author = {Hongwei Xi and
Zhiqiang Ren and
Hanwen Wu and
William Blair},
title = {Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus},
journal = {CoRR},
volume = {abs/1603.03727},
year = {2016},
url = {http://arxiv.org/abs/1603.03727},
eprinttype = {arXiv},
eprint = {1603.03727},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/XiRWB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/XiW16,
author = {Hongwei Xi and
Hanwen Wu},
title = {Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions},
journal = {CoRR},
volume = {abs/1604.03020},
year = {2016},
url = {http://arxiv.org/abs/1604.03020},
eprinttype = {arXiv},
eprint = {1604.03020},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/XiW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/XiW16a,
author = {Hongwei Xi and
Hanwen Wu},
title = {Propositions in Linear Multirole Logic as Multiparty Session Types},
journal = {CoRR},
volume = {abs/1611.08888},
year = {2016},
url = {http://arxiv.org/abs/1611.08888},
eprinttype = {arXiv},
eprint = {1611.08888},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/XiW16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candc/BarkerSWSMXLG15,
author = {Brandon E. Barker and
Narayanan Sadagopan and
Yiping Wang and
Kieran Smallbone and
Christopher R. Myers and
Hongwei Xi and
Jason W. Locasale and
Zhenglong Gu},
title = {A robust and efficient method for estimating enzyme complex abundance
and metabolic flux from expression data},
journal = {Comput. Biol. Chem.},
volume = {59},
pages = {98--112},
year = {2015},
url = {https://doi.org/10.1016/j.compbiolchem.2015.08.002},
doi = {10.1016/J.COMPBIOLCHEM.2015.08.002},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/candc/BarkerSWSMXLG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ChenWHX15,
author = {Zhe Chen and
Ou Wei and
Zhiqiu Huang and
Hongwei Xi},
title = {Formal Semantics of Runtime Monitoring, Verification, Enforcement
and Control},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2015, Nanjing, China, September 12-14, 2015},
pages = {63--70},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TASE.2015.11},
doi = {10.1109/TASE.2015.11},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ChenWHX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BlairX17,
author = {William Blair and
Hongwei Xi},
editor = {Jeremy Yallop and
Damien Doligez},
title = {Dependent Types for Multi-Rate Flows in Synchronous Programming},
booktitle = {Proceedings {ML} Family / OCaml Users and Developers workshops, {ML}
Family/OCaml 2015, Vancouver, Canada, 3rd {\&} 4th September 2015},
series = {{EPTCS}},
volume = {241},
pages = {36--44},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.241.3},
doi = {10.4204/EPTCS.241.3},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlairX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DanishX14,
author = {Matthew Danish and
Hongwei Xi},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Using Lightweight Theorem Proving in an Asynchronous Systems Context},
booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
TX, USA, April 29 - May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8430},
pages = {158--172},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06200-6\_12},
doi = {10.1007/978-3-319-06200-6\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DanishX14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ShiX13,
author = {Rui Shi and
Hongwei Xi},
title = {A linear type system for multicore programming in {ATS}},
journal = {Sci. Comput. Program.},
volume = {78},
number = {8},
pages = {1176--1192},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.09.005},
doi = {10.1016/J.SCICO.2012.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ShiX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/DanishXW13,
author = {Matthew Danish and
Hongwei Xi and
Richard West},
title = {Applying language-based static verification in an {ARM} operating
system},
journal = {{SIGBED} Rev.},
volume = {10},
number = {2},
pages = {16},
year = {2013},
url = {https://doi.org/10.1145/2518148.2518154},
doi = {10.1145/2518148.2518154},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/DanishXW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-6102,
author = {Zhiqiang Ren and
Hongwei Xi},
title = {A Programmer-Centric Approach to Program Verification in {ATS}},
journal = {CoRR},
volume = {abs/1203.6102},
year = {2012},
url = {http://arxiv.org/abs/1203.6102},
eprinttype = {arXiv},
eprint = {1203.6102},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-6102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ShiZX10,
author = {Rui Shi and
Dengping Zhu and
Hongwei Xi},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {A Modality for Safe Resource Sharing and Code Reentrancy},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {382--396},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_26},
doi = {10.1007/978-3-642-14808-8\_26},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ShiZX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/DanishX10,
author = {Matthew Danish and
Hongwei Xi},
editor = {Jean{-}Christophe Filli{\^{a}}tre and
Cormac Flanagan},
title = {Operating system development with {ATS:} work in progress},
booktitle = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
pages = {9--14},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1707790.1707793},
doi = {10.1145/1707790.1707793},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plpv/DanishX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/DanishX09,
author = {Matthew Danish and
Hongwei Xi},
title = {Operating system development with {ATS:} work in progress: (abstract
only)},
journal = {{ACM} {SIGPLAN} Notices},
volume = {44},
number = {11},
pages = {6},
year = {2009},
url = {https://doi.org/10.1145/1816027.1816032},
doi = {10.1145/1816027.1816032},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/DanishX09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Xi09,
author = {Hongwei Xi},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {A Simple and General Theoretical Account for Abstract Types},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {336--349},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_23},
doi = {10.1007/978-3-642-10452-7\_23},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/Xi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Xi07,
author = {Hongwei Xi},
title = {Dependent {ML} An approach to practical programming with dependent
types},
journal = {J. Funct. Program.},
volume = {17},
number = {2},
pages = {215--286},
year = {2007},
url = {https://doi.org/10.1017/S0956796806006216},
doi = {10.1017/S0956796806006216},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Xi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Xi07,
author = {Hongwei Xi},
editor = {Marino Miculan and
Ivan Scagnetto and
Furio Honsell},
title = {Attributive Types for Proof Erasure},
booktitle = {Types for Proofs and Programs, International Conference, {TYPES} 2007,
Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4941},
pages = {188--202},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-68103-8\_13},
doi = {10.1007/978-3-540-68103-8\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/Xi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2006,
editor = {Aaron Stump and
Hongwei Xi},
title = {Proceedings of the Programming Languages meets Program Verification,
PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {7},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/7},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2007,
editor = {Aaron Stump and
Hongwei Xi},
title = {Proceedings of the {ACM} Workshop Programming Languages meets Program
Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292597},
doi = {10.1145/1292597},
isbn = {978-1-59593-677-6},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plpv/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ChenSX06,
author = {Chiyan Chen and
Rui Shi and
Hongwei Xi},
title = {Implementing Typeful Program Transformations},
journal = {Fundam. Informaticae},
volume = {69},
number = {1-2},
pages = {103--121},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ChenSX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ShiCX06,
author = {Rui Shi and
Chiyan Chen and
Hongwei Xi},
editor = {Stan Jarzabek and
Douglas C. Schmidt and
Todd L. Veldhuizen},
title = {Distributed meta-programming},
booktitle = {Generative Programming and Component Engineering, 5th International
Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
Proceedings},
pages = {243--248},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1173706.1173743},
doi = {10.1145/1173706.1173743},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/ShiCX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StumpX07,
author = {Aaron Stump and
Hongwei Xi},
editor = {Aaron Stump and
Hongwei Xi},
title = {Preface},
booktitle = {Proceedings of the Programming Languages meets Program Verification,
PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {7},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.10.033},
doi = {10.1016/J.ENTCS.2006.10.033},
timestamp = {Fri, 27 Jan 2023 13:53:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StumpX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DonnellyX07,
author = {Kevin Donnelly and
Hongwei Xi},
editor = {Alberto Momigliano and
Brigitte Pientka},
title = {A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus
and System {F}},
booktitle = {Proceedings of the First International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle,
WA, USA, August 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {5},
pages = {109--125},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.021},
doi = {10.1016/J.ENTCS.2007.01.021},
timestamp = {Fri, 27 Jan 2023 13:31:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DonnellyX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ChenX05,
author = {Chiyan Chen and
Hongwei Xi},
title = {Meta-programming through typeful code representation},
journal = {J. Funct. Program.},
volume = {15},
number = {5},
pages = {797--835},
year = {2005},
url = {https://doi.org/10.1017/S0956796805005617},
doi = {10.1017/S0956796805005617},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ChenX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CuiDX05,
author = {Sa Cui and
Kevin Donnelly and
Hongwei Xi},
editor = {Bernhard Gramlich},
title = {{ATS:} {A} Language That Combines Programming with Theorem Proving},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {310--320},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_19},
doi = {10.1007/11559306\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CuiDX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DonnellyX05,
author = {Kevin Donnelly and
Hongwei Xi},
editor = {Randy Pollack},
title = {Combining higher-order abstract syntax with first-order abstract syntax
in {ATS}},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
Workshop on Mechanized reasoning about languages with variable binding,
{MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
pages = {58--63},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088454.1088462},
doi = {10.1145/1088454.1088462},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DonnellyX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChenX05,
author = {Chiyan Chen and
Hongwei Xi},
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {Combining programming with theorem proving},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
pages = {66--77},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365.1086375},
doi = {10.1145/1086365.1086375},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ChenX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ZhuX05,
author = {Dengping Zhu and
Hongwei Xi},
editor = {Manuel V. Hermenegildo and
Daniel Cabeza},
title = {Safe Programming with Pointers Through Stateful Views},
booktitle = {Practical Aspects of Declarative Languages, 7th International Symposium,
{PADL} 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3350},
pages = {83--97},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30557-6\_8},
doi = {10.1007/978-3-540-30557-6\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/ZhuX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Xi06,
author = {Hongwei Xi},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Development Separation in Lambda-Calculus},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {207--221},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.014},
doi = {10.1016/J.ENTCS.2005.07.014},
timestamp = {Mon, 05 Dec 2022 16:35:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Xi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AndrewsBPBIX04,
author = {Peter B. Andrews and
Chad E. Brown and
Frank Pfenning and
Matthew Bishop and
Sunil Issar and
Hongwei Xi},
title = {{ETPS:} {A} System to Help Students Write Formal Proofs},
journal = {J. Autom. Reason.},
volume = {32},
number = {1},
pages = {75--92},
year = {2004},
url = {https://doi.org/10.1023/B:JARS.0000021871.18776.94},
doi = {10.1023/B:JARS.0000021871.18776.94},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AndrewsBPBIX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ChenSX04,
author = {Chiyan Chen and
Rui Shi and
Hongwei Xi},
editor = {Bharat Jayaraman},
title = {A Typeful Approach to Object-Oriented Programming with Multiple Inheritance},
booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
{PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3057},
pages = {23--38},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24836-1\_3},
doi = {10.1007/978-3-540-24836-1\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/ChenSX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ChenZX04,
author = {Chiyan Chen and
Dengping Zhu and
Hongwei Xi},
editor = {Bharat Jayaraman},
title = {Implementing Cut Elimination: {A} Case Study of Simulating Dependent
Types in Haskell},
booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
{PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3057},
pages = {239--254},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24836-1\_17},
doi = {10.1007/978-3-540-24836-1\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/ChenZX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ZhuX03,
author = {Dengping Zhu and
Hongwei Xi},
editor = {Atsushi Ohori},
title = {A Typeful and Tagless Representation for {XML} Documents},
booktitle = {Programming Languages and Systems, First Asian Symposium, {APLAS}
2003, Beijing, China, November 27-29, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2895},
pages = {89--104},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40018-9\_7},
doi = {10.1007/978-3-540-40018-9\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ZhuX03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TahaEX03,
author = {Walid Taha and
Stephan Ellner and
Hongwei Xi},
editor = {Rajeev Alur and
Insup Lee},
title = {Generating Heap-Bounded Programs in a Functional Setting},
booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2855},
pages = {340--355},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45212-6\_22},
doi = {10.1007/978-3-540-45212-6\_22},
timestamp = {Thu, 26 Jan 2023 14:05:53 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/TahaEX03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChenX03,
author = {Chiyan Chen and
Hongwei Xi},
editor = {Colin Runciman and
Olin Shivers},
title = {Meta-programming through typeful code representation},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {275--286},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944730},
doi = {10.1145/944705.944730},
timestamp = {Sat, 26 Jun 2021 13:59:53 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ChenX03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ChenX03,
author = {Chiyan Chen and
Hongwei Xi},
editor = {Michael Leuschel},
title = {Implementing typeful program transformations},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2003, San Diego, California,
USA, June 7, 2003},
pages = {20--28},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/777388.777392},
doi = {10.1145/777388.777392},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pepm/ChenX03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/XiCC03,
author = {Hongwei Xi and
Chiyan Chen and
Gang Chen},
editor = {Alex Aiken and
Greg Morrisett},
title = {Guarded recursive datatype constructors},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {224--235},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604150},
doi = {10.1145/604131.604150},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/popl/XiCC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Xi03,
author = {Hongwei Xi},
title = {Facilitating Program Verification with Dependent Types},
booktitle = {1st International Conference on Software Engineering and Formal Methods
{(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
pages = {72--81},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEFM.2003.1236209},
doi = {10.1109/SEFM.2003.1236209},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Xi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Xi03,
author = {Hongwei Xi},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Applied Type System: Extended Abstract},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {394--408},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_25},
doi = {10.1007/978-3-540-24849-1\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/Xi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Xi02,
author = {Hongwei Xi},
title = {Dependent Types for Program Termination Verification},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {1},
pages = {91--131},
year = {2002},
url = {https://doi.org/10.1023/A:1019916231463},
doi = {10.1023/A:1019916231463},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Xi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Xi02,
author = {Hongwei Xi},
editor = {Kenichi Asai and
Wei{-}Ngan Chin},
title = {Unifying object-oriented programming with typed functional programming},
booktitle = {Proceedings of the {ACM} {SIGPLAN} {ASIA-PEPM} 2002, Asian Symposium
on Partial Evaluation and Semantics-Based Program Manipulation, Aizu,
Japan, September 12-14, 2002},
pages = {117--125},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568173.568186},
doi = {10.1145/568173.568186},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Xi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/XiH01,
author = {Hongwei Xi and
Robert Harper},
editor = {Benjamin C. Pierce},
title = {A Dependently Typed Assembly Language},
booktitle = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
September 3-5, 2001},
pages = {169--180},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/507635.507657},
doi = {10.1145/507635.507657},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/icfp/XiH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Xi01,
author = {Hongwei Xi},
title = {Dependent Types for Program Termination Verification},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {231--242},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932500},
doi = {10.1109/LICS.2001.932500},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Xi01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Xi00,
author = {Hongwei Xi},
title = {Imperative Programming with Dependent Types},
booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
California, USA, June 26-29, 2000},
pages = {375--387},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/LICS.2000.855785},
doi = {10.1109/LICS.2000.855785},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Xi00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RaamsdonkSSX99,
author = {Femke van Raamsdonk and
Paula Severi and
Morten Heine S{\o}rensen and
Hongwei Xi},
title = {Perpetual Reductions in Lambda-Calculus},
journal = {Inf. Comput.},
volume = {149},
number = {2},
pages = {173--225},
year = {1999},
url = {https://doi.org/10.1006/inco.1998.2750},
doi = {10.1006/INCO.1998.2750},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RaamsdonkSSX99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Xi99,
author = {Hongwei Xi},
title = {Upper Bounds for Standardizations and An Application},
journal = {J. Symb. Log.},
volume = {64},
number = {1},
pages = {291--303},
year = {1999},
url = {https://doi.org/10.2307/2586765},
doi = {10.2307/2586765},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Xi99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/XiX99,
author = {Hongwei Xi and
Songtao Xia},
editor = {Stephen A. MacKay and
J. Howard Johnson},
title = {Towards array bound check elimination in Java \({}^{\mbox{TM}}\) virtual
machine language},
booktitle = {Proceedings of the 1999 conference of the Centre for Advanced Studies
on Collaborative Research, November 8-11, 1999, Mississauga, Ontario,
Canada},
pages = {14},
publisher = {{IBM}},
year = {1999},
url = {https://dl.acm.org/citation.cfm?id=782009},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/XiX99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Xi99,
author = {Hongwei Xi},
editor = {Gopal Gupta},
title = {Dead Code Elimination through Dependent Types},
booktitle = {Practical Aspects of Declarative Languages, First International Workshop,
{PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1551},
pages = {228--242},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49201-1\_16},
doi = {10.1007/3-540-49201-1\_16},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/padl/Xi99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/XiP99,
author = {Hongwei Xi and
Frank Pfenning},
editor = {Andrew W. Appel and
Alex Aiken},
title = {Dependent Types in Practical Programming},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {214--227},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292560},
doi = {10.1145/292540.292560},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/XiP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/XiP98,
author = {Hongwei Xi and
Frank Pfenning},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Eliminating Array Bound Checking Through Dependent Types},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {249--257},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277732},
doi = {10.1145/277650.277732},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/XiP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Xi98,
author = {Hongwei Xi},
editor = {Tobias Nipkow},
title = {Towards Automated Termination Proofs through "Freezing"},
booktitle = {Rewriting Techniques and Applications, 9th International Conference,
RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1379},
pages = {271--285},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0052376},
doi = {10.1007/BFB0052376},
timestamp = {Sat, 05 Sep 2020 18:07:52 +0200},
biburl = {https://dblp.org/rec/conf/rta/Xi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Xi97,
author = {Hongwei Xi},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Upper Bounds for Standardizations and an Application},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {335--348},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_54},
doi = {10.1007/3-540-63385-5\_54},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Xi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Xi97,
author = {Hongwei Xi},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Simulating eta-expansions with beta-reductions in the Second-Order
Polymorphic lambda-calculus},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {399--409},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_40},
doi = {10.1007/3-540-63045-7\_40},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Xi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Xi97,
author = {Hongwei Xi},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {Evaluation Under Lambda Abstraction},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {259--273},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033849},
doi = {10.1007/BFB0033849},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Xi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Xi97,
author = {Hongwei Xi},
editor = {Philippe de Groote},
title = {Weak and Strong Beta Normalisations in Typed Lambda-Calculi},
booktitle = {Typed Lambda Calculi and Applications, Third International Conference
on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
April 2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1210},
pages = {390--404},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62688-3\_48},
doi = {10.1007/3-540-62688-3\_48},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Xi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AndrewsBINPX96,
author = {Peter B. Andrews and
Matthew Bishop and
Sunil Issar and
Dan Nesmith and
Frank Pfenning and
Hongwei Xi},
title = {{TPS:} {A} Theorem-Proving System for Classical Type Theory},
journal = {J. Autom. Reason.},
volume = {16},
number = {3},
pages = {321--353},
year = {1996},
url = {https://doi.org/10.1007/BF00252180},
doi = {10.1007/BF00252180},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AndrewsBINPX96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AndrewsBINPX93,
author = {Peter B. Andrews and
Matthew Bishop and
Sunil Issar and
Dan Nesmith and
Frank Pfenning and
Hongwei Xi},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {{TPS:} An Interactive and Automatic Tool for Proving Theorems of Type
Theory},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {366--370},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_148},
doi = {10.1007/3-540-57826-9\_148},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AndrewsBINPX93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
