DBGen User Manual
Logic in Computer Science
2012-12-04 v1
Authors:
Emmanuel Polonowski
Abstract
DBGen is a tool for Coq developers. It takes as input the definition of a term structure with bindings annotations and generates definitions and properties for lifting and substitution in the De Bruijn setting, up to the substitution lemma. It provides also a named syntax and a translation function to the De Bruijn syntax.
Cite
@article{arxiv.1212.0253,
title = {DBGen User Manual},
author = {Emmanuel Polonowski},
journal= {arXiv preprint arXiv:1212.0253},
year = {2012}
}
Related papers
View all related →
Computation and Language · Computer Science
DepAnn - An Annotation Tool for Dependency Treebanks
Tuomo Kakkonen
2007-05-23
Databases · Computer Science
DB-BERT: a Database Tuning Tool that "Reads the Manual"
Immanuel Trummer
2021-12-22
Information Retrieval · Computer Science
Improving Scientific Document Retrieval with Concept Coverage-based Query Set Generation
SeongKu Kang, Bowen Jin, Wonbin Kweon, Yu Zhang +3
2025-02-18
Computation and Language · Computer Science
DVAGen: Dynamic Vocabulary Augmented Generation
Wei Du, Nuowei Liu, Jie Wang, Jiahao Kuang +3
2025-10-21
Logic in Computer Science · Computer Science
Yet Another Deep Embedding of B:Extending de Bruijn Notations
Eric Jaeger, Thérèse Hardin
2009-02-24
Computation and Language · Computer Science
TabGenie: A Toolkit for Table-to-Text Generation
Zdeněk Kasner, Ekaterina Garanina, Ondřej Plátek, Ondřej Dušek
2023-10-27
Computation and Language · Computer Science
Optimizing Factual Accuracy in Text Generation through Dynamic Knowledge Selection
Hongjin Qian, Zhicheng Dou, Jiejun Tan, Haonan Chen +5
2023-08-31
Software Engineering · Computer Science
Automated Generating Natural Language Requirements based on Domain Ontology
Ziyan Zhao, Li Zhang, Xiaoyun Gao, Xiaoli Lian +2
2022-12-01
Computation and Language · Computer Science
Keyphrase Generation with Cross-Document Attention
Shizhe Diao, Yan Song, Tong Zhang
2022-12-23
Human-Computer Interaction · Computer Science
QueryGenie: Making LLM-Based Database Querying Transparent and Controllable
Longfei Chen, Shenghan Gao, Shiwei Wang, Ken Lin +2
2025-08-22
Programming Languages · Computer Science
A Coq Library of Sets for Teaching Denotational Semantics
Qinxiang Cao, Xiwei Wu, Yalun Liang
2024-04-09
Logic in Computer Science · Computer Science
A formal specification of the jq language
Michael Färber
2024-04-01
Molecular Networks · Quantitative Biology
SBtab - Conventions for structured data tables in Systems Biology
Wolfram Liebermeister, Timo Lubitz, Jens Hahn
2015-09-30
Software Engineering · Computer Science
A framework to semantify BPMN models using DEMO business transaction pattern
Sérgio Guerreiro, Pedro Sousa
2020-12-18
Computation and Language · Computer Science
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction
Jiaoyan Chen, Ernesto Jimenez-Ruiz, Ian Horrocks, Charles Sutton
2018-11-15
Software Engineering · Computer Science
CONFIGEN: A tool for managing configuration options
Emmanuel Ohayon, Matthieu Lemerre, Vincent David
2010-07-08
Computation and Language · Computer Science
QGen Studio: An Adaptive Question-Answer Generation, Training and Evaluation Platform
Movina Moses, Mohab Elkaref, James Barry, Shinnosuke Tanaka +4
2025-04-15
Quantitative Methods · Quantitative Biology
Using RuleBuilder to graphically define and visualize BioNetGen-language patterns and reaction rules
Ryan Suderman, G. Matthew Fricke, William S. Hlavacek
2018-03-15
Computation and Language · Computer Science
Towards Automated Lexicography: Generating and Evaluating Definitions for Learner's Dictionaries
Yusuke Ide, Adam Nohejl, Joshua Tanner, Hitomi Yanaka +2
2026-01-06
Artificial Intelligence · Computer Science
Un mod{\`e}le de base de connaissances terminologiques
Patrick Séguéla, Nathalie Aussenac-Gilles
2023-02-17
Distributed, Parallel, and Cluster Computing · Computer Science
DCGen 1.1 Technical Report: Generating Datacenter Configurations (including IT, Power, Cooling)
Wedan Emmanuel Gnibga, Andrew A. Chien
2026-04-14
Quantitative Methods · Quantitative Biology
BioNetGen 2.2: Advances in Rule-Based Modeling
Leonard A. Harris, Justin S. Hogg, Jose-Juan Tapia, John A. P. Sekar +6
2016-11-21
Artificial Intelligence · Computer Science
A Table-Based Representation for Probabilistic Logic: Preliminary Results
Simon Vandevelde, Victor Verreet, Luc De Raedt, Joost Vennekens
2021-10-06
Databases · Computer Science
An End-to-end Neural Natural Language Interface for Databases
Prasetya Utama, Nathaniel Weir, Fuat Basik, Carsten Binnig +5
2018-04-03
Logic in Computer Science · Computer Science
The Tactician's Web of Large-Scale Formal Knowledge
Lasse Blaauwbroek
2024-01-10