Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "practical language"
download as .bib file
@article{DBLP:journals/bjet/YanSZLMCLJG24,
author = {Lixiang Yan and
Lele Sha and
Linxuan Zhao and
Yuheng Li and
Roberto Mart{\'{\i}}nez{-}Maldonado and
Guanliang Chen and
Xinyu Li and
Yueqiao Jin and
Dragan Gasevic},
title = {Practical and ethical challenges of large language models in education:
{A} systematic scoping review},
journal = {Br. J. Educ. Technol.},
volume = {55},
number = {1},
pages = {90--112},
year = {2024},
url = {https://doi.org/10.1111/bjet.13370},
doi = {10.1111/BJET.13370},
timestamp = {Tue, 21 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bjet/YanSZLMCLJG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bjmc/RikacovsLRSC24,
author = {Sergejs Rikacovs and
Lelde Lace and
Edgars Rencis and
Agris Sostaks and
Karlis Cerans},
title = {An Overview of Practical Applications of Model Transformation Language
{L0}},
journal = {Balt. J. Mod. Comput.},
volume = {12},
number = {1},
year = {2024},
url = {https://doi.org/10.22364/bjmc.2024.12.1.01},
doi = {10.22364/BJMC.2024.12.1.01},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bjmc/RikacovsLRSC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/FortABBBBCDDILM24,
author = {Kar{\"{e}}n Fort and
Laura Alonso Alemany and
Luciana Benotti and
Julien Bezan{\c{c}}on and
Claudia Borg and
Marthese Borg and
Yongjian Chen and
Fanny Ducel and
Yoann Dupont and
Guido Ivetta and
Zhijian Li and
Margot Mieskes and
Marco Naguib and
Yuyan Qian and
Matteo Radaelli and
Wolfgang Schmeisser{-}Nieto and
Emma Raimundo Schulz and
Thiziri Saci and
Sarah Saidi and
Javier Torroba Marchante and
Shilin Xie and
Sergio E. Zanotto and
Aur{\'{e}}lie N{\'{e}}v{\'{e}}ol},
editor = {Nicoletta Calzolari and
Min{-}Yen Kan and
V{\'{e}}ronique Hoste and
Alessandro Lenci and
Sakriani Sakti and
Nianwen Xue},
title = {Your Stereotypical Mileage May Vary: Practical Challenges of Evaluating
Biases in Multiple Languages and Cultural Contexts},
booktitle = {Proceedings of the 2024 Joint International Conference on Computational
Linguistics, Language Resources and Evaluation, {LREC/COLING} 2024,
20-25 May, 2024, Torino, Italy},
pages = {17764--17769},
publisher = {{ELRA} and {ICCL}},
year = {2024},
url = {https://aclanthology.org/2024.lrec-main.1545},
timestamp = {Thu, 23 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/FortABBBBCDDILM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CaiCCWZO24,
author = {Zeju Cai and
Jianguo Chen and
Wenqing Chen and
Weicheng Wang and
Xiangyuan Zhu and
Aijia Ouyang},
title = {F-CodeLLM: {A} Federated Learning Framework for Adapting Large Language
Models to Practical Software Development},
booktitle = {Proceedings of the 2024 {IEEE/ACM} 46th International Conference on
Software Engineering: Companion Proceedings, {ICSE} Companion 2024,
Lisbon, Portugal, April 14-20, 2024},
pages = {416--417},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3639478.3643533},
doi = {10.1145/3639478.3643533},
timestamp = {Fri, 24 May 2024 12:01:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/CaiCCWZO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/IzadiKDOPD24,
author = {Maliheh Izadi and
Jonathan Katzy and
Tim van Dam and
Marc Otten and
Razvan Mihai Popescu and
Arie van Deursen},
title = {Language Models for Code Completion: {A} Practical Evaluation},
booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
pages = {79:1--79:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3597503.3639138},
doi = {10.1145/3597503.3639138},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/IzadiKDOPD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DaiC24,
author = {Feng Dai and
Shigeru Chiba},
editor = {Jiman Hong and
Juw Won Park},
title = {A practical tool for detecting cross-language code pairs with similar
control structures},
booktitle = {Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2024, Avila, Spain, April 8-12, 2024},
pages = {1301--1303},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3605098.3636134},
doi = {10.1145/3605098.3636134},
timestamp = {Wed, 22 May 2024 10:31:05 +0200},
biburl = {https://dblp.org/rec/conf/sac/DaiC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kkio/2023,
editor = {Aleksander Jarzebowicz and
Ivan Lukovic and
Adam Przybylek and
Miroslaw Staron and
Muhammad Ovais Ahmad and
Miroslaw Ochodek},
title = {Software, System, and Service Engineering - {S3E} 2023 Topical Area,
24th Conference on Practical Aspects of and Solutions for Software
Engineering, {KKIO} 2023, and 8th Workshop on Advances in Programming
Languages, {WAPL} 2023, Held as Part of FedCSIS 2023, Warsaw, Poland,
17-20 September 2023, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {499},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-51075-5},
doi = {10.1007/978-3-031-51075-5},
isbn = {978-3-031-51074-8},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kkio/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-16197,
author = {Maliheh Izadi and
Jonathan Katzy and
Tim van Dam and
Marc Otten and
Razvan Mihai Popescu and
Arie van Deursen},
title = {Language Models for Code Completion: {A} Practical Evaluation},
journal = {CoRR},
volume = {abs/2402.16197},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.16197},
doi = {10.48550/ARXIV.2402.16197},
eprinttype = {arXiv},
eprint = {2402.16197},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-16197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-18909,
author = {Xiaobao Wu and
Liangming Pan and
William Yang Wang and
Anh Tuan Luu},
title = {Updating Language Models with Unstructured Facts: Towards Practical
Knowledge Editing},
journal = {CoRR},
volume = {abs/2402.18909},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.18909},
doi = {10.48550/ARXIV.2402.18909},
eprinttype = {arXiv},
eprint = {2402.18909},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-18909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-09011,
author = {Zining Chen and
Weiqiu Wang and
Zhicheng Zhao and
Fei Su and
Aidong Men and
Hongying Meng},
title = {PracticalDG: Perturbation Distillation on Vision-Language Models for
Hybrid Domain Generalization},
journal = {CoRR},
volume = {abs/2404.09011},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.09011},
doi = {10.48550/ARXIV.2404.09011},
eprinttype = {arXiv},
eprint = {2404.09011},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-09011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-11964,
author = {Alex Sheng},
title = {From Language Models to Practical Self-Improving Computer Agents},
journal = {CoRR},
volume = {abs/2404.11964},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.11964},
doi = {10.48550/ARXIV.2404.11964},
eprinttype = {arXiv},
eprint = {2404.11964},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-11964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Chen23,
author = {Zilin Chen},
title = {Towards {A} Practical High-Assurance Systems Programming Language},
school = {University of New South Wales, Sydney, Australia},
year = {2023},
url = {http://hdl.handle.net/1959.4/101026},
doi = {10.26190/UNSWORKS/24733},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Chen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Ramamurthy23,
author = {Rajkumar Ramamurthy},
title = {Practical Models for Sequential Decision Making in Natural Language
Processing and Reinforcement Learning},
school = {University of Bonn, Germany},
year = {2023},
url = {https://hdl.handle.net/20.500.11811/11139},
urn = {urn:nbn:de:hbz:5-73178},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/dnb/Ramamurthy23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/FroizMiguezFF23,
author = {Iv{\'{a}}n Froiz{-}M{\'{\i}}guez and
Paula Fraga{-}Lamas and
Tiago M. Fern{\'{a}}ndez{-}Caram{\'{e}}s},
title = {Design, Implementation, and Practical Evaluation of a Voice Recognition
Based IoT Home Automation System for Low-Resource Languages and Resource-Constrained
Edge IoT Devices: {A} System for Galician and Mobile Opportunistic
Scenarios},
journal = {{IEEE} Access},
volume = {11},
pages = {63623--63649},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3286391},
doi = {10.1109/ACCESS.2023.3286391},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/FroizMiguezFF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eait/Mehrpouyan23,
author = {Azadeh Mehrpouyan},
title = {Enhancing online english language and literature classrooms: effective
and practical teaching strategies},
journal = {Educ. Inf. Technol.},
volume = {28},
number = {4},
pages = {4127--4141},
year = {2023},
url = {https://doi.org/10.1007/s10639-022-11235-w},
doi = {10.1007/S10639-022-11235-W},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eait/Mehrpouyan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/WangMZFHA23,
author = {Yufan Wang and
Jie Mei and
Bowei Zou and
Rui Fan and
Tingting He and
Ai Ti Aw},
editor = {Anna Rogers and
Jordan L. Boyd{-}Graber and
Naoaki Okazaki},
title = {Making Pre-trained Language Models Better Learn Few-Shot Spoken Language
Understanding in More Practical Scenarios},
booktitle = {Findings of the Association for Computational Linguistics: {ACL} 2023,
Toronto, Canada, July 9-14, 2023},
pages = {13508--13523},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.findings-acl.853},
doi = {10.18653/V1/2023.FINDINGS-ACL.853},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/WangMZFHA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/NasirT23,
author = {Muhammad Umair Nasir and
Julian Togelius},
title = {Practical {PCG} Through Large Language Models},
booktitle = {{IEEE} Conference on Games, CoG 2023, Boston, MA, USA, August 21-24,
2023},
pages = {1--4},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CoG57401.2023.10333197},
doi = {10.1109/COG57401.2023.10333197},
timestamp = {Thu, 04 Jan 2024 08:13:37 +0100},
biburl = {https://dblp.org/rec/conf/cig/NasirT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/AgarwalRP23,
author = {Ankur Agarwal and
Mehdi Rezagholizadeh and
Prasanna Parthasarathi},
editor = {Andreas Vlachos and
Isabelle Augenstein},
title = {Practical Takes on Federated Learning with Pretrained Language Models},
booktitle = {Findings of the Association for Computational Linguistics: {EACL}
2023, Dubrovnik, Croatia, May 2-6, 2023},
pages = {454--471},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.findings-eacl.34},
doi = {10.18653/V1/2023.FINDINGS-EACL.34},
timestamp = {Thu, 05 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/AgarwalRP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/Beeren023,
author = {Nimo Beeren and
George Fletcher},
editor = {Julia Stoyanovich and
Jens Teubner and
Nikos Mamoulis and
Evaggelia Pitoura and
Jan M{\"{u}}hlig and
Katja Hose and
Sourav S. Bhowmick and
Matteo Lissandrini},
title = {A Formal Design Framework for Practical Property Graph Schema Languages},
booktitle = {Proceedings 26th International Conference on Extending Database Technology,
{EDBT} 2023, Ioannina, Greece, March 28-31, 2023},
pages = {478--484},
publisher = {OpenProceedings.org},
year = {2023},
url = {https://doi.org/10.48786/edbt.2023.40},
doi = {10.48786/EDBT.2023.40},
timestamp = {Sat, 29 Apr 2023 13:06:22 +0200},
biburl = {https://dblp.org/rec/conf/edbt/Beeren023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/KochedykovYK23,
author = {Denis Kochedykov and
Fenglin Yin and
Sreevidya Khatravath},
editor = {Mingxuan Wang and
Imed Zitouni},
title = {Conversing with databases: Practical Natural Language Querying},
booktitle = {Proceedings of the 2023 Conference on Empirical Methods in Natural
Language Processing: {EMNLP} 2023 - Industry Track, Singapore, December
6-10, 2023},
pages = {372--379},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.emnlp-industry.36},
doi = {10.18653/V1/2023.EMNLP-INDUSTRY.36},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/KochedykovYK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/LaskarFCT23,
author = {Md. Tahmid Rahman Laskar and
Xue{-}Yong Fu and
Cheng Chen and
Shashi Bhushan TN},
editor = {Mingxuan Wang and
Imed Zitouni},
title = {Building Real-World Meeting Summarization Systems using Large Language
Models: {A} Practical Perspective},
booktitle = {Proceedings of the 2023 Conference on Empirical Methods in Natural
Language Processing: {EMNLP} 2023 - Industry Track, Singapore, December
6-10, 2023},
pages = {343--352},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.emnlp-industry.33},
doi = {10.18653/V1/2023.EMNLP-INDUSTRY.33},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/LaskarFCT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/LeroyCLO23,
author = {Dorian Leroy and
Beno{\^{\i}}t Combemale and
Beno{\^{\i}}t Lelandais and
Marie{-}Pierre Oudot},
editor = {Jo{\~{a}}o Saraiva and
Thomas Degueule and
Elizabeth Scott},
title = {Practical Runtime Instrumentation of Software Languages: The Case
of SciHook},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2023, Cascais, Portugal, October
23-24, 2023},
pages = {226--231},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623476.3623531},
doi = {10.1145/3623476.3623531},
timestamp = {Mon, 23 Oct 2023 17:33:15 +0200},
biburl = {https://dblp.org/rec/conf/sle/LeroyCLO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2023,
editor = {Michael Hanus and
Daniela Inclezan},
title = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2},
doi = {10.1007/978-3-031-24841-2},
isbn = {978-3-031-24840-5},
timestamp = {Wed, 18 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2024,
editor = {Martin Gebser and
Ilya Sergey},
title = {Practical Aspects of Declarative Languages - 26th International Symposium,
{PADL} 2024, London, UK, January 15-16, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14512},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-52038-9},
doi = {10.1007/978-3-031-52038-9},
isbn = {978-3-031-52037-2},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-13379,
author = {Lixiang Yan and
Lele Sha and
Linxuan Zhao and
Yuheng Li and
Roberto Mart{'{i}}nez{ }Maldonado and
Guanliang Chen and
Xinyu Li and
Yueqiao Jin and
Dragan Gasevic},
title = {Practical and Ethical Challenges of Large Language Models in Education:
{A} Systematic Literature Review},
journal = {CoRR},
volume = {abs/2303.13379},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.13379},
doi = {10.48550/ARXIV.2303.13379},
eprinttype = {arXiv},
eprint = {2303.13379},
timestamp = {Tue, 21 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-13379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-14710,
author = {Mallikharjuna Rao K and
Harleen Kaur and
Sanjam Kaur Bedi and
M. A Lekhana},
title = {Image-based Indian Sign Language Recognition: {A} Practical Review
using Deep Neural Networks},
journal = {CoRR},
volume = {abs/2304.14710},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.14710},
doi = {10.48550/ARXIV.2304.14710},
eprinttype = {arXiv},
eprint = {2304.14710},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-14710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-15778,
author = {Yinfang Chen and
Huaibing Xie and
Minghua Ma and
Yu Kang and
Xin Gao and
Liu Shi and
Yunjie Cao and
Xuedong Gao and
Hao Fan and
Ming Wen and
Jun Zeng and
Supriyo Ghosh and
Xuchao Zhang and
Chaoyun Zhang and
Qingwei Lin and
Saravan Rajmohan and
Dongmei Zhang},
title = {Empowering Practical Root Cause Analysis by Large Language Models
for Cloud Incidents},
journal = {CoRR},
volume = {abs/2305.15778},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.15778},
doi = {10.48550/ARXIV.2305.15778},
eprinttype = {arXiv},
eprint = {2305.15778},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-15778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18243,
author = {Muhammad Umair Nasir and
Julian Togelius},
title = {Practical {PCG} Through Large Language Models},
journal = {CoRR},
volume = {abs/2305.18243},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18243},
doi = {10.48550/ARXIV.2305.18243},
eprinttype = {arXiv},
eprint = {2305.18243},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-05323,
author = {Claudio Crema and
Tommaso Mario Buonocore and
Silvia Fostinelli and
Enea Parimbelli and
Federico Verde and
Cira Fundar{\`{o}} and
Marina Manera and
Matteo Cotta Ramusino and
Marco Capelli and
Alfredo Costa and
Giuliano Binetti and
Riccardo Bellazzi and
Alberto Redolfi},
title = {Advancing Italian Biomedical Information Extraction with Large Language
Models: Methodological Insights and Multicenter Practical Application},
journal = {CoRR},
volume = {abs/2306.05323},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.05323},
doi = {10.48550/ARXIV.2306.05323},
eprinttype = {arXiv},
eprint = {2306.05323},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-05323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-11148,
author = {Junyi Lu and
Lei Yu and
Xiaojia Li and
Li Yang and
Chun Zuo},
title = {LLaMA-Reviewer: Advancing Code Review Automation with Large Language
Models through Parameter-Efficient Fine-Tuning (Practical Experience
Report)},
journal = {CoRR},
volume = {abs/2308.11148},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.11148},
doi = {10.48550/ARXIV.2308.11148},
eprinttype = {arXiv},
eprint = {2308.11148},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-11148.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-08531,
author = {Minsu Kim and
Jeongsoo Choi and
Soumi Maiti and
Jeong Hun Yeo and
Shinji Watanabe and
Yong Man Ro},
title = {Towards Practical and Efficient Image-to-Speech Captioning with Vision-Language
Pre-training and Multi-modal Tokens},
journal = {CoRR},
volume = {abs/2309.08531},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.08531},
doi = {10.48550/ARXIV.2309.08531},
eprinttype = {arXiv},
eprint = {2309.08531},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08531.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-19233,
author = {Md. Tahmid Rahman Laskar and
Xue{-}Yong Fu and
Cheng Chen and
Shashi Bhushan TN},
title = {Building Real-World Meeting Summarization Systems using Large Language
Models: {A} Practical Perspective},
journal = {CoRR},
volume = {abs/2310.19233},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.19233},
doi = {10.48550/ARXIV.2310.19233},
eprinttype = {arXiv},
eprint = {2310.19233},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-19233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-06062,
author = {Wenjie Fu and
Huandong Wang and
Chen Gao and
Guanghua Liu and
Yong Li and
Tao Jiang},
title = {Practical Membership Inference Attacks against Fine-tuned Large Language
Models via Self-prompt Calibration},
journal = {CoRR},
volume = {abs/2311.06062},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.06062},
doi = {10.48550/ARXIV.2311.06062},
eprinttype = {arXiv},
eprint = {2311.06062},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-06062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-04860,
author = {Robson Santos and
{\'{I}}talo Santos and
Cleyton V. C. de Magalh{\~{a}}es and
Ronnie Edson de Souza Santos},
title = {Are We Testing or Being Tested? Exploring the Practical Applications
of Large Language Models in Software Testing},
journal = {CoRR},
volume = {abs/2312.04860},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.04860},
doi = {10.48550/ARXIV.2312.04860},
eprinttype = {arXiv},
eprint = {2312.04860},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-04860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-12598,
author = {Roberto Francisco de Lima Junior and
Luiz Fernando Paes de Barros Presta and
Lucca Santos Borborema and
Vanderson Nogueira da Silva and
Marcio Leal de Melo Dahia and
Anderson Carlos Sousa e Santos},
title = {A Case Study on Test Case Construction with Large Language Models:
Unveiling Practical Insights and Challenges},
journal = {CoRR},
volume = {abs/2312.12598},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.12598},
doi = {10.48550/ARXIV.2312.12598},
eprinttype = {arXiv},
eprint = {2312.12598},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-12598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccoms/XieWJ22,
author = {Wuping Xie and
Songsong Wan and
Dongming Jiang},
title = {Apla\({}^{\mbox{+}}\): a Practical Service-oriented Programming Language
for Service Orchestration},
booktitle = {7th International Conference on Computer and Communication Systems,
{ICCCS} 2022, Wuhan, China, April 22-25, 2022},
pages = {80--85},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCCS55155.2022.9846685},
doi = {10.1109/ICCCS55155.2022.9846685},
timestamp = {Mon, 06 Nov 2023 12:57:51 +0100},
biburl = {https://dblp.org/rec/conf/ccoms/XieWJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/Kim22,
author = {Taeuk Kim},
editor = {Nicoletta Calzolari and
Chu{-}Ren Huang and
Hansaem Kim and
James Pustejovsky and
Leo Wanner and
Key{-}Sun Choi and
Pum{-}Mo Ryu and
Hsin{-}Hsi Chen and
Lucia Donatelli and
Heng Ji and
Sadao Kurohashi and
Patrizia Paggio and
Nianwen Xue and
Seokhwan Kim and
Younggyun Hahm and
Zhong He and
Tony Kyungil Lee and
Enrico Santus and
Francis Bond and
Seung{-}Hoon Na},
title = {Revisiting the Practical Effectiveness of Constituency Parse Extraction
from Pre-trained Language Models},
booktitle = {Proceedings of the 29th International Conference on Computational
Linguistics, {COLING} 2022, Gyeongju, Republic of Korea, October 12-17,
2022},
pages = {5398--5408},
publisher = {International Committee on Computational Linguistics},
year = {2022},
url = {https://aclanthology.org/2022.coling-1.479},
timestamp = {Thu, 13 Oct 2022 17:29:38 +0200},
biburl = {https://dblp.org/rec/conf/coling/Kim22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-apr/KangY22,
author = {Sungmin Kang and
Shin Yoo},
title = {Language Models Can Prioritize Patches for Practical Program Patching},
booktitle = {3rd {IEEE/ACM} International Workshop on Automated Program Repair,
APR@ICSE 2022, Pittsburgh, PA, USA, May 19, 2022},
pages = {8--15},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3524459.3527343},
doi = {10.1145/3524459.3527343},
timestamp = {Mon, 11 Jul 2022 12:32:43 +0200},
biburl = {https://dblp.org/rec/conf/icse-apr/KangY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/LothritzLAVBKBL22,
author = {Cedric Lothritz and
Bertrand Lebichot and
Kevin Allix and
Lisa Veiber and
Tegawend{\'{e}} F. Bissyand{\'{e}} and
Jacques Klein and
Andrey Boytsov and
Cl{\'{e}}ment Lefebvre and
Anne Goujon},
editor = {Nicoletta Calzolari and
Fr{\'{e}}d{\'{e}}ric B{\'{e}}chet and
Philippe Blache and
Khalid Choukri and
Christopher Cieri and
Thierry Declerck and
Sara Goggi and
Hitoshi Isahara and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Jan Odijk and
Stelios Piperidis},
title = {LuxemBERT: Simple and Practical Data Augmentation in Language Model
Pre-Training for Luxembourgish},
booktitle = {Proceedings of the Thirteenth Language Resources and Evaluation Conference,
{LREC} 2022, Marseille, France, 20-25 June 2022},
pages = {5080--5089},
publisher = {European Language Resources Association},
year = {2022},
url = {https://aclanthology.org/2022.lrec-1.543},
timestamp = {Tue, 11 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/LothritzLAVBKBL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2022,
editor = {James Cheney and
Simona Perri},
title = {Practical Aspects of Declarative Languages - 24th International Symposium,
{PADL} 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13165},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94479-7},
doi = {10.1007/978-3-030-94479-7},
isbn = {978-3-030-94478-0},
timestamp = {Fri, 14 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-00971,
author = {Antonio Ginart and
Laurens van der Maaten and
James Zou and
Chuan Guo},
title = {Submix: Practical Private Prediction for Large-Scale Language Models},
journal = {CoRR},
volume = {abs/2201.00971},
year = {2022},
url = {https://arxiv.org/abs/2201.00971},
eprinttype = {arXiv},
eprint = {2201.00971},
timestamp = {Thu, 07 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-04767,
author = {Yike Zhang and
Xiaobing Feng and
Yi Liu and
Songjun Cao and
Long Ma},
title = {A practical framework for multi-domain speech recognition and an instance
sampling method to neural language modeling},
journal = {CoRR},
volume = {abs/2203.04767},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.04767},
doi = {10.48550/ARXIV.2203.04767},
eprinttype = {arXiv},
eprint = {2203.04767},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-04767.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-14179,
author = {Chunqiu Steven Xia and
Yuxiang Wei and
Lingming Zhang},
title = {Practical Program Repair in the Era of Large Pre-trained Language
Models},
journal = {CoRR},
volume = {abs/2210.14179},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.14179},
doi = {10.48550/ARXIV.2210.14179},
eprinttype = {arXiv},
eprint = {2210.14179},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-14179.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-00479,
author = {Taeuk Kim},
title = {Revisiting the Practical Effectiveness of Constituency Parse Extraction
from Pre-trained Language Models},
journal = {CoRR},
volume = {abs/2211.00479},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.00479},
doi = {10.48550/ARXIV.2211.00479},
eprinttype = {arXiv},
eprint = {2211.00479},
timestamp = {Fri, 04 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-00479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/JiangZZLYLX21,
author = {Shu Jiang and
Zhuosheng Zhang and
Hai Zhao and
Jiangtong Li and
Yang Yang and
Bao{-}Liang Lu and
Ning Xia},
title = {When {SMILES} Smiles, Practicality Judgment and Yield Prediction of
Chemical Reaction via Deep Chemical Language Processing},
journal = {{IEEE} Access},
volume = {9},
pages = {85071--85083},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3083838},
doi = {10.1109/ACCESS.2021.3083838},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/JiangZZLYLX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/SharmaSJ21,
author = {Chandan Sharma and
Roopak Sinha and
Kenneth Johnson},
title = {Practical and comprehensive formalisms for modelling contemporary
graph query languages},
journal = {Inf. Syst.},
volume = {102},
pages = {101816},
year = {2021},
url = {https://doi.org/10.1016/j.is.2021.101816},
doi = {10.1016/J.IS.2021.101816},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/SharmaSJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clarin/LydingSK21,
author = {Verena Lyding and
Egon Stemle and
Alexander K{\"{o}}nig},
editor = {Monica Monachini and
Maria Eskevich},
title = {Collaborating on Language Resource Infrastructures with Non-Research
Partners: Practicalities and Challenges},
booktitle = {Selected Papers from the {CLARIN} Annual Conference 2021, virtual
event, September 27-29, 2021},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {189},
pages = {88--100},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2021},
url = {https://doi.org/10.3384/ecp1899},
doi = {10.3384/ECP1899},
timestamp = {Wed, 13 Sep 2023 16:08:43 +0200},
biburl = {https://dblp.org/rec/conf/clarin/LydingSK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/NguyenRKRDFM21,
author = {Andr{\'{e}} T. Nguyen and
Luke E. Richards and
Gaoussou Youssouf Kebe and
Edward Raff and
Kasra Darvish and
Frank Ferraro and
Cynthia Matuszek},
title = {Practical Cross-Modal Manifold Alignment for Robotic Grounded Language
Learning},
booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition Workshops,
{CVPR} Workshops 2021, virtual, June 19-25, 2021},
pages = {1613--1622},
publisher = {Computer Vision Foundation / {IEEE}},
year = {2021},
url = {https://openaccess.thecvf.com/content/CVPR2021W/MULA/html/Nguyen\_Practical\_Cross-Modal\_Manifold\_Alignment\_for\_Robotic\_Grounded\_Language\_Learning\_CVPRW\_2021\_paper.html},
doi = {10.1109/CVPRW53098.2021.00177},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/NguyenRKRDFM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fat/GrunewaldP21,
author = {Elias Gr{\"{u}}newald and
Frank Pallas},
editor = {Madeleine Clare Elish and
William Isaac and
Richard S. Zemel},
title = {{TILT:} {A} GDPR-Aligned Transparency Information Language and Toolkit
for Practical Privacy Engineering},
booktitle = {FAccT '21: 2021 {ACM} Conference on Fairness, Accountability, and
Transparency, Virtual Event / Toronto, Canada, March 3-10, 2021},
pages = {636--646},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3442188.3445925},
doi = {10.1145/3442188.3445925},
timestamp = {Fri, 05 May 2023 15:54:55 +0200},
biburl = {https://dblp.org/rec/conf/fat/GrunewaldP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/LugoschPRHP21,
author = {Loren Lugosch and
Piyush Papreja and
Mirco Ravanelli and
Abdelwahab Heba and
Titouan Parcollet},
editor = {Joaquin Vanschoren and
Sai{-}Kit Yeung},
title = {Timers and Such: {A} Practical Benchmark for Spoken Language Understanding
with Numbers},
booktitle = {Proceedings of the Neural Information Processing Systems Track on
Datasets and Benchmarks 1, NeurIPS Datasets and Benchmarks 2021, December
2021, virtual},
year = {2021},
url = {https://datasets-benchmarks-proceedings.neurips.cc/paper/2021/hash/34173cb38f07f89ddbebc2ac9128303f-Abstract-round1.html},
timestamp = {Thu, 05 May 2022 16:30:03 +0200},
biburl = {https://dblp.org/rec/conf/nips/LugoschPRHP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/JakobyLL21,
author = {Andreas Jakoby and
Jannis Leuther and
Stefan Lucks},
title = {Formal Language Theory for Practical Security - Extended Abstract
-},
booktitle = {{IEEE} Security and Privacy Workshops, {SP} Workshops 2021, San Francisco,
CA, USA, May 27, 2021},
pages = {101--110},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SPW53761.2021.00023},
doi = {10.1109/SPW53761.2021.00023},
timestamp = {Thu, 21 Sep 2023 16:11:08 +0200},
biburl = {https://dblp.org/rec/conf/sp/JakobyLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wordnet/SefaraMM21,
author = {Tshephisho Joseph Sefara and
Tumisho Billson Mokgonyane and
Vukosi Marivate},
editor = {Sonja Bosch and
Christiane Fellbaum and
Marissa Griesel and
Alexandre Rademaker and
Piek Vossen},
title = {Practical Approach on Implementation of WordNets for South African
Languages},
booktitle = {Proceedings of the 11th Global Wordnet Conference, {GWC} 2021, University
of South Africa (UNISA), Potchefstroom, South Africa, January 18-21,
2021},
pages = {20--25},
publisher = {Global Wordnet Association},
year = {2021},
url = {https://aclanthology.org/2021.gwc-1.3/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wordnet/SefaraMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2021,
editor = {Jos{\'{e}} F. Morales and
Dominic A. Orchard},
title = {Practical Aspects of Declarative Languages - 23rd International Symposium,
{PADL} 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12548},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67438-0},
doi = {10.1007/978-3-030-67438-0},
isbn = {978-3-030-67437-3},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-01604,
author = {Loren Lugosch and
Piyush Papreja and
Mirco Ravanelli and
Abdelwahab Heba and
Titouan Parcollet},
title = {Timers and Such: {A} Practical Benchmark for Spoken Language Understanding
with Numbers},
journal = {CoRR},
volume = {abs/2104.01604},
year = {2021},
url = {https://arxiv.org/abs/2104.01604},
eprinttype = {arXiv},
eprint = {2104.01604},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-01604.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Gomez-PerezDG20,
author = {Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez and
Ronald Denaux and
Andr{\'{e}}s Garc{\'{\i}}a{-}Silva},
title = {A Practical Guide to Hybrid Natural Language Processing - Combining
Neural Models and Knowledge Graphs for {NLP}},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44830-1},
doi = {10.1007/978-3-030-44830-1},
isbn = {978-3-030-44829-5},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Gomez-PerezDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/BhattamishraAG20,
author = {Satwik Bhattamishra and
Kabir Ahuja and
Navin Goyal},
editor = {Donia Scott and
N{\'{u}}ria Bel and
Chengqing Zong},
title = {On the Practical Ability of Recurrent Neural Networks to Recognize
Hierarchical Languages},
booktitle = {Proceedings of the 28th International Conference on Computational
Linguistics, {COLING} 2020, Barcelona, Spain (Online), December 8-13,
2020},
pages = {1481--1494},
publisher = {International Committee on Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.coling-main.129},
doi = {10.18653/V1/2020.COLING-MAIN.129},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/BhattamishraAG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/FukudaLF20,
author = {Hiroaki Fukuda and
Paul Leger and
Ismael Figueroa},
editor = {H. Chad Lane and
Susan Zvacek and
James Uhomoibhi},
title = {A Practical Methodology to Learn Computer Architecture, Assembly Language,
and Operating System},
booktitle = {Proceedings of the 12th International Conference on Computer Supported
Education, {CSEDU} 2020, Prague, Czech Republic, May 2-4, 2020, Volume
1},
pages = {333--340},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009319503330340},
doi = {10.5220/0009319503330340},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csedu/FukudaLF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WeiglUCBV20,
author = {Alexander Weigl and
Mattias Ulbrich and
Suhyun Cha and
Bernhard Beckert and
Birgit Vogel{-}Heuser},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {Relational Test Tables: {A} Practical Specification Language for Evolution
and Security},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {77--86},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391566},
doi = {10.1145/3372020.3391566},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/WeiglUCBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2020,
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3},
doi = {10.1007/978-3-030-39197-3},
isbn = {978-3-030-39196-6},
timestamp = {Tue, 21 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-09218,
author = {Jens Nevens and
Paul Van Eecke and
Katrien Beuls},
title = {A Practical Guide to Studying Emergent Communication through Grounded
Language Games},
journal = {CoRR},
volume = {abs/2004.09218},
year = {2020},
url = {https://arxiv.org/abs/2004.09218},
eprinttype = {arXiv},
eprint = {2004.09218},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-09218.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11954,
author = {Aman Madaan and
Shruti Rijhwani and
Antonios Anastasopoulos and
Yiming Yang and
Graham Neubig},
title = {Practical Comparable Data Collection for Low-Resource Languages via
Images},
journal = {CoRR},
volume = {abs/2004.11954},
year = {2020},
url = {https://arxiv.org/abs/2004.11954},
eprinttype = {arXiv},
eprint = {2004.11954},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11954.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-05147,
author = {Andr{\'{e}} T. Nguyen and
Luke E. Richards and
Gaoussou Youssouf Kebe and
Edward Raff and
Kasra Darvish and
Frank Ferraro and
Cynthia Matuszek},
title = {Practical Cross-modal Manifold Alignment for Grounded Language},
journal = {CoRR},
volume = {abs/2009.05147},
year = {2020},
url = {https://arxiv.org/abs/2009.05147},
eprinttype = {arXiv},
eprint = {2009.05147},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-05147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06710,
author = {Jorge A. V. Tohalino and
Diego R. Amancio},
title = {Language Networks: a Practical Approach},
journal = {CoRR},
volume = {abs/2010.06710},
year = {2020},
url = {https://arxiv.org/abs/2010.06710},
eprinttype = {arXiv},
eprint = {2010.06710},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-03965,
author = {Satwik Bhattamishra and
Kabir Ahuja and
Navin Goyal},
title = {On the Practical Ability of Recurrent Neural Networks to Recognize
Hierarchical Languages},
journal = {CoRR},
volume = {abs/2011.03965},
year = {2020},
url = {https://arxiv.org/abs/2011.03965},
eprinttype = {arXiv},
eprint = {2011.03965},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-03965.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-10431,
author = {Elias Gr{\"{u}}newald and
Frank Pallas},
title = {{TILT:} {A} GDPR-Aligned Transparency Information Language and Toolkit
for Practical Privacy Engineering},
journal = {CoRR},
volume = {abs/2012.10431},
year = {2020},
url = {https://arxiv.org/abs/2012.10431},
eprinttype = {arXiv},
eprint = {2012.10431},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-10431.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LepigreR19,
author = {Rodolphe Lepigre and
Christophe Raffalli},
title = {Practical Subtyping for Curry-Style Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {41},
number = {1},
pages = {5:1--5:58},
year = {2019},
url = {https://doi.org/10.1145/3285955},
doi = {10.1145/3285955},
timestamp = {Fri, 10 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LepigreR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/MarcosCM19,
author = {Mar Marcos and
Cristina Campos and
Bego{\~{n}}a Mart{\'{\i}}nez{-}Salvador},
editor = {Mar Marcos and
Jose M. Juarez and
Richard Lenz and
Grzegorz J. Nalepa and
Slawomir Nowaczyk and
Mor Peleg and
Jerzy Stefanowski and
Gregor Stiglic},
title = {A Practical Exercise on Re-engineering Clinical Guideline Models Using
Different Representation Languages},
booktitle = {Artificial Intelligence in Medicine: Knowledge Representation and
Transparent and Explainable Systems - {AIME} 2019 International Workshops,
KR4HC/ProHealth and TEAAM, Poznan, Poland, June 26-29, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11979},
pages = {3--16},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37446-4\_1},
doi = {10.1007/978-3-030-37446-4\_1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aime/MarcosCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csia/Fan19,
author = {Fan Zhang},
editor = {Zheng Xu and
Kim{-}Kwang Raymond Choo and
Ali Dehghantanha and
Reza M. Parizi and
Mohammad Hammoudeh},
title = {Research on the Influences of the Invisible Environment of Language
Laboratories on the Practical Teaching Based on the Network},
booktitle = {Cyber Security Intelligence and Analytics, {CSIA} 2019, Shenyang,
China, 21-22 February 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {928},
pages = {194--199},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-15235-2\_30},
doi = {10.1007/978-3-030-15235-2\_30},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csia/Fan19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SmythSH19,
author = {Steven Smyth and
Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {Practical Causality Handling for Synchronous Languages},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {1281--1284},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8715081},
doi = {10.23919/DATE.2019.8715081},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/SmythSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelica/Burger19,
author = {Christoff B{\"{u}}rger},
editor = {Anton Haumer},
title = {Modelica language extensions for practical non-monotonic modelling:
on the need for selective model extension},
booktitle = {Proceedings of the 13th International Modelica Conference, Regensburg,
Germany, March 4-6, 2019},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {157},
pages = {157:029},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2019},
url = {https://doi.org/10.3384/ecp19157277},
doi = {10.3384/ECP19157277},
timestamp = {Mon, 08 Feb 2021 13:26:40 +0100},
biburl = {https://dblp.org/rec/conf/modelica/Burger19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/DamonteGC19,
author = {Marco Damonte and
Rahul Goel and
Tagyoung Chung},
editor = {Anastassia Loukina and
Michelle Morales and
Rohit Kumar},
title = {Practical Semantic Parsing for Spoken Language Understanding},
booktitle = {Proceedings of the 2019 Conference of the North American Chapter of
the Association for Computational Linguistics: Human Language Technologies,
{NAACL-HLT} 2019, Minneapolis, MN, USA, June 2-7, 2019, Volume 2 (Industry
Papers)},
pages = {16--23},
publisher = {Association for Computational Linguistics},
year = {2019},
url = {https://doi.org/10.18653/v1/n19-2003},
doi = {10.18653/V1/N19-2003},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/naacl/DamonteGC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Latifi19,
author = {Florian Latifi},
editor = {Yannis Smaragdakis},
title = {Practical second Futamura projection: partial evaluation for high-performance
language interpreters},
booktitle = {Proceedings Companion of the 2019 {ACM} {SIGPLAN} International Conference
on Systems, Programming, Languages, and Applications: Software for
Humanity, {SPLASH} 2019, Athens, Greece, October 20-25, 2019},
pages = {29--31},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359061.3361077},
doi = {10.1145/3359061.3361077},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Latifi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2019,
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9},
doi = {10.1007/978-3-030-05998-9},
isbn = {978-3-030-05997-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04521,
author = {Marco Damonte and
Rahul Goel and
Tagyoung Chung},
title = {Practical Semantic Parsing for Spoken Language Understanding},
journal = {CoRR},
volume = {abs/1903.04521},
year = {2019},
url = {http://arxiv.org/abs/1903.04521},
eprinttype = {arXiv},
eprint = {1903.04521},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04521.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-09068,
author = {Alexander Weigl and
Mattias Ulbrich and
Suhyun Cha and
Bernhard Beckert and
Birgit Vogel{-}Heuser},
title = {Relational Test Tables: {A} Practical Specification Language for Evolution
and Security},
journal = {CoRR},
volume = {abs/1910.09068},
year = {2019},
url = {http://arxiv.org/abs/1910.09068},
eprinttype = {arXiv},
eprint = {1910.09068},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-09068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csr/MandrioliP18,
author = {Dino Mandrioli and
Matteo Pradella},
title = {Generalizing input-driven languages: Theoretical and practical benefits},
journal = {Comput. Sci. Rev.},
volume = {27},
pages = {61--87},
year = {2018},
url = {https://doi.org/10.1016/j.cosrev.2017.12.001},
doi = {10.1016/J.COSREV.2017.12.001},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csr/MandrioliP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcc/DerlerS18,
author = {David Derler and
Daniel Slamanig},
title = {Practical witness encryption for algebraic languages or how to encrypt
under Groth-Sahai proofs},
journal = {Des. Codes Cryptogr.},
volume = {86},
number = {11},
pages = {2525--2547},
year = {2018},
url = {https://doi.org/10.1007/s10623-018-0460-y},
doi = {10.1007/S10623-018-0460-Y},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dcc/DerlerS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BernardyBNJS18,
author = {Jean{-}Philippe Bernardy and
Mathieu Boespflug and
Ryan R. Newton and
Simon Peyton Jones and
Arnaud Spiwack},
title = {Linear Haskell: practical linearity in a higher-order polymorphic
language},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {5:1--5:29},
year = {2018},
url = {https://doi.org/10.1145/3158093},
doi = {10.1145/3158093},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BernardyBNJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/WeissGY18,
author = {Gail Weiss and
Yoav Goldberg and
Eran Yahav},
editor = {Iryna Gurevych and
Yusuke Miyao},
title = {On the Practical Computational Power of Finite Precision RNNs for
Language Recognition},
booktitle = {Proceedings of the 56th Annual Meeting of the Association for Computational
Linguistics, {ACL} 2018, Melbourne, Australia, July 15-20, 2018, Volume
2: Short Papers},
pages = {740--745},
publisher = {Association for Computational Linguistics},
year = {2018},
url = {https://aclanthology.org/P18-2117/},
doi = {10.18653/V1/P18-2117},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acl/WeissGY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/BergentiMP18,
author = {Federico Bergenti and
Stefania Monica and
Giuseppe Petrosino},
editor = {Joeri De Koster and
Federico Bergenti and
Juliana Franco},
title = {A scripting language for practical agent-oriented programming},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Programming
Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH
2018, Boston, MA, USA, November 5, 2018},
pages = {62--71},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3281366.3281367},
doi = {10.1145/3281366.3281367},
timestamp = {Thu, 20 Dec 2018 07:54:36 +0100},
biburl = {https://dblp.org/rec/conf/agere/BergentiMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiide/Horswill18,
author = {Ian Douglas Horswill},
editor = {Jonathan P. Rowe and
Gillian Smith},
title = {CatSAT: {A} Practical, Embedded, {SAT} Language for Runtime {PCG}},
booktitle = {Proceedings of the Fourteenth {AAAI} Conference on Artificial Intelligence
and Interactive Digital Entertainment, {AIIDE} 2018, November 13-17,
2018, Edmonton, Canada},
pages = {38--44},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/AIIDE/AIIDE18/paper/view/18122},
timestamp = {Wed, 10 Feb 2021 22:01:28 +0100},
biburl = {https://dblp.org/rec/conf/aiide/Horswill18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cte/ChornaHU18,
author = {Olha V. Chorna and
Vita A. Hamaniuk and
Aleksandr D. Uchitel},
editor = {Arnold E. Kiv and
Vladimir N. Soloviev},
title = {Use of YouTube on lessons of practical course of German language as
the first and second language at the pedagogical university},
booktitle = {Proceedings of the 6th Workshop on Cloud Technologies in Education,
{CTE} 2018 Kryvyi Rih, Ukraine, December 21, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2433},
pages = {294--307},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://doi.org/10.55056/cte.392},
doi = {10.55056/CTE.392},
timestamp = {Fri, 10 Mar 2023 16:23:12 +0100},
biburl = {https://dblp.org/rec/conf/cte/ChornaHU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Kaczmarek-HessN18,
author = {Monika Kaczmarek{-}He{\ss} and
Mario Nolte and
Andreas Fritsch and
Stefanie Betz},
editor = {Regina Hebig and
Thorsten Berger},
title = {Practical experiences with multi-level modeling using FMMLx: a hierarchy
of domain-specific modeling languages in support of life-cycle assessment},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {698--707},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/multi\_paper\_8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/Kaczmarek-HessN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/MehrabaniTS18,
author = {Mahnoosh Mehrabani and
David Thomson and
Benjamin Stern},
editor = {Srinivas Bangalore and
Jennifer Chu{-}Carroll and
Yunyao Li},
title = {Practical Application of Domain Dependent Confidence Measurement for
Spoken Language Understanding Systems},
booktitle = {Proceedings of the 2018 Conference of the North American Chapter of
the Association for Computational Linguistics: Human Language Technologies,
{NAACL-HLT} 2018, New Orleans, Louisiana, USA, June 1-6, 2018, Volume
3 (Industry Papers)},
pages = {185--192},
publisher = {Association for Computational Linguistics},
year = {2018},
url = {https://doi.org/10.18653/v1/n18-3023},
doi = {10.18653/V1/N18-3023},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/naacl/MehrabaniTS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/WangBHN18,
author = {Kunshan Wang and
Stephen M. Blackburn and
Antony L. Hosking and
Michael Norrish},
title = {Hop, Skip, {\&} Jump: Practical On-Stack Replacement for a Cross-Platform
Language-Neutral {VM}},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN/SIGOPS} International Conference
on Virtual Execution Environments, {VEE} 2018, Williamsburg, VA, USA,
March 25-25, 2018},
pages = {1--16},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3186411.3186412},
doi = {10.1145/3186411.3186412},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/vee/WangBHN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2018,
editor = {Francesco Calimeri and
Kevin W. Hamlen and
Nicola Leone},
title = {Practical Aspects of Declarative Languages - 20th International Symposium,
{PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10702},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73305-0},
doi = {10.1007/978-3-319-73305-0},
isbn = {978-3-319-73304-3},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04908,
author = {Gail Weiss and
Yoav Goldberg and
Eran Yahav},
title = {On the Practical Computational Power of Finite Precision RNNs for
Language Recognition},
journal = {CoRR},
volume = {abs/1805.04908},
year = {2018},
url = {http://arxiv.org/abs/1805.04908},
eprinttype = {arXiv},
eprint = {1805.04908},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-04908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-01207,
author = {Neel Kant and
Raul Puri and
Nikolai Yakovenko and
Bryan Catanzaro},
title = {Practical Text Classification With Large Pre-Trained Language Models},
journal = {CoRR},
volume = {abs/1812.01207},
year = {2018},
url = {http://arxiv.org/abs/1812.01207},
eprinttype = {arXiv},
eprint = {1812.01207},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-01207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09480,
title = {Tornado: {A} Practical And Efficient Heterogeneous Programming Framework
For Managed Languages},
journal = {CoRR},
volume = {abs/1802.09480},
year = {2018},
note = {Withdrawn.},
url = {http://arxiv.org/abs/1802.09480},
eprinttype = {arXiv},
eprint = {1802.09480},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangWC17,
author = {Peng Wang and
Di Wang and
Adam Chlipala},
title = {TiML: a functional language for practical complexity analysis with
invariants},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {79:1--79:26},
year = {2017},
url = {https://doi.org/10.1145/3133903},
doi = {10.1145/3133903},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WangWC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talip/WaliGH17,
author = {Wafa Wali and
Bilel Gargouri and
Abdelmajid Ben Hamadou},
title = {Evaluating the Content of {LMF} Standardized Dictionaries: {A} Practical
Experiment on Arabic Language},
journal = {{ACM} Trans. Asian Low Resour. Lang. Inf. Process.},
volume = {16},
number = {4},
pages = {22:1--22:20},
year = {2017},
url = {https://doi.org/10.1145/3047406},
doi = {10.1145/3047406},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/talip/WaliGH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/JimenezZ17,
author = {V{\'{\i}}ctor Juan Exp{\'{o}}sito Jim{\'{e}}nez and
Herwig Zeiner},
editor = {Oleg Gusikhin and
Kurosh Madani},
title = {A Domain Specific Language for Robot Programming in the Wood Industry
- {A} Practical Example},
booktitle = {Proceedings of the 14th International Conference on Informatics in
Control, Automation and Robotics, {ICINCO} 2017, Madrid, Spain, July
26-28, 2017, Volume 2},
pages = {549--555},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006397205490555},
doi = {10.5220/0006397205490555},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/JimenezZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BeckertCUVW17,
author = {Bernhard Beckert and
Suhyun Cha and
Mattias Ulbrich and
Birgit Vogel{-}Heuser and
Alexander Weigl},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Generalised Test Tables: {A} Practical Specification Language for
Reactive Systems},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {129--144},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_9},
doi = {10.1007/978-3-319-66845-1\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BeckertCUVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WurthingerWHWSS17,
author = {Thomas W{\"{u}}rthinger and
Christian Wimmer and
Christian Humer and
Andreas W{\"{o}}{\ss} and
Lukas Stadler and
Chris Seaton and
Gilles Duboscq and
Doug Simon and
Matthias Grimmer},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Practical partial evaluation for high-performance dynamic language
runtimes},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {662--676},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062381},
doi = {10.1145/3062341.3062381},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WurthingerWHWSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/QuirchmayrPKK17,
author = {Thomas Quirchmayr and
Barbara Paech and
Roland Kohl and
Hannes Karey},
editor = {Paul Gr{\"{u}}nbacher and
Anna Perini},
title = {Semi-automatic Software Feature-Relevant Information Extraction from
Natural Language User Manuals - An Approach and Practical Experience
at Roche Diagnostics GmbH},
booktitle = {Requirements Engineering: Foundation for Software Quality - 23rd International
Working Conference, {REFSQ} 2017, Essen, Germany, February 27 - March
2, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10153},
pages = {255--272},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-54045-0\_19},
doi = {10.1007/978-3-319-54045-0\_19},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/refsq/QuirchmayrPKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HorcasPF17a,
author = {Jos{\'{e}} Miguel Horcas and
M{\'{o}}nica Pinto and
Lidia Fuentes},
editor = {Maurice H. ter Beek and
Walter Cazzola and
Oscar D{\'{\i}}az and
Marcello La Rosa and
Roberto E. Lopez{-}Herrejon and
Thomas Th{\"{u}}m and
Javier Troya and
Antonio Ruiz Cort{\'{e}}s and
David Benavides},
title = {Extending the Common Variability Language {(CVL)} Engine: {A} practical
tool},
booktitle = {Proceedings of the 21st International Systems and Software Product
Line Conference, {SPLC} 2017, Volume B, Sevilla, Spain, September
25-29, 2017},
pages = {32--37},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3109729.3109749},
doi = {10.1145/3109729.3109749},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/HorcasPF17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/WarnkeU17,
author = {Tom Warnke and
Adelinde M. Uhrmacher},
title = {Practical expressiveness of internal and external domain-specific
modeling languages},
booktitle = {2017 Winter Simulation Conference, {WSC} 2017, Las Vegas, NV, USA,
December 3-6, 2017},
pages = {4566--4567},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/WSC.2017.8248207},
doi = {10.1109/WSC.2017.8248207},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/wsc/WarnkeU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2017,
editor = {Yuliya Lierler and
Walid Taha},
title = {Practical Aspects of Declarative Languages - 19th International Symposium,
{PADL} 2017, Paris, France, January 16-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10137},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51676-9},
doi = {10.1007/978-3-319-51676-9},
isbn = {978-3-319-51675-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MandrioliP17,
author = {Dino Mandrioli and
Matteo Pradella},
title = {Generalizing input-driven languages: theoretical and practical benefits},
journal = {CoRR},
volume = {abs/1705.00984},
year = {2017},
url = {http://arxiv.org/abs/1705.00984},
eprinttype = {arXiv},
eprint = {1705.00984},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MandrioliP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-09756,
author = {Jean{-}Philippe Bernardy and
Mathieu Boespflug and
Ryan R. Newton and
Simon Peyton Jones and
Arnaud Spiwack},
title = {Linear Haskell: practical linearity in a higher-order polymorphic
language},
journal = {CoRR},
volume = {abs/1710.09756},
year = {2017},
url = {http://arxiv.org/abs/1710.09756},
eprinttype = {arXiv},
eprint = {1710.09756},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-09756.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/DengGXGDS17,
author = {Shuwen Deng and
Doguhan G{\"{u}}m{\"{u}}soglu and
Wenjie Xiong and
Y. Serhan Gener and
Onur Demir and
Jakub Szefer},
title = {SecChisel: Language and Tool for Practical and Scalable Security Verification
of Security-Aware Hardware Architectures},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {193},
year = {2017},
url = {http://eprint.iacr.org/2017/193},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/DengGXGDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Ha2016,
author = {Robert Harper},
title = {Practical Foundations for Programming Languages (2nd. Ed.)},
publisher = {Cambridge University Press},
year = {2016},
url = {https://www.cs.cmu.edu/\&\#126;rwh/pfpl/index.html},
isbn = {9781107150300},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/Ha2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Rastogi16,
author = {Aseem Rastogi},
title = {Language-based Techniques for Practical and Trustworthy Secure Multi-party
Computations},
school = {University of Maryland, College Park, MD, {USA}},
year = {2016},
url = {https://hdl.handle.net/1903/18541},
doi = {10.13016/M2B50G},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Rastogi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Fritsch16,
author = {J{\"{o}}rg Fritsch},
title = {Functional programming languages in computing clouds : practical and
theoretical explorations},
school = {Cardiff University, {UK}},
year = {2016},
url = {http://orca.cf.ac.uk/96984/},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Fritsch16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aist/SmirnovM16,
author = {Andrei Smirnov and
Valentin Mendelev},
editor = {Dmitry I. Ignatov and
Mikhail Yu. Khachay and
Valeri G. Labunets and
Natalia V. Loukachevitch and
Sergey I. Nikolenko and
Alexander Panchenko and
Andrey V. Savchenko and
Konstantin V. Vorontsov},
title = {Applying Word Embeddings to Leverage Knowledge Available in One Language
in Order to Solve a Practical Text Classification Problem in Another
Language},
booktitle = {Analysis of Images, Social Networks and Texts - 5th International
Conference, {AIST} 2016, Yekaterinburg, Russia, April 7-9, 2016, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {661},
pages = {248--254},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-52920-2\_23},
doi = {10.1007/978-3-319-52920-2\_23},
timestamp = {Wed, 09 Jun 2021 16:01:51 +0200},
biburl = {https://dblp.org/rec/conf/aist/SmirnovM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/HadasL16a,
author = {Arik Hadas and
David H. Lorenz},
editor = {Lidia Fuentes and
Don S. Batory and
Krzysztof Czarnecki},
title = {Toward practical language oriented modularity},
booktitle = {Companion Proceedings of the 15th International Conference on Modularity,
M{\'{a}}laga, Spain, March 14 - 18, 2016},
pages = {94--98},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2892664.2892678},
doi = {10.1145/2892664.2892678},
timestamp = {Fri, 30 Dec 2022 23:08:53 +0100},
biburl = {https://dblp.org/rec/conf/aosd/HadasL16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cori/AbdulkareemE16,
author = {Zainab Abdulkareem and
Emmanuel E. Effiong},
editor = {Yetunde Folajimi and
John Oladosu},
title = {YorCALL: Improving and Sustaining Yoruba Language through a Practical
Iterative Learning Approach},
booktitle = {Proceedings of the 2nd International Conference on Computing Research
and Innovations, Ibadan, Nigeria, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1755},
pages = {1--5},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1755/1-5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/cori/AbdulkareemE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/UittoRL16,
author = {Joni Uitto and
Sampsa Rauti and
Ville Lepp{\"{a}}nen},
editor = {Joseph P. Trien and
Stacy J. Prowell and
John R. Goodall and
Robert A. Bridges},
title = {Practical implications and requirements of diversifying interpreted
languages},
booktitle = {Proceedings of the 11th Annual Cyber and Information Security Research
Conference, {CISRC} 2016, Oak Ridge, TN, USA, April 5-7, 2016},
pages = {14:1--14:4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897795.2897796},
doi = {10.1145/2897795.2897796},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csiirw/UittoRL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icycsee/ChenZL16,
author = {Huipeng Chen and
Yingtao Zhang and
Songbo Liu},
editor = {Wanxiang Che and
Qilong Han and
Hongzhi Wang and
Weipeng Jing and
Shaoliang Peng and
Junyu Lin and
Guanglu Sun and
Xianhua Song and
Hongtao Song and
Zeguang Lu},
title = {Exploration of {C} Language Practical Teaching Method Based on Project
Learning},
booktitle = {Social Computing - Second International Conference of Young Computer
Scientists, Engineers and Educators, {ICYCSEE} 2016, Harbin, China,
August 20-22, 2016, Proceedings, Part {II}},
series = {Communications in Computer and Information Science},
volume = {624},
pages = {21--25},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-981-10-2098-8\_3},
doi = {10.1007/978-981-10-2098-8\_3},
timestamp = {Thu, 15 Feb 2024 16:58:31 +0100},
biburl = {https://dblp.org/rec/conf/icycsee/ChenZL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/LiBKT16,
author = {Daoyuan Li and
Tegawend{\'{e}} F. Bissyand{\'{e}} and
Jacques Klein and
Yves Le Traon},
editor = {Henrik Bostr{\"{o}}m and
Arno J. Knobbe and
Carlos Soares and
Panagiotis Papapetrou},
title = {DSCo-NG: {A} Practical Language Modeling Approach for Time Series
Classification},
booktitle = {Advances in Intelligent Data Analysis {XV} - 15th International Symposium,
{IDA} 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9897},
pages = {1--13},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46349-0\_1},
doi = {10.1007/978-3-319-46349-0\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ida/LiBKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithet/JungCKC16,
author = {Inho Jung and
Jaewoong Choi and
In{-}Jung Kim and
Changbeom Choi},
title = {Interactive learning environment for practical programming language
based on web service},
booktitle = {15th International Conference on Information Technology Based Higher
Education and Training, {ITHET} 2016, Istanbul, Turkey, September
8-10, 2016},
pages = {1--7},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ITHET.2016.7760705},
doi = {10.1109/ITHET.2016.7760705},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ithet/JungCKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Kuramitsu16,
author = {Kimio Kuramitsu},
editor = {Eelco Visser and
Emerson R. Murphy{-}Hill and
Cristina V. Lopes},
title = {Nez: practical open grammar language},
booktitle = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
Reflections on Programming and Software, Onward! 2016, Amsterdam,
The Netherlands, November 2-4, 2016},
pages = {29--42},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2986012.2986019},
doi = {10.1145/2986012.2986019},
timestamp = {Tue, 27 Dec 2022 12:44:40 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/Kuramitsu16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2016,
editor = {Marco Gavanelli and
John H. Reppy},
title = {Practical Aspects of Declarative Languages - 18th International Symposium,
{PADL} 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9585},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28228-2},
doi = {10.1007/978-3-319-28228-2},
isbn = {978-3-319-28227-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WilliamsBRADD16,
author = {Jake Ryland Williams and
James P. Bagrow and
Andrew J. Reagan and
Sharon E. Alajajian and
Christopher M. Danforth and
Peter Sheridan Dodds},
title = {Selection models of language production support informed text partitioning:
an intuitive and practical, bag-of-phrases framework for text analysis},
journal = {CoRR},
volume = {abs/1601.07969},
year = {2016},
url = {http://arxiv.org/abs/1601.07969},
eprinttype = {arXiv},
eprint = {1601.07969},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WilliamsBRADD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/King15,
author = {Benjamin Philip King},
title = {Practical Natural Language Processing for Low-Resource Languages},
school = {University of Michigan, {USA}},
year = {2015},
url = {https://hdl.handle.net/2027.42/113373},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/King15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/UzunerS15,
author = {{\"{O}}zlem Uzuner and
Amber Stubbs},
title = {Practical applications for natural language processing in clinical
research: The 2014 i2b2/UTHealth shared tasks},
journal = {J. Biomed. Informatics},
volume = {58},
pages = {S1--S5},
year = {2015},
url = {https://doi.org/10.1016/j.jbi.2015.10.007},
doi = {10.1016/J.JBI.2015.10.007},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jbi/UzunerS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BernardyC15,
author = {Jean{-}Philippe Bernardy and
Koen Claessen},
title = {Efficient parallel and incremental parsing of practical context-free
languages},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S0956796815000131},
doi = {10.1017/S0956796815000131},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BernardyC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/llc/HladkaH15,
author = {Barbora Hladk{\'{a}} and
Martin Holub},
title = {A Gentle Introduction to Machine Learning for Natural Language Processing:
How to Start in 16 Practical Steps},
journal = {Lang. Linguistics Compass},
volume = {9},
number = {2},
pages = {55--76},
year = {2015},
url = {https://doi.org/10.1111/lnc3.12123},
doi = {10.1111/LNC3.12123},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/llc/HladkaH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/KimCYK15,
author = {Minho Kim and
Sung{-}Ki Choi and
Ae{-}sun Yoon and
Hyuk{-}Chul Kwon},
editor = {Yulei Wu and
Geyong Min and
Nektarios Georgalas and
Jia Hu and
Luigi Atzori and
Xiaolong Jin and
Stephen A. Jarvis and
Lei (Chris) Liu and
Ram{\'{o}}n Ag{\"{u}}ero Calvo},
title = {Practical Target Word Selection Method in Korean to Korean Sign Language
Machine Translation},
booktitle = {15th {IEEE} International Conference on Computer and Information Technology,
{CIT} 2015; 14th {IEEE} International Conference on Ubiquitous Computing
and Communications, {IUCC} 2015; 13th {IEEE} International Conference
on Dependable, Autonomic and Secure Computing, {DASC} 2015; 13th {IEEE}
International Conference on Pervasive Intelligence and Computing,
PICom 2015, Liverpool, United Kingdom, October 26-28, 2015},
pages = {931--934},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CIT/IUCC/DASC/PICOM.2015.140},
doi = {10.1109/CIT/IUCC/DASC/PICOM.2015.140},
timestamp = {Thu, 22 Oct 2020 17:33:50 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcit/KimCYK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YueAZ15,
author = {Tao Yue and
Shaukat Ali and
Man Zhang},
editor = {Michal Young and
Tao Xie},
title = {{RTCM:} a natural language based, automated, and practical test case
generation framework},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {397--408},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771799},
doi = {10.1145/2771783.2771799},
timestamp = {Mon, 27 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/YueAZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/EakmanRHJM15,
author = {Greg Eakman and
Howard Reubenstein and
Tom Hawkins and
Mitesh Jain and
Panagiotis Manolios},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Practical Formal Verification of Domain-Specific Language Applications},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {443--449},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_34},
doi = {10.1007/978-3-319-17524-9\_34},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/EakmanRHJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MichaudD15,
author = {Thibaud Michaud and
Alexandre Duret{-}Lutz},
editor = {Bernd Fischer and
Jaco Geldenhuys},
title = {Practical Stutter-Invariance Checks for {\(\omega\)}-Regular Languages},
booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9232},
pages = {84--101},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23404-5\_7},
doi = {10.1007/978-3-319-23404-5\_7},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/MichaudD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2015,
editor = {Enrico Pontelli and
Tran Cao Son},
title = {Practical Aspects of Declarative Languages - 17th International Symposium,
{PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9131},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19686-2},
doi = {10.1007/978-3-319-19686-2},
isbn = {978-3-319-19685-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kuramitsu15b,
author = {Kimio Kuramitsu},
title = {Nez: practical open grammar language},
journal = {CoRR},
volume = {abs/1511.08307},
year = {2015},
url = {http://arxiv.org/abs/1511.08307},
eprinttype = {arXiv},
eprint = {1511.08307},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kuramitsu15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/DerlerS15a,
author = {David Derler and
Daniel Slamanig},
title = {Practical Witness Encryption for Algebraic Languages And How to Reply
an Unknown Whistleblower},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1073},
year = {2015},
url = {http://eprint.iacr.org/2015/1073},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/DerlerS15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Watt14,
author = {David Watt},
title = {Review: \emph{Practical Foundations for Programming Languages}, by
Robert Harper, Cambridge University Press, New York, December2012,
English, {ISBN-10:} 1107029570, Hardcover, 487 pp},
journal = {J. Funct. Program.},
volume = {24},
number = {4},
pages = {523},
year = {2014},
url = {https://doi.org/10.1017/S095679681400015X},
doi = {10.1017/S095679681400015X},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Watt14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/CordyDS14,
author = {James R. Cordy and
Thomas R. Dean and
Nikita Synytskyy},
editor = {Joanna Ng and
Jin Li and
Ken Wong},
title = {Practical language-independent detection of near-miss clones},
booktitle = {Proceedings of 24th Annual International Conference on Computer Science
and Software Engineering, {CASCON} 2014, Markham, Ontario, Canada,
3-5 November, 2014},
pages = {2},
publisher = {{IBM} / {ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2735524},
timestamp = {Wed, 27 Jan 2016 19:48:56 +0100},
biburl = {https://dblp.org/rec/conf/cascon/CordyDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/YanXYR14,
author = {Dacong Yan and
Guoqing Xu and
Shengqian Yang and
Atanas Rountev},
editor = {David R. Kaeli and
Tipp Moseley},
title = {LeakChecker: Practical Static Memory Leak Detection for Managed Languages},
booktitle = {12th Annual {IEEE/ACM} International Symposium on Code Generation
and Optimization, {CGO} 2014, Orlando, FL, USA, February 15-19, 2014},
pages = {87},
publisher = {{ACM}},
year = {2014},
url = {https://dl.acm.org/citation.cfm?id=2544151},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/YanXYR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/GraciaVMFBD14,
author = {Jorge Gracia and
Daniel Vila{-}Suero and
John Philip McCrae and
Tiziano Flati and
Ciro Baron and
Milan Dojchinovski},
editor = {Patrick Lambrix and
Eero Hyv{\"{o}}nen and
Eva Blomqvist and
Valentina Presutti and
Guilin Qi and
Uli Sattler and
Ying Ding and
Chiara Ghidini},
title = {Language Resources and Linked Data: {A} Practical Perspective},
booktitle = {Knowledge Engineering and Knowledge Management - {EKAW} 2014 Satellite
Events, VISUAL, EKM1, and ARCOE-Logic, Link{\"{o}}ping, Sweden,
November 24-28, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8982},
pages = {3--17},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17966-7\_1},
doi = {10.1007/978-3-319-17966-7\_1},
timestamp = {Wed, 03 Aug 2022 17:12:19 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/GraciaVMFBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Umatani14,
author = {Seiji Umatani},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Practical implementation techniques of ambient calculus in conventional
dynamic languages},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1345--1351},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2554995},
doi = {10.1145/2554850.2554995},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/Umatani14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcars/BezerraB14,
author = {Daniella Rodrigues Bezerra and
Raimundo da Silva Barreto},
title = {Domain Engineering: {A} Practical Application in Analysis and Design
of a Generative Query Language},
booktitle = {Eighth Brazilian Symposium on Software Components, Architectures and
Reuse, {SBCARS} 2014, Macei{\'{o}}, Alagoas, Brazil, September
29-30, 2014},
pages = {53--63},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SBCARS.2014.20},
doi = {10.1109/SBCARS.2014.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbcars/BezerraB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigite/TsangGA14,
author = {Ethan Tsang and
Collette Gavan and
Mark Anderson},
editor = {Becky Rutherfoord and
Lei Li and
Susan Van de Ven and
Amber Settle and
Terry Steinbach},
title = {The practical application of LEGO{\textregistered} MINDSTORMS{\textregistered}
robotics kits: does it enhance undergraduate computing students' engagement
in learning the Java programming language?},
booktitle = {Proceedings of the 15th Annual Conference on Information Technology
Education, {SIGITE} 2014, Atlanta, Georgia, USA, October 15-18, 2014},
pages = {121--126},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2656450.2656454},
doi = {10.1145/2656450.2656454},
timestamp = {Mon, 11 Jul 2022 17:20:32 +0200},
biburl = {https://dblp.org/rec/conf/sigite/TsangGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2014,
editor = {Matthew Flatt and
Hai{-}Feng Guo},
title = {Practical Aspects of Declarative Languages - 16th International Symposium,
{PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8324},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04132-2},
doi = {10.1007/978-3-319-04132-2},
isbn = {978-3-319-04131-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/Sanchez-de-MadariagaCTSPMSM13,
author = {Ricardo S{\'{a}}nchez{-}de{-}Madariaga and
Adolfo Mu{\~{n}}oz Carrero and
Jes{\'{u}}s C{\'{a}}ceres Tello and
Roberto Somolinos and
Mario Pascual Carrasco and
Ignacio Mart{\'{\i}}nez and
Carlos Hern{\'{a}}ndez Salvador and
Jose Luis Monteagudo},
title = {ccML, a new mark-up language to improve {ISO/EN} 13606-based electronic
health record extracts practical edition},
journal = {J. Am. Medical Informatics Assoc.},
volume = {20},
number = {2},
pages = {298--304},
year = {2013},
url = {https://doi.org/10.1136/amiajnl-2011-000722},
doi = {10.1136/AMIAJNL-2011-000722},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jamia/Sanchez-de-MadariagaCTSPMSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Balduccini13,
author = {Marcello Balduccini},
title = {{ASP} with non-herbrand partial functions: a language and system for
practical use},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {547--561},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000343},
doi = {10.1017/S1471068413000343},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Balduccini13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/AnglesBR13,
author = {Renzo Angles and
Pablo Barcel{\'{o}} and
Gonzalo Rios},
editor = {Loreto Bravo and
Maurizio Lenzerini},
title = {A Practical Query Language for Graph DBs},
booktitle = {Proceedings of the 7th Alberto Mendelzon International Workshop on
Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1087},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1087/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/AnglesBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BernardyC13,
author = {Jean{-}Philippe Bernardy and
Koen Claessen},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Efficient divide-and-conquer parsing of practical context-free languages},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {111--122},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500576},
doi = {10.1145/2500365.2500576},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BernardyC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CheneyLW13,
author = {James Cheney and
Sam Lindley and
Philip Wadler},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {A practical theory of language-integrated query},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {403--416},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500586},
doi = {10.1145/2500365.2500586},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CheneyLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/MuehlenR13,
author = {Michael zur Muehlen and
Jan Recker},
editor = {Janis A. Bubenko Jr. and
John Krogstie and
Oscar Pastor and
Barbara Pernici and
Colette Rolland and
Arne S{\o}lvberg},
title = {How Much Language Is Enough? Theoretical and Practical Use of the
Business Process Modeling Notation},
booktitle = {Seminal Contributions to Information Systems Engineering, 25 Years
of CAiSE},
pages = {429--443},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36926-1\_35},
doi = {10.1007/978-3-642-36926-1\_35},
timestamp = {Mon, 18 Jan 2021 08:56:27 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/MuehlenR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2013,
editor = {Konstantinos Sagonas},
title = {Practical Aspects of Declarative Languages - 15th International Symposium,
{PADL} 2013, Rome, Italy, January 21-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7752},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45284-0},
doi = {10.1007/978-3-642-45284-0},
isbn = {978-3-642-45283-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BiggarVG12,
author = {Paul Biggar and
Edsko de Vries and
David Gregg},
title = {A practical solution for achieving language compatibility in scripting
language compilers},
journal = {Sci. Comput. Program.},
volume = {77},
number = {9},
pages = {971--989},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.01.004},
doi = {10.1016/J.SCICO.2011.01.004},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BiggarVG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/ChoukriAHP12,
author = {Khalid Choukri and
Victoria Arranz and
Olivier Hamon and
Jungyeul Park},
editor = {Nicoletta Calzolari and
Khalid Choukri and
Thierry Declerck and
Mehmet Ugur Dogan and
Bente Maegaard and
Joseph Mariani and
Jan Odijk and
Stelios Piperidis},
title = {Using the International Standard Language Resource Number: Practical
and Technical Aspects},
booktitle = {Proceedings of the Eighth International Conference on Language Resources
and Evaluation, {LREC} 2012, Istanbul, Turkey, May 23-25, 2012},
pages = {50--54},
publisher = {European Language Resources Association {(ELRA)}},
year = {2012},
url = {http://www.lrec-conf.org/proceedings/lrec2012/summaries/842.html},
timestamp = {Mon, 19 Aug 2019 14:40:54 +0200},
biburl = {https://dblp.org/rec/conf/lrec/ChoukriAHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MullerC12,
author = {Stefan K. Muller and
Stephen Chong},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Towards a practical secure concurrent language},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {57--74},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384621},
doi = {10.1145/2384616.2384621},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MullerC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ProcterHS12,
author = {Adam M. Procter and
William L. Harrison and
Aaron Stump},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {The Design of a Practical Proof Checker for a Lazy Functional Language},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {117--132},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_8},
doi = {10.1007/978-3-642-40447-4\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/ProcterHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2012,
editor = {Claudio V. Russo and
Neng{-}Fa Zhou},
title = {Practical Aspects of Declarative Languages - 14th International Symposium,
{PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7149},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27694-1},
doi = {10.1007/978-3-642-27694-1},
isbn = {978-3-642-27693-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-2765,
author = {Taha Yasseri and
Andr{\'{a}}s Kornai and
J{\'{a}}nos Kert{\'{e}}sz},
title = {A practical approach to language complexity: a Wikipedia case study},
journal = {CoRR},
volume = {abs/1204.2765},
year = {2012},
url = {http://arxiv.org/abs/1204.2765},
eprinttype = {arXiv},
eprint = {1204.2765},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-2765.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/Monson11,
author = {Christian Monson},
title = {A Resource-Light Approach to Morpho-Syntactic Tagging Anna Feldman\({}^{\mbox{*}}\)
and Jirka Hana\({}^{\mbox{{\textdaggerdbl}}}\) (\({}^{\mbox{*}}\)Montclair
State University, \({}^{\mbox{{\textdaggerdbl}}}\)Charles University)
Amsterdam: Rodopi (Language and computers: Studies in practical linguistics,
volume 70), 2010, xiv+185 pp; hardbound, {ISBN} 978-90-420-2768-8,
{\mbox{\texteuro}}40.00},
journal = {Comput. Linguistics},
volume = {37},
number = {1},
pages = {253--254},
year = {2011},
url = {https://doi.org/10.1162/coli\_r\_00042},
doi = {10.1162/COLI\_R\_00042},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coling/Monson11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/Sarkar11,
author = {Anoop Sarkar},
title = {Parsing Schemata for Practical Text Analysis Carlos G{\'{o}}mez
Rodr{\'{\i}}guez (University of {A} Coru{\~{n}}a) London: Imperial
College Press (Mathematics, computing, language, and life series,
edited by Carlos Martin-Vide, volume 1), 2010, xiv+275 pp; hardbound,
{ISBN} 978-1-84816-560-1, {\textdollar}89.00},
journal = {Comput. Linguistics},
volume = {37},
number = {4},
pages = {881--884},
year = {2011},
url = {https://doi.org/10.1162/COLI\_r\_00081},
doi = {10.1162/COLI\_R\_00081},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coling/Sarkar11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmso/GilVH11,
author = {Inigo San Gil and
Kristin Vanderbilt and
Steve A. Harrington},
title = {Examples of ecological data synthesis driven by rich metadata, and
practical guidelines to use the Ecological Metadata Language specification
to this end},
journal = {Int. J. Metadata Semant. Ontologies},
volume = {6},
number = {1},
pages = {46--55},
year = {2011},
url = {https://doi.org/10.1504/IJMSO.2011.042489},
doi = {10.1504/IJMSO.2011.042489},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmso/GilVH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/JonesMP11,
author = {Stephen E. Jones and
Shamseldeen Y. Mahmoud and
Michael D. Phillips},
title = {A practical clinical method to quantify language lateralization in
fMRI using whole-brain analysis},
journal = {NeuroImage},
volume = {54},
number = {4},
pages = {2937--2949},
year = {2011},
url = {https://doi.org/10.1016/j.neuroimage.2010.10.052},
doi = {10.1016/J.NEUROIMAGE.2010.10.052},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neuroimage/JonesMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OhoriU11,
author = {Atsushi Ohori and
Katsuhiro Ueno},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Making standard {ML} a practical database programming language},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {307--319},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034815},
doi = {10.1145/2034773.2034815},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/OhoriU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmlc/FangTGC11,
author = {Wencheng Fang and
Isao Takahashi and
Yuichi Goto and
Jingde Cheng},
title = {Practical implementation of {EPLAS:} An Epistemic Programming Language
for all scientists},
booktitle = {International Conference on Machine Learning and Cybernetics, {ICMLC}
2011, Guilin, China, July 10-13, 2011, Proceedings},
pages = {608--616},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICMLC.2011.6016780},
doi = {10.1109/ICMLC.2011.6016780},
timestamp = {Fri, 13 Aug 2021 09:26:01 +0200},
biburl = {https://dblp.org/rec/conf/icmlc/FangTGC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HauptPH11,
author = {Michael Haupt and
Michael Perscheid and
Robert Hirschfeld},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Type harvesting: a practical approach to obtaining typing information
in dynamic programming languages},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {1282--1289},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982464},
doi = {10.1145/1982185.1982464},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/HauptPH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2011,
editor = {Ricardo Rocha and
John Launchbury},
title = {Practical Aspects of Declarative Languages - 13th International Symposium,
{PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6539},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18378-2},
doi = {10.1007/978-3-642-18378-2},
isbn = {978-3-642-18377-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ws/Gomez-Rodriguez10,
author = {Carlos G{\'{o}}mez{-}Rodr{\'{\i}}guez},
title = {Parsing Schemata for Practical Text Analysis},
series = {Mathematics, Computing, Language, and Life: Frontiers in Mathematical
Linguistics and Language Theory},
volume = {1},
publisher = {World Scientific},
year = {2010},
url = {https://doi.org/10.1142/p714},
doi = {10.1142/P714},
isbn = {978-1-84816-560-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ws/Gomez-Rodriguez10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MoodyBES10,
author = {Ken Moody and
Jean Bacon and
David Evans and
Scarlet Schwiderski{-}Grosche},
editor = {Kai Sachs and
Ilia Petrov and
Pablo Ezequiel Guerrero},
title = {Implementing a Practical Spatio-Temporal Composite Event Language},
booktitle = {From Active Data Management to Event-Based Systems and More - Papers
in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6462},
pages = {108--123},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17226-7\_7},
doi = {10.1007/978-3-642-17226-7\_7},
timestamp = {Mon, 21 Mar 2022 08:53:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MoodyBES10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/KhemakhemGH10,
author = {A{\"{\i}}da Khemakhem and
Bilel Gargouri and
Abdelmajid Ben Hamadou},
title = {An Approach of Generating Personalized Views from Normalized Electronic
Dictionaries : {A} Practical Experiment on Arabic Language},
booktitle = {Proceedings of the 2010 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2010, 9-11 October 2010, {MIT} Stata
Center, Massachusetts, USA, {A} meeting of SIGDAT, a Special Interest
Group of the {ACL}},
pages = {953--960},
publisher = {{ACL}},
year = {2010},
url = {https://aclanthology.org/D10-1093/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/KhemakhemGH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/LeAWY10,
author = {Hai Son Le and
Alexandre Allauzen and
Guillaume Wisniewski and
Fran{\c{c}}ois Yvon},
title = {Training Continuous Space Language Models: Some Practical Issues},
booktitle = {Proceedings of the 2010 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2010, 9-11 October 2010, {MIT} Stata
Center, Massachusetts, USA, {A} meeting of SIGDAT, a Special Interest
Group of the {ACL}},
pages = {778--788},
publisher = {{ACL}},
year = {2010},
url = {https://aclanthology.org/D10-1076/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/LeAWY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iaai/LeuskiT10,
author = {Anton Leuski and
David R. Traum},
editor = {Nestor Rychtyckyj and
Daniel G. Shapiro},
title = {Practical Language Processing for Virtual Humans},
booktitle = {Proceedings of the Twenty-Second Conference on Innovative Applications
of Artificial Intelligence, July 11-15, 2010, Atlanta, Georgia, {USA}},
pages = {1740--1747},
publisher = {{AAAI}},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i2.18806},
doi = {10.1609/AAAI.V24I2.18806},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iaai/LeuskiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/BeckerMB10,
author = {Moritz Y. Becker and
Alexander Malkis and
Laurent Bussard},
editor = {Somesh Jha and
Anish Mathuria},
title = {A Practical Generic Privacy Language},
booktitle = {Information Systems Security - 6th International Conference, {ICISS}
2010, Gandhinagar, India, December 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6503},
pages = {125--139},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17714-9\_10},
doi = {10.1007/978-3-642-17714-9\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/iciss/BeckerMB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/GuoE10,
author = {Philip J. Guo and
Dawson R. Engler},
editor = {Margo I. Seltzer and
Wang{-}Chiew Tan},
title = {Towards Practical Incremental Recomputation for Scientists: An Implementation
for the Python Language},
booktitle = {2nd Workshop on the Theory and Practice of Provenance, TaPP'10, San
Jose, CA, USA, February 22, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/tapp-10/towards-practical-incremental-recomputation-scientists-implementation-python},
timestamp = {Tue, 02 Feb 2021 08:04:56 +0100},
biburl = {https://dblp.org/rec/conf/tapp/GuoE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/BlockeelCFGPR10,
author = {Hendrik Blockeel and
Toon Calders and
{\'{E}}lisa Fromont and
Bart Goethals and
Adriana Prado and
C{\'{e}}line Robardet},
editor = {Saso Dzeroski and
Bart Goethals and
Pance Panov},
title = {A Practical Comparative Study Of Data Mining Query Languages},
booktitle = {Inductive Databases and Constraint-Based Data Mining},
pages = {59--77},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-7738-0\_3},
doi = {10.1007/978-1-4419-7738-0\_3},
timestamp = {Sat, 09 Apr 2022 12:20:03 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/BlockeelCFGPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2010,
editor = {Manuel Carro and
Ricardo Pe{\~{n}}a},
title = {Practical Aspects of Declarative Languages, 12th International Symposium,
{PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5937},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11503-5},
doi = {10.1007/978-3-642-11503-5},
isbn = {978-3-642-11502-8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/HaldimanDN09,
author = {Niklaus Haldiman and
Marcus Denker and
Oscar Nierstrasz},
title = {Practical, pluggable types for a dynamic language},
journal = {Comput. Lang. Syst. Struct.},
volume = {35},
number = {1},
pages = {48--62},
year = {2009},
url = {https://doi.org/10.1016/j.cl.2008.06.003},
doi = {10.1016/J.CL.2008.06.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/HaldimanDN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ets/Kilickaya07a,
author = {Ferit Kili{\c{c}}kaya},
title = {Tips for Teaching with {CALL:} Practical Approaches to Computer-assisted
Language Learning},
journal = {J. Educ. Technol. Soc.},
volume = {12},
number = {2},
pages = {337--338},
year = {2009},
url = {http://www.ifets.info/download\_pdf.php?j\_id=43\&a\_id=950},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ets/Kilickaya07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/DagandBR09,
author = {Pierre{-}{\'{E}}variste Dagand and
Andrew Baumann and
Timothy Roscoe},
title = {Filet-o-fish: practical and dependable domain-specific languages for
{OS} development},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {43},
number = {4},
pages = {35--39},
year = {2009},
url = {https://doi.org/10.1145/1713254.1713263},
doi = {10.1145/1713254.1713263},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/DagandBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/TomaiF09,
author = {Emmett Tomai and
Kenneth D. Forbus},
editor = {H. Chad Lane and
Hans W. Guesgen},
title = {{EA} {NLU:} Practical Language Understanding for Cognitive Modeling},
booktitle = {Proceedings of the Twenty-Second International Florida Artificial
Intelligence Research Society Conference, May 19-21, 2009, Sanibel
Island, Florida, {USA}},
publisher = {{AAAI} Press},
year = {2009},
url = {http://aaai.org/ocs/index.php/FLAIRS/2009/paper/view/135},
timestamp = {Wed, 26 Oct 2022 08:35:22 +0200},
biburl = {https://dblp.org/rec/conf/flairs/TomaiF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psec/MaedaY09,
author = {Toshiyuki Maeda and
Akinori Yonezawa},
editor = {V{\'{e}}ronique Cortier and
Claude Kirchner and
Mitsuhiro Okada and
Hideki Sakurada},
title = {Writing an {OS} Kernel in a Strictly and Statically Typed Language},
booktitle = {Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese
Collaboration},
series = {Lecture Notes in Computer Science},
volume = {5458},
pages = {181--197},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02002-5\_10},
doi = {10.1007/978-3-642-02002-5\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/psec/MaedaY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BiggarVG09,
author = {Paul Biggar and
Edsko de Vries and
David Gregg},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {A practical solution for scripting language compilers},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1916--1923},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529709},
doi = {10.1145/1529282.1529709},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/BiggarVG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/DagandBR09,
author = {Pierre{-}{\'{E}}variste Dagand and
Andrew Baumann and
Timothy Roscoe},
editor = {Gilles Muller},
title = {Filet-o-Fish: practical and dependable domain-specific languages for
{OS} development},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {5:1--5:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745446},
doi = {10.1145/1745438.1745446},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/sosp/DagandBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2009,
editor = {Andy Gill and
Terrance Swift},
title = {Practical Aspects of Declarative Languages, 11th International Symposium,
{PADL} 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5418},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92995-6},
doi = {10.1007/978-3-540-92995-6},
isbn = {978-3-540-92994-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Cooper08,
author = {Gregory H. Cooper},
title = {Integrating Dataflow Evaluation into a Practical Higher-Order Call-by-Value
Language},
school = {Brown University, {USA}},
year = {2008},
url = {https://cs.brown.edu/research/pubs/theses/phd/2008/cooper.pdf},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Cooper08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/Dastani08,
author = {Mehdi Dastani},
title = {2APL: a practical agent programming language},
journal = {Auton. Agents Multi Agent Syst.},
volume = {16},
number = {3},
pages = {214--248},
year = {2008},
url = {https://doi.org/10.1007/s10458-008-9036-y},
doi = {10.1007/S10458-008-9036-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/Dastani08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csl/JeongL08,
author = {Minwoo Jeong and
Gary Geunbae Lee},
title = {Practical use of non-local features for statistical spoken language
understanding},
journal = {Comput. Speech Lang.},
volume = {22},
number = {2},
pages = {148--170},
year = {2008},
url = {https://doi.org/10.1016/j.csl.2007.07.001},
doi = {10.1016/J.CSL.2007.07.001},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csl/JeongL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Harper08,
author = {Robert Harper},
title = {Position paper: practical foundations for lrogramming languages},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {71--73},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480843},
doi = {10.1145/1480828.1480843},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Harper08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MuehlenR08,
author = {Michael zur Muehlen and
Jan Recker},
editor = {Zohra Bellahsene and
Michel L{\'{e}}onard},
title = {How Much Language Is Enough? Theoretical and Practical Use of the
Business Process Modeling Notation},
booktitle = {Advanced Information Systems Engineering, 20th International Conference,
CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5074},
pages = {465--479},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69534-9\_35},
doi = {10.1007/978-3-540-69534-9\_35},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/MuehlenR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csse/JiangqinFM08,
author = {Xu Jiangqin and
Liu Feng and
Jiang Min},
title = {Task-Based Language Teaching: From the Practical Perspective},
booktitle = {International Conference on Computer Science and Software Engineering,
{CSSE} 2008, Volume 4: Embedded Programming / Database Technology
/ Neural Networks and Applications / Other Applications, December
12-14, 2008, Wuhan, China},
pages = {1054--1057},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSSE.2008.1502},
doi = {10.1109/CSSE.2008.1502},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csse/JiangqinFM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Toni08,
author = {Francesca Toni},
editor = {Pompeu Casanovas and
Giovanni Sartor and
Nuria Casellas and
Rossella Rubino},
title = {Assumption-Based Argumentation for Epistemic and Practical Reasoning},
booktitle = {Computable Models of the Law, Languages, Dialogues, Games, Ontologies},
series = {Lecture Notes in Computer Science},
volume = {4884},
pages = {185--202},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85569-9\_12},
doi = {10.1007/978-3-540-85569-9\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Toni08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2008,
editor = {Paul Hudak and
David Scott Warren},
title = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6},
doi = {10.1007/978-3-540-77442-6},
isbn = {978-3-540-77441-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-5732,
author = {R. Nuriyev},
title = {Practical language based on systems of definitions},
journal = {CoRR},
volume = {abs/0810.5732},
year = {2008},
url = {http://arxiv.org/abs/0810.5732},
eprinttype = {arXiv},
eprint = {0810.5732},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0810-5732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Potanin07,
author = {Alex Potanin},
title = {Generic Ownership: a Practical Approach to Ownership and Confinement
in Object-Oriented Programming Languages},
school = {Victoria University of Wellington, New Zealand},
year = {2007},
url = {http://hdl.handle.net/10063/335},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Potanin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mt/Knight07,
author = {Kevin Knight},
title = {Capturing practical natural language transformations},
journal = {Mach. Transl.},
volume = {21},
number = {2},
pages = {121--133},
year = {2007},
url = {https://doi.org/10.1007/s10590-008-9039-0},
doi = {10.1007/S10590-008-9039-0},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mt/Knight07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DastaniHM07,
author = {Mehdi Dastani and
Dirk Hobo and
John{-}Jules Ch. Meyer},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {Practical extensions in agent programming languages},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {138},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329294},
doi = {10.1145/1329125.1329294},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/DastaniHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/DastaniM07,
author = {Mehdi Dastani and
John{-}Jules Ch. Meyer},
editor = {Mehdi Dastani and
Amal El Fallah Seghrouchni and
Alessandro Ricci and
Michael Winikoff},
title = {A Practical Agent Programming Language},
booktitle = {Programming Multi-Agent Systems, 5th International Workshop, ProMAS
2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4908},
pages = {107--123},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79043-3\_7},
doi = {10.1007/978-3-540-79043-3\_7},
timestamp = {Wed, 12 Aug 2020 21:55:20 +0200},
biburl = {https://dblp.org/rec/conf/promas/DastaniM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2007,
editor = {Michael Hanus},
title = {Practical Aspects of Declarative Languages, 9th International Symposium,
{PADL} 2007, Nice, France, January 14-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4354},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69611-7},
doi = {10.1007/978-3-540-69611-7},
isbn = {978-3-540-69608-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0707-3559,
author = {Wilson Wong},
title = {Practical Approach to Knowledge-based Question Answering with Natural
Language Understanding and Advanced Reasoning},
journal = {CoRR},
volume = {abs/0707.3559},
year = {2007},
url = {http://arxiv.org/abs/0707.3559},
eprinttype = {arXiv},
eprint = {0707.3559},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0707-3559.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cp/Benedetti06,
author = {Giulio Benedetti},
title = {Operational Noology as a new methodology for the study of thought
and language: theoretical aspects and possible practical applications},
journal = {Cogn. Process.},
volume = {7},
number = {4},
pages = {217--243},
year = {2006},
url = {https://doi.org/10.1007/s10339-006-0145-8},
doi = {10.1007/S10339-006-0145-8},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cp/Benedetti06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lalc/Knowles06,
author = {Gerry Knowles},
title = {Form and Function of Parasyntactic Presentation Structures: Corpus-based
Study of Talk Units in Spoken English.Joybrato Mukherjee. \emph{Language
and Computers: Studies in Practical Linguistics, Volume 35. Amsterdam:
Rodopi, 2001. viii + 163 pp. {ISBN} 90-420-1295-1. {\mbox{\texteuro}}
41/US{\textdollar} 55 (hardback)}},
journal = {Lit. Linguistic Comput.},
volume = {21},
number = {3},
pages = {380--382},
year = {2006},
url = {https://doi.org/10.1093/llc/fqi011},
doi = {10.1093/LLC/FQI011},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lalc/Knowles06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lalc/Kyto06,
author = {Merja Kyt{\"{o}}},
title = {New Frontiers of Corpus Research. Papers from the Twenty First International
Conference on English Language Research on Computerized Corpora. Sydney
2000 (Language and Computers: Studies in Practical Linguistics 36).Pam
Peters, Peter Collins, and Adam Smith (eds). \emph{Amsterdam-New York,
{NY:} Rodopi, 2002, 332 pp. {ISBN} 90-420-1237-4. {\textdollar}108/{\mbox{\texteuro}}80
(hardback)}},
journal = {Lit. Linguistic Comput.},
volume = {21},
number = {3},
pages = {382--384},
year = {2006},
url = {https://doi.org/10.1093/llc/fqi060},
doi = {10.1093/LLC/FQI060},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lalc/Kyto06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/SuttonTE06,
author = {David R. Sutton and
Paul Taylor and
Kenneth Earle},
title = {Evaluation of PROforma as a language for implementing medical guidelines
in a practical context},
journal = {{BMC} Medical Informatics Decis. Mak.},
volume = {6},
pages = {20},
year = {2006},
url = {https://doi.org/10.1186/1472-6947-6-20},
doi = {10.1186/1472-6947-6-20},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/midm/SuttonTE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/HicksAM06,
author = {Boniface Hicks and
Kiyan Ahmadizadeh and
Patrick D. McDaniel},
title = {From Languages to Systems: Understanding Practical Application Development
in Security-typed Languages},
booktitle = {22nd Annual Computer Security Applications Conference {(ACSAC} 2006),
11-15 December 2006, Miami Beach, Florida, {USA}},
pages = {153--164},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSAC.2006.30},
doi = {10.1109/ACSAC.2006.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/HicksAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiacrypt/Groth06,
author = {Jens Groth},
editor = {Xuejia Lai and
Kefei Chen},
title = {Simulation-Sound {NIZK} Proofs for a Practical Language and Constant
Size Group Signatures},
booktitle = {Advances in Cryptology - {ASIACRYPT} 2006, 12th International Conference
on the Theory and Application of Cryptology and Information Security,
Shanghai, China, December 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4284},
pages = {444--459},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11935230\_29},
doi = {10.1007/11935230\_29},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/asiacrypt/Groth06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/Moschitti06,
author = {Alessandro Moschitti},
editor = {Diana McCarthy and
Shuly Wintner},
title = {Making Tree Kernels Practical for Natural Language Learning},
booktitle = {{EACL} 2006, 11st Conference of the European Chapter of the Association
for Computational Linguistics, Proceedings of the Conference, April
3-7, 2006, Trento, Italy},
pages = {113--120},
publisher = {The Association for Computer Linguistics},
year = {2006},
url = {https://aclanthology.org/E06-1015/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/Moschitti06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/CuadradoMT06,
author = {Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
Jes{\'{u}}s Garc{\'{\i}}a Molina and
Marcos Men{\'{a}}rguez Tortosa},
editor = {Arend Rensink and
Jos Warmer},
title = {RubyTL: {A} Practical, Extensible Transformation Language},
booktitle = {Model Driven Architecture - Foundations and Applications, 2nd European
Conference, {ECMDA-FA} 2006, Bilbao, Spain, July 10-13, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4066},
pages = {158--172},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787044\_13},
doi = {10.1007/11787044\_13},
timestamp = {Wed, 24 Jun 2020 12:15:03 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/CuadradoMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sswmc/TopkaraRHA06,
author = {Mercan Topkara and
Giuseppe Riccardi and
Dilek Hakkani{-}T{\"{u}}r and
Mikhail J. Atallah},
editor = {Edward J. Delp III and
Ping Wah Wong},
title = {Natural language watermarking: Challenges in building a practical
system},
booktitle = {Security, Steganography, and Watermarking of Multimedia Contents VIII,
San Jose, CA, USA, January 15, 2006},
series = {{SPIE} Proceedings},
volume = {6072},
pages = {60720A},
publisher = {{SPIE}},
year = {2006},
url = {https://doi.org/10.1117/12.643560},
doi = {10.1117/12.643560},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sswmc/TopkaraRHA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/ChenD06a,
author = {Haiming Chen and
Yunmei Dong},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Angsheng Li},
title = {Towards Practical Computable Functions on Context-Free Languages},
booktitle = {Theory and Applications of Models of Computation, Third International
Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3959},
pages = {555--565},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11750321\_53},
doi = {10.1007/11750321\_53},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/ChenD06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2006,
editor = {Pascal Van Hentenryck},
title = {Practical Aspects of Declarative Languages, 8th International Symposium,
{PADL} 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3819},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11603023},
doi = {10.1007/11603023},
isbn = {3-540-30947-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Brady05,
author = {Edwin C. Brady},
title = {Practical implementation of a dependently typed functional programming
language},
school = {Durham University, {UK}},
year = {2005},
url = {http://etheses.dur.ac.uk/2800/},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Brady05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mt/ZongS05,
author = {Chengqing Zong and
Mark Seligman},
title = {Toward Practical Spoken Language Translation},
journal = {Mach. Transl.},
volume = {19},
number = {2},
pages = {113--137},
year = {2005},
url = {https://doi.org/10.1007/s10590-006-9000-z},
doi = {10.1007/S10590-006-9000-Z},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mt/ZongS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Boute05,
author = {Raymond T. Boute},
title = {Functional declarative language design and predicate calculus: a practical
approach},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {5},
pages = {988--1047},
year = {2005},
url = {https://doi.org/10.1145/1086642.1086647},
doi = {10.1145/1086642.1086647},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Boute05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpt/GaizauskasHSGH05,
author = {Robert J. Gaizauskas and
Mark Hepple and
Horacio Saggion and
Mark A. Greenwood and
Kevin Humphreys},
editor = {Harry Bunt and
Robert Malouf and
Alon Lavie},
title = {{SUPPLE:} {A} Practical Parser for Natural Language Engineering Applications},
booktitle = {Proceedings of the Ninth International Workshop on Parsing Technology,
{IWPT} 2005, Vancouver, Canada, October 9-10, 2005},
pages = {200--201},
publisher = {Association for Computational Linguistics},
year = {2005},
url = {https://aclanthology.org/W05-1527/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpt/GaizauskasHSGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PereraF05,
author = {Roly Perera and
Russ Freeman},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Beyond the language workbench: a runtime platform for practical semantic
computing},
booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {96--97},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094855.1094881},
doi = {10.1145/1094855.1094881},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PereraF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2005,
editor = {Manuel V. Hermenegildo and
Daniel Cabeza},
title = {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},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b105205},
doi = {10.1007/B105205},
isbn = {3-540-24362-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/StehrT05,
author = {Mark{-}Oliver Stehr and
Carolyn L. Talcott},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Ugo Montanari and
Martin Wirsing},
title = {Practical Techniques for Language Design and Prototyping},
booktitle = {Foundations of Global Computing, 20.-25. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05081},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/300},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/StehrT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/CristeaIT04,
author = {Dan Cristea and
Nancy Ide and
Dan Tufis},
title = {The Semantic Web and Language Technology, Its Potential and Practicalities:
{EUROLAN-2003}},
journal = {{AI} Mag.},
volume = {25},
number = {1},
pages = {107--108},
year = {2004},
url = {https://doi.org/10.1609/aimag.v25i1.1752},
doi = {10.1609/AIMAG.V25I1.1752},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/CristeaIT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/ChenD04,
author = {Haiming Chen and
Yunmei Dong},
title = {Practical Type Checking of Functions Defined on Context-Free Languages},
journal = {J. Comput. Sci. Technol.},
volume = {19},
number = {6},
pages = {840--847},
year = {2004},
url = {https://doi.org/10.1007/BF02973447},
doi = {10.1007/BF02973447},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/ChenD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Wallingford04,
author = {Eugene Wallingford},
title = {"Practical Aspects of Declarative Languages" by Shriram Krishnamurthi
and C. R. Ramakrishnan (eds.), {LNCS} 2257, Springer-Verlag, 2002.
{ISBN} 3-540-43092-X},
journal = {J. Funct. Program.},
volume = {14},
number = {2},
pages = {249--251},
year = {2004},
url = {https://doi.org/10.1017/S095679680322503X},
doi = {10.1017/S095679680322503X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Wallingford04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/CordyDS04,
author = {James R. Cordy and
Thomas R. Dean and
Nikita Synytskyy},
editor = {Hanan Lutfiyya and
Janice Singer and
Darlene A. Stewart},
title = {Practical language-independent detection of near-miss clones},
booktitle = {Proceedings of the 2004 conference of the Centre for Advanced Studies
on Collaborative research, October 5-7, 2004, Markham, Ontario, Canada},
pages = {1--12},
publisher = {{IBM}},
year = {2004},
url = {https://dl.acm.org/citation.cfm?id=1034915},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/CordyDS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/extreme/SchaffertB04,
author = {Sebastian Schaffert and
Fran{\c{c}}ois Bry},
title = {Querying the Web Reconsidered: {A} Practical Introduction to Xcerpt},
booktitle = {Proceedings of the Extreme Markup Languages{\textregistered} 2004
Conference, 2-6 August 2004, Montr{\'{e}}al, Quebec, Canada},
year = {2004},
url = {http://www.mulberrytech.com/Extreme/Proceedings/html/2004/Schaffert01/EML2004Schaffert01.html},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/extreme/SchaffertB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icis/EricksonS04,
author = {John Erickson and
Keng Siau},
title = {Theoretical and Practical Complexity of Unified Modeling Language:
Delphi Study and Metrics Analyses},
booktitle = {Proceedings of the International Conference on Information Systems,
{ICIS} 2004, December 12-15, 2004, Washington, DC, {USA}},
pages = {183--194},
publisher = {Association for Information Systems},
year = {2004},
url = {http://aisel.aisnet.org/icis2004/15},
timestamp = {Sun, 29 Mar 2015 13:07:34 +0200},
biburl = {https://dblp.org/rec/conf/icis/EricksonS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnlp/KitamuraM04,
author = {Mihoko Kitamura and
Yuji Matsumoto},
editor = {Keh{-}Yih Su and
Jun'ichi Tsujii and
Jong{-}Hyeok Lee and
Oi Yee Kwong},
title = {Practical Translation Pattern Acquisition from Combined Language Resources},
booktitle = {Natural Language Processing - {IJCNLP} 2004, First International Joint
Conference, Hainan Island, China, March 22-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3248},
pages = {244--253},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30211-7\_26},
doi = {10.1007/978-3-540-30211-7\_26},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ijcnlp/KitamuraM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BirkaE04,
author = {Adrian Birka and
Michael D. Ernst},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {A practical type system and language for reference immutability},
booktitle = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {35--49},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028976.1028980},
doi = {10.1145/1028976.1028980},
timestamp = {Fri, 25 Jun 2021 14:51:50 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BirkaE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PotaninNB04,
author = {Alex Potanin and
James Noble and
Robert Biddle},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Generic ownership: practical ownership control in programming languages},
booktitle = {Companion to the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {50--51},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028664.1028692},
doi = {10.1145/1028664.1028692},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PotaninNB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2004,
editor = {Bharat Jayaraman},
title = {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},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98355},
doi = {10.1007/B98355},
isbn = {3-540-22253-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/WuZ03,
author = {Genqing Wu and
Fang Zheng},
title = {A Method to Build a Super Small but Practically Accurate Language
Model for Handheld Devices},
journal = {J. Comput. Sci. Technol.},
volume = {18},
number = {6},
pages = {747--755},
year = {2003},
url = {https://doi.org/10.1007/BF02945463},
doi = {10.1007/BF02945463},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/WuZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcis/EricksonS03,
author = {John Erickson and
Keng Siau},
title = {Unified Modeling Language: Theoretical and Practical Complexity},
booktitle = {9th Americas Conference on Information Systems, {AMCIS} 2003, Tampa,
FL, USA, August 4-6, 2003},
pages = {164},
publisher = {Association for Information Systems},
year = {2003},
url = {http://aisel.aisnet.org/amcis2003/164},
timestamp = {Mon, 09 Jan 2012 12:52:36 +0100},
biburl = {https://dblp.org/rec/conf/amcis/EricksonS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Watson03,
author = {Geoffrey Watson},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Compilation by Refinement for a Practical Assembly Language},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {286--305},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_17},
doi = {10.1007/978-3-540-39893-6\_17},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Watson03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2003,
editor = {Ver{\'{o}}nica Dahl and
Philip Wadler},
title = {Practical Aspects of Declarative Languages, 5th International Symposium,
{PADL} 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2562},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36388-2},
doi = {10.1007/3-540-36388-2},
isbn = {3-540-00389-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijst/TufisB02,
author = {Dan Tufis and
Ana{-}Maria Barbu},
title = {Revealing Translators' Knowledge: Statistical Methods in Constructing
Practical Translation Lexicons for Language and Speech Processing},
journal = {Int. J. Speech Technol.},
volume = {5},
number = {3},
pages = {199--209},
year = {2002},
url = {https://doi.org/10.1023/A\%3A1020284521742},
doi = {10.1023/A\%3A1020284521742},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijst/TufisB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/AlbertHV02,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
title = {A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative
Languages},
journal = {J. Funct. Log. Program.},
volume = {2002},
year = {2002},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-01.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/AlbertHV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lalc/KangCL02,
author = {Sin{-}Jae Kang and
You{-}Jin Chung and
Jong{-}Hyeok Lee},
title = {Language Independent and Practical Ontology in Korean-Japanese Machine
Translation Systems},
journal = {Lit. Linguistic Comput.},
volume = {17},
number = {1},
pages = {19--36},
year = {2002},
url = {https://doi.org/10.1093/llc/17.1.19},
doi = {10.1093/LLC/17.1.19},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lalc/KangCL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaD/Thom02,
author = {Francis Thom},
editor = {J{\"{u}}rgen F. H. Winkler and
Peter Dencker and
Hubert B. Keller and
Michael Tonndorf},
title = {Conformity! {A} Practical Integration of Standards - {A} Case for
using the Unified Modelling Language {(UML)} with the Ada Programming
Language},
booktitle = {Ada Deutschland Tagung 2002: Software f{\"{u}}r sicherheitskritische
Systeme, 6. bis 8. M{\"{a}}rz 2002, Jena, Friedrich-Schiller-Universit{\"{a}}t},
pages = {29--36},
publisher = {Shaker Verlag},
year = {2002},
timestamp = {Fri, 31 May 2013 08:25:50 +0200},
biburl = {https://dblp.org/rec/conf/adaD/Thom02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tag/Becker02,
author = {Tilman Becker},
editor = {Robert Frank},
title = {Practical, Template-Based Natural Language Generation with {TAG}},
booktitle = {Proceedings of the Sixth International Workshop on Tree Adjoining
Grammar and Related Frameworks, {TAG+} 2002, Venice, Italy, May 20-23,
2002},
pages = {80--83},
publisher = {Association for Computational Linguistics},
year = {2002},
url = {https://aclanthology.org/W02-2211/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tag/Becker02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BhargavanG02,
author = {Karthikeyan Bhargavan and
Carl A. Gunter},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Requirements for a Practical Network Event Recognition Language},
booktitle = {Runtime Verification 2002, {RV} 2002, FLoC Satellite Event, Copenhagen,
Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {4},
pages = {1--20},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80574-7},
doi = {10.1016/S1571-0661(04)80574-7},
timestamp = {Fri, 16 Dec 2022 10:59:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BhargavanG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clin/2002,
editor = {Tanja Gaustad},
title = {Computational Linguistics in the Netherlands 2002, Selected Papers
from the Thirteenth {CLIN} Meeting, Groningen, November 29, 2002},
series = {Language and Computers - Studies in Practical Linguistics},
volume = {47},
publisher = {Rodopi},
year = {2002},
isbn = {90-420-1126-2},
timestamp = {Thu, 23 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clin/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2002,
editor = {Shriram Krishnamurthi and
C. R. Ramakrishnan},
title = {Practical Aspects of Declarative Languages, 4th International Symposium,
{PADL} 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2257},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45587-6},
doi = {10.1007/3-540-45587-6},
isbn = {3-540-43092-X},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/extreme/CatonH01,
author = {Paul Caton and
Morris Hirsch},
title = {Making Elements from Arbitrary Sections: {A} practical application
of {XML} Topic Maps},
booktitle = {Proceedings of the Extreme Markup Languages{\textregistered} 2001
Conference, 12-17 August 2001, Montr{\'{e}}al, Quebec, Canada},
year = {2001},
url = {http://www.mulberrytech.com/Extreme/Proceedings/html/2001/Caton01/EML2001Caton01.html},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/extreme/CatonH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AlbertHV01,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Practical Partial Evaluator for a Multi-Paradigm Declarative Language},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {326--342},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_21},
doi = {10.1007/3-540-44716-4\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AlbertHV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Abreu01,
author = {Salvador Abreu},
title = {{ISCO:} {A} Practical Language for Logic-Based Construction of Heterogeneous
Information Systems},
booktitle = {Proceedings of the 14th International Conference on Applications of
Prolog, {INAP} 2001, University of Tokyo, Tokyo, Japan, October 20-22,
2001},
pages = {229--237},
publisher = {The Prolog Association of Japan},
year = {2001},
timestamp = {Wed, 28 Jun 2017 14:25:33 +0200},
biburl = {https://dblp.org/rec/conf/inap/Abreu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clin/2001,
editor = {Mari{\"{e}}t Theune and
Anton Nijholt and
Hendri Hondorp},
title = {Computational Linguistics in the Netherlands 2001, Selected Papers
from the Twelfth {CLIN} Meeting, Twente, November 30, 2001},
series = {Language and Computers - Studies in Practical Linguistics},
volume = {45},
publisher = {Rodopi},
year = {2001},
isbn = {90-420-0943-8},
timestamp = {Wed, 31 Jan 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clin/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2001,
editor = {I. V. Ramakrishnan},
title = {Practical Aspects of Declarative Languages, Third International Symposium,
{PADL} 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1990},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45241-9},
doi = {10.1007/3-540-45241-9},
isbn = {3-540-41768-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/Nederhof00,
author = {Mark{-}Jan Nederhof},
title = {Practical Experiments with Regular Approximation of Context-free Languages},
journal = {Comput. Linguistics},
volume = {26},
number = {1},
pages = {17--44},
year = {2000},
url = {https://doi.org/10.1162/089120100561610},
doi = {10.1162/089120100561610},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coling/Nederhof00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/PontelliC00,
author = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {{PADL} '00: Workshop on Practical Aspects of Declarative Languages},
journal = {{ACM} {SIGPLAN} Notices},
volume = {35},
number = {3},
pages = {16--17},
year = {2000},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/PontelliC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/Tuovin00,
author = {Antti{-}Pekka Tuovinen},
title = {Practical Error Handling in Parsing Visual Languages},
journal = {J. Vis. Lang. Comput.},
volume = {11},
number = {5},
pages = {505--528},
year = {2000},
url = {https://doi.org/10.1006/jvlc.2000.0176},
doi = {10.1006/JVLC.2000.0176},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/Tuovin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/DuanFH00,
author = {Lei Duan and
Alexander Franz and
Keiko Horiguchi},
title = {Practical spoken language translation using compiled feature structure
grammars},
booktitle = {Sixth International Conference on Spoken Language Processing, {ICSLP}
2000 / {INTERSPEECH} 2000, Beijing, China, October 16-20, 2000},
pages = {146--149},
publisher = {{ISCA}},
year = {2000},
url = {https://doi.org/10.21437/ICSLP.2000-230},
doi = {10.21437/ICSLP.2000-230},
timestamp = {Thu, 22 Jun 2023 16:42:19 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/DuanFH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/LiuO00,
author = {Xiaohu Liu and
Douglas D. O'Shaughnessy},
title = {Practical language modeling: an interpolating method},
booktitle = {Sixth International Conference on Spoken Language Processing, {ICSLP}
2000 / {INTERSPEECH} 2000, Beijing, China, October 16-20, 2000},
pages = {354--357},
publisher = {{ISCA}},
year = {2000},
url = {https://doi.org/10.21437/ICSLP.2000-549},
doi = {10.21437/ICSLP.2000-549},
timestamp = {Thu, 22 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/LiuO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/its/HeiftN00,
author = {Trude Heift and
Devlan Nicholson},
editor = {Gilles Gauthier and
Claude Frasson and
Kurt VanLehn},
title = {Theoretical and Practical Considerations for Web-Based Intelligent
Language Tutoring Systems},
booktitle = {Intelligent Tutoring Systems, 5th International Conference, {ITS}
2000, Montr{\'{e}}al, Canada, June 19-23, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1839},
pages = {354--362},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45108-0\_39},
doi = {10.1007/3-540-45108-0\_39},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/its/HeiftN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lisa/Voleynik00,
author = {Jarra Voleynik},
editor = {R{\'{e}}my Evard and
Phil Scarr},
title = {eEMU: {A} Practical Tool and Language for System Monitoring and Event
Management},
booktitle = {Proceedings of the 14th Conference on Systems Administration {(LISA}
2000), New Orleans, Louisiana, USA, December 3-8, 2000},
pages = {131--137},
publisher = {{USENIX}},
year = {2000},
url = {http://www.usenix.org/publications/library/proceedings/lisa2000/voleynik.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lisa/Voleynik00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nlp/StamatatosFK00,
author = {Efstathios Stamatatos and
Nikos Fakotakis and
George K. Kokkinakis},
editor = {Dimitris Christodoulakis},
title = {A Practical Chunker for Unrestricted Text},
booktitle = {Natural Language Processing - {NLP} 2000, Second International Conference,
Patras, Greece, June 2-4, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1835},
pages = {139--150},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45154-4\_13},
doi = {10.1007/3-540-45154-4\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/nlp/StamatatosFK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clin/2000,
editor = {Walter Daelemans and
Khalil Sima'an and
Jorn Veenstra and
Jakub Zavrel},
title = {Computational Linguistics in the Netherlands 2000, Selected Papers
from the Eleventh {CLIN} Meeting, Tilburg, November 3, 2000},
series = {Language and Computers - Studies in Practical Linguistics},
volume = {37},
publisher = {Rodopi},
year = {2000},
isbn = {90-420-1257-9},
timestamp = {Wed, 31 Jan 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clin/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2000,
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7},
doi = {10.1007/3-540-46584-7},
isbn = {3-540-66992-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/KesslerT99,
author = {Christoph W. Ke{\ss}ler and
Jesper Larsson Tr{\"{a}}ff},
title = {Language and library support for practical {PRAM} programming},
journal = {Parallel Comput.},
volume = {25},
number = {2},
pages = {105--135},
year = {1999},
url = {https://doi.org/10.1016/S0167-8191(98)00092-1},
doi = {10.1016/S0167-8191(98)00092-1},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/KesslerT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-9910022,
author = {Mark{-}Jan Nederhof},
title = {Practical experiments with regular approximation of context-free languages},
journal = {CoRR},
volume = {cs.CL/9910022},
year = {1999},
url = {https://arxiv.org/abs/cs/9910022},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-9910022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Crary98,
author = {Karl Crary},
title = {Type-Theoretic Methodology for Practical Programming Languages},
school = {Cornell University, {USA}},
year = {1998},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Crary98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ToynCMJ98,
author = {Ian Toyn and
David Michael Cattrall and
John A. McDermid and
Jeremy L. Jacob},
title = {A practical language and toolkit for high-integrity tools},
journal = {J. Syst. Softw.},
volume = {41},
number = {3},
pages = {161--173},
year = {1998},
url = {https://doi.org/10.1016/S0164-1212(97)10017-6},
doi = {10.1016/S0164-1212(97)10017-6},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ToynCMJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AshleyD98,
author = {J. Michael Ashley and
R. Kent Dybvig},
title = {A Practical and Flexible Flow Analysis for Higher-Order Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {4},
pages = {845--868},
year = {1998},
url = {https://doi.org/10.1145/291891.291898},
doi = {10.1145/291891.291898},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AshleyD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/RossiS98,
author = {Simo Rossi and
Tero Sillander},
editor = {Volker Gruhn},
title = {A Practical Approach to Software Process Modelling Language Engineering},
booktitle = {Software Process Technology, 6th European Workshop, {EWSPT} '98, Weybridge,
UK, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1487},
pages = {28--42},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-64956-5\_3},
doi = {10.1007/3-540-64956-5\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ewspt/RossiS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/1999,
editor = {Gopal Gupta},
title = {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},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49201-1},
doi = {10.1007/3-540-49201-1},
isbn = {3-540-65527-1},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bjet/Jarvis97,
author = {Huw Jarvis},
title = {World-processing and Writing Skills: Practical Applications to Language
Teaching Text Books},
journal = {Br. J. Educ. Technol.},
volume = {28},
number = {3},
pages = {165--175},
year = {1997},
url = {https://doi.org/10.1111/1467-8535.00023},
doi = {10.1111/1467-8535.00023},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bjet/Jarvis97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Gervet97,
author = {Carmen Gervet},
title = {Interval Propagation to Reason about Sets: Definition and Implementation
of a Practical Language},
journal = {Constraints An Int. J.},
volume = {1},
number = {3},
pages = {191--244},
year = {1997},
url = {https://doi.org/10.1007/BF00137870},
doi = {10.1007/BF00137870},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Gervet97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sakurai97,
author = {Kouichi Sakurai},
title = {Practical Proofs of Knowledge without Relying on Theoretical Proofs
of Membership on Languages},
journal = {Theor. Comput. Sci.},
volume = {181},
number = {2},
pages = {317--335},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00277-0},
doi = {10.1016/S0304-3975(96)00277-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Sakurai97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KagedalD97,
author = {Andreas K{\aa}gedal and
Saumya K. Debray},
editor = {Lee Naish},
title = {A Practical Approach to Structure Reuse of Arrays in Single Assignment
Languages},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {18--32},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KagedalD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/KesslerT97,
author = {Christoph W. Ke{\ss}ler and
Jesper Larsson Tr{\"{a}}ff},
title = {Language and library support for practical {PRAM} programming},
booktitle = {Fifth Euromicro Workshop on Parallel and Distributed Processing {(PDP}
'97), January 22-24, 1997, University of Westminster, London, {UK}},
pages = {216--221},
publisher = {{IEEE} Computer Society},
year = {1997},
timestamp = {Fri, 05 Oct 2007 12:53:47 +0200},
biburl = {https://dblp.org/rec/conf/pdp/KesslerT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0083695,
author = {Kevin Lano},
title = {The {B} language and method - a guide to practical formal development},
series = {{FACIT:} Formal approaches to computing and information technology},
publisher = {Springer},
year = {1996},
isbn = {978-3-540-76033-7},
timestamp = {Tue, 26 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0083695.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/KristensenO96,
author = {Bent Bruun Kristensen and
Kasper {\O}sterbye},
title = {Roles: Conceptual Abstraction Theory and Practical Language Issues},
journal = {Theory Pract. Object Syst.},
volume = {2},
number = {3},
pages = {143--160},
year = {1996},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/KristensenO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Ashley96,
author = {J. Michael Ashley},
editor = {Hans{-}Juergen Boehm and
Guy L. Steele Jr.},
title = {A Practical and Flexible Flow Analysis for Higher-Order Languages},
booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
St. Petersburg Beach, Florida, USA, January 21-24, 1996},
pages = {184--194},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237721.237773},
doi = {10.1145/237721.237773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Ashley96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ar/NakashimaHYMH95,
author = {Moriyuki Nakashima and
Shinji Harada and
Kyoji Yano and
Yoshinaga Maruyama and
Tsutomu Hasegawa},
title = {Development of a robot language for hot-line work allowing practical
use of the hot-line work robot system 'Phase II'},
journal = {Adv. Robotics},
volume = {10},
number = {4},
pages = {355--375},
year = {1995},
url = {https://doi.org/10.1163/156855396X00039},
doi = {10.1163/156855396X00039},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ar/NakashimaHYMH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Galvez95,
author = {Jos{\'{e}} Fortes G{\'{a}}lvez},
editor = {J{\"{u}}rgen Dassow and
Grzegorz Rozenberg and
Arto Salomaa},
title = {A Practical Small {LR} Parser with Action Decision Through Minimal
Stack Suffix Scanning},
booktitle = {Developments in Language Theory II, At the Crossroads of Mathematics,
Computer Science and Biology, Magdeburg, Germany, 17-21 July 1995},
pages = {460--465},
publisher = {World Scientific, Singapore},
year = {1995},
timestamp = {Fri, 26 May 2017 12:54:08 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Galvez95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/beierleP95/Beierle95,
author = {Christoph Beierle},
editor = {Christoph Beierle and
Lutz Pl{\"{u}}mer},
title = {Concepts, Implementation, and Applications of a Typed Logic Programming
Language},
booktitle = {Logic Programming: Formal Methods and Practical Applications, Studies
in Computer Science and Artificial Intelligence},
pages = {139--167},
publisher = {Elsevier Science B.V./North-Holland},
year = {1995},
timestamp = {Mon, 05 Aug 2019 11:57:50 +0200},
biburl = {https://dblp.org/rec/books/el/beierleP95/Beierle95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/db/Dekleva94,
author = {Sasa M. Dekleva},
title = {Is Natural Language Querying Practical?},
journal = {Data Base},
volume = {25},
number = {2},
pages = {24--36},
year = {1994},
url = {https://doi.org/10.1145/190743.190745},
doi = {10.1145/190743.190745},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/db/Dekleva94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Vanter94,
author = {Michael L. Van de Vanter},
editor = {Richard N. Taylor and
Jo{\"{e}}lle Coutaz},
title = {Practical Language-Based Editing for Software Engineers},
booktitle = {Software Engineering and Human-Computer Interaction, {ICSE} '94 Workshop
on {SE-HCI:} Joint Research Issues, Sorrento, Italy, May 16-17, 1994,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {896},
pages = {251--267},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0035821},
doi = {10.1007/BFB0035821},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icse/Vanter94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipPACT/Tick94,
author = {Evan Tick},
editor = {Michel Cosnard and
Guang R. Gao and
Gabriel M. Silberman},
title = {Practical Static Mode Analyses of Concurrent Logic Languages},
booktitle = {Parallel Architectures and Compilation Techniques, Proceedings of
the {IFIP} {WG10.3} Working Conference on Parallel Architectures and
Compilation Techniques, PACT'94, Montr{\'{e}}al, Canada, 24-26
August, 1994},
series = {{IFIP} Transactions},
volume = {{A-50}},
pages = {205--214},
publisher = {North-Holland},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=713820},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipPACT/Tick94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0072395,
author = {Judith S. Bowman and
Sandra L. Emerson and
Marcy Darnovsky},
title = {The practical {SQL} handbook - using structured query language {(2.}
ed.)},
publisher = {Addison-Wesley},
year = {1993},
isbn = {978-0-201-62623-0},
timestamp = {Fri, 29 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0072395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Carroll93a,
author = {John Andrew Carroll},
title = {Practical unification-based parsing of Natural Language},
school = {University of Cambridge, {UK}},
year = {1993},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.308272},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Carroll93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acpc/Snyder93,
author = {Lawrence Snyder},
editor = {Jens Volkert},
title = {Invited Lecture: Foundations of Practical Parallel Programming Languages},
booktitle = {Parallel Computation, Second International {ACPC} Conference, Gmunden,
Austria, October 4-6, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {734},
pages = {115--134},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57314-3\_11},
doi = {10.1007/3-540-57314-3\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/acpc/Snyder93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KaufmanM93,
author = {Ismar Neumann Kaufman and
Silvio Romero de Lemos Meira},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Modal Action Logic in a Practical Specification Language},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '93), Proceedings
of the Third International Conference on Methodology and Software
Technology, University of Twente, Enschede, The Netherlands, 21-25
June, 1993},
series = {Workshops in Computing},
pages = {307--314},
publisher = {Springer},
year = {1993},
timestamp = {Tue, 18 Feb 2003 11:00:12 +0100},
biburl = {https://dblp.org/rec/conf/amast/KaufmanM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anlp/BoisenB92,
author = {Sean Boisen and
Madeleine Bates},
title = {A Practical Methodology for the Evaluation of Spoken Language Systems},
booktitle = {3rd Applied Natural Language Processing Conference, {ANLP} 1992, Trento,
Italy, March 31 - April 3, 1992},
pages = {162--169},
publisher = {{ACL}},
year = {1992},
url = {https://aclanthology.org/A92-1023/},
doi = {10.3115/974499.974529},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/anlp/BoisenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/WalkerNS92,
author = {Marilyn A. Walker and
Andrew L. Nelson and
Phil Stenton},
title = {A Case Study of Natural Language Customisation: The Practical Effects
of World Knowledge},
booktitle = {14th International Conference on Computational Linguistics, {COLING}
1992, Nantes, France, August 23-28, 1992},
pages = {820--826},
year = {1992},
url = {https://aclanthology.org/C92-2122/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/WalkerNS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/PetterssonF92,
author = {Mikael Pettersson and
Peter Fritzson},
editor = {James R. Cordy and
Mario Barbacci},
title = {{DML} - a meta-language and system for the generation of practical
and efficient compilers from denotational specifications},
booktitle = {ICCL'92, Proceedings of the 1992 International Conference on Computer
Languages, Oakland, California, USA, 20-23 Apr 1992},
pages = {127--136},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCL.1992.185475},
doi = {10.1109/ICCL.1992.185475},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/PetterssonF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GovindarajanGYW91,
author = {R. Govindarajan and
Lifu Guo and
Sheng Yu and
P. Wang},
title = {ParC project: practical constructs for parallel programming languages},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software
and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
1991},
pages = {183--189},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/CMPSAC.1991.170171},
doi = {10.1109/CMPSAC.1991.170171},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/GovindarajanGYW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChambersU91,
author = {Craig Chambers and
David M. Ungar},
editor = {Andreas Paepcke},
title = {Making Pure Object-Oriented Languages Practical},
booktitle = {Proceedings of the Sixth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1991, Phoenix, Arizona,
USA, October 6-11, 1991},
pages = {1--15},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/117954.117955},
doi = {10.1145/117954.117955},
timestamp = {Fri, 13 May 2022 10:26:32 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ChambersU91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/Stasko90,
author = {John T. Stasko},
title = {A Practical Animation Language for Software Developement},
booktitle = {1990 Internation Conference on Computer Languages, March 12-15 1990,
New Orleans, Louisiana, {USA}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ICCL.1990.63755},
doi = {10.1109/ICCL.1990.63755},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/Stasko90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/robotica/Craig89u,
author = {Iain D. Craig},
title = {\emph{Practical Compiling With Pascal-S} by Michael Rees and Dave
Robson, Addison-Wesley, Wokingham, UK, 1988, 307 pages (incl. index
({\textsterling}16.95);\emph{Programming Language Translation: {A}
Practical Approach} by Patrick D. Terry, Addison-Wesley, Wokingham,
UK, 1986, 443 pages (incl. index) ({\textsterling}15.95);\emph{Syntax
Analysis and Software Tools} by K. John Gough, Addison-Wesley, Wokingham,
UK, 1988, 459 pages (incl. index) ({\textsterling}16.95)},
journal = {Robotica},
volume = {7},
number = {2},
pages = {174--175},
year = {1989},
url = {https://doi.org/10.1017/S026357470000566X},
doi = {10.1017/S026357470000566X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/robotica/Craig89u.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Wolf89,
author = {Wayne H. Wolf},
title = {A Practical Comparison of Two Object-Oriented Languages},
journal = {{IEEE} Softw.},
volume = {6},
number = {5},
pages = {61--68},
year = {1989},
url = {https://doi.org/10.1109/52.35590},
doi = {10.1109/52.35590},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Wolf89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibm/McCord89,
author = {Michael C. McCord},
editor = {Rudi Studer},
title = {Slot Grammar: {A} System for Simpler Construction of Practical Natural
Language Grammars},
booktitle = {Natural Language and Logic, International Symposium, Hamburg, Germany,
May 9-11, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {459},
pages = {118--145},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53082-7\_20},
doi = {10.1007/3-540-53082-7\_20},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/ibm/McCord89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/HartungGH88,
author = {John Hartung and
Steven L. Gay and
Stephen G. Haigh},
title = {A practical {C} language compiler/optimizer for real-time implementations
on a family of floating point DSPs},
booktitle = {{IEEE} International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '88, New York, New York, USA, April 11-14, 1988},
pages = {1674--1677},
publisher = {{IEEE}},
year = {1988},
url = {https://doi.org/10.1109/ICASSP.1988.196937},
doi = {10.1109/ICASSP.1988.196937},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/HartungGH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BakerFS87,
author = {Deborah A. Baker and
David A. Fisher and
Jonathan C. Shultis},
editor = {Fran{\c{c}}ois Bancilhon and
Peter Buneman},
title = {A Practical Language to Provide Persistence and a rich Typing System},
booktitle = {Advances in Database Programming Languages, Papers from DBPL-1, September
1987, Roscoff, France},
pages = {295--309},
publisher = {{ACM} Press / Addison-Wesley},
year = {1987},
url = {https://doi.org/10.1145/101620.101638},
doi = {10.1145/101620.101638},
timestamp = {Tue, 05 May 2020 16:02:27 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/BakerFS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0070717,
author = {Patrick D. Terry},
title = {Programming language translation - a practical approach},
publisher = {Addison-Wesley},
year = {1986},
isbn = {978-0-201-18040-4},
timestamp = {Thu, 05 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0070717.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hendrix86,
author = {Gary G. Hendrix},
editor = {Tom Kehler and
Stanley J. Rosenschein},
title = {Invited Talk: What's Practical When in Natural Language Applications},
booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
Philadelphia, PA, USA, August 11-15, 1986. Volume 2: Engineering},
pages = {1148},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-194.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Hendrix86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Amori85,
author = {Richard D. Amori},
editor = {Bill Healy and
Judith D. Schlesinger},
title = {{NL} {TEMPLATE:} an approach and tool for building practical natural
language interfaces},
booktitle = {Proceedings of the 1985 {ACM} annual conference on The range of computing:
mid-80's perspective: mid-80's perspective, Denver, Colorado, USA,
October 14-16, 1985},
pages = {309--317},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/320435.320528},
doi = {10.1145/320435.320528},
timestamp = {Wed, 14 Apr 2021 11:40:49 +0200},
biburl = {https://dblp.org/rec/conf/acm/Amori85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/Bartlett85,
author = {Martin Bartlett},
title = {The Development of a Practical Live-Performance Music Language},
booktitle = {Proceedings of the 1985 International Computer Music Conference, {ICMC}
1985, Burnaby, BC, Canada, August 19-22, 1985},
publisher = {Michigan Publishing},
year = {1985},
url = {https://hdl.handle.net/2027/spo.bbp2372.1985.046},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmc/Bartlett85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Yelowitz84,
author = {Lawrence Yelowitz},
title = {Practical Experience with an Ada-Based Formal Specification/Language
on a Large Project},
booktitle = {Proceedings of the 1984 {IEEE} Symposium on Security and Privacy,
Oakland, California, USA, April 29 - May 2, 1984},
pages = {111--113},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {https://doi.org/10.1109/SP.1984.10008},
doi = {10.1109/SP.1984.10008},
timestamp = {Thu, 21 Sep 2023 15:57:32 +0200},
biburl = {https://dblp.org/rec/conf/sp/Yelowitz84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OshersonSW83,
author = {Daniel N. Osherson and
Michael Stob and
Scott Weinstein},
editor = {Alan Bundy},
title = {Formal Theories of Language Acquisition: Practical and Theoretical
Perspectives},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {566--572},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/130a.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/OshersonSW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LampsonS83,
author = {Butler W. Lampson and
Eric E. Schmidt},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Practical Use of a Polymorphic Applicative Language},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {237--255},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567090},
doi = {10.1145/567067.567090},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LampsonS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Discepolo81,
author = {Anne{-}Marie G. Discepolo},
editor = {Toni Shelter and
Steven Abraham and
Emily P. Friedman and
Beth Levy},
title = {Towards a practical specification language},
booktitle = {Proceedings of the {ACM} 1981 Annual Conference, Los Angeles, CA,
USA, November 9-11, 1981},
pages = {144--153},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800175.809858},
doi = {10.1145/800175.809858},
timestamp = {Tue, 06 Nov 2018 16:58:26 +0100},
biburl = {https://dblp.org/rec/conf/acm/Discepolo81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/Harris80,
author = {Larry R. Harris},
editor = {Norman K. Sondheimer},
title = {Prospects for Practical Natural Language Systems},
booktitle = {18th Annual Meeting of the Association for Computational Linguistics,
19-22 June 1980, University of Pennsylvania, Philadephia, Pennsylvania,
{USA}},
publisher = {{ACL}},
year = {1980},
url = {https://aclanthology.org/P80-1033/},
doi = {10.3115/981436.981475},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/Harris80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/GustafsonJK80,
author = {G. G. Gustafson and
T. A. Johnson and
G. S. Key},
title = {Some practical experiences with the Pascal language},
booktitle = {American Federation of Information Processing Societies: 1980 National
Computer Conference, 19-22 May 1980, Anaheim, California, {USA}},
series = {{AFIPS} Conference Proceedings},
volume = {49},
pages = {741--746},
publisher = {{AFIPS} Press},
year = {1980},
url = {https://doi.org/10.1145/1500518.1500645},
doi = {10.1145/1500518.1500645},
timestamp = {Wed, 14 Apr 2021 16:50:07 +0200},
biburl = {https://dblp.org/rec/conf/afips/GustafsonJK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Wegner79,
author = {Lutz M. Wegner},
editor = {Hermann A. Maurer},
title = {Bracketed Two-Level Grammars - {A} Decidable and Practical Approach
to Language Definitions},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {668--682},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_53},
doi = {10.1007/3-540-09510-1\_53},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Wegner79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldpm/Nolan79,
author = {Geoffrey J. Nolan},
editor = {Jeffrey M. Tobias},
title = {{DASIM} 1: {A} Practical Exercise in Data Abstraction},
booktitle = {Language Design and Programming Methodology, Proceedings of a Symposium
Held in Sydney, Australia, 10-11 September, 1979},
series = {Lecture Notes in Computer Science},
volume = {79},
pages = {143--150},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09745-7\_11},
doi = {10.1007/3-540-09745-7\_11},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/ldpm/Nolan79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/ThompsonT75,
author = {Frederick B. Thompson and
Bozena Henisz Thompson},
title = {Practical Natural Language Processing: The {REL} System as Prototype},
journal = {Adv. Comput.},
volume = {13},
pages = {109--168},
year = {1975},
url = {https://doi.org/10.1016/S0065-2458(08)60657-9},
doi = {10.1016/S0065-2458(08)60657-9},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/ThompsonT75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lyon74,
author = {Gordon Lyon},
title = {Syntax-Directed Least-Errors Analysis for Context-Free Languages:
{A} Practical Approach},
journal = {Commun. {ACM}},
volume = {17},
number = {1},
pages = {3--14},
year = {1974},
url = {https://doi.org/10.1145/360767.360771},
doi = {10.1145/360767.360771},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lyon74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/DeRemer69,
author = {Franklin DeRemer},
title = {Practical translators for LR(k) languages},
school = {Massachusetts Institute of Technology, {USA}},
year = {1969},
url = {http://hdl.handle.net/1721.1/13628},
timestamp = {Fri, 05 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/DeRemer69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-25 07:55 CEST from data curated 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:
