Olivier Laurent

34 papers A* 5B 7Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair
2025 J jnl
Log. Methods Comput. Sci.
Rémi Di Guardia, Olivier Laurent
2025 B conf
FSCD
Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair
2024 J jnl
CoRR
Rémi Di Guardia, Olivier Laurent
2023 B conf
FSCD
Rémi Di Guardia, Olivier Laurent
2021 B conf
CPP
Olivier Laurent
2020 J jnl
Theor. Comput. Sci.
Olivier Laurent
2020 conf
Linearity&TLLA@IJCAR-FSCD
Esaïe Bauer, Olivier Laurent
2019 B conf
FoSSaCS
Aurore Alcolei, Pierre Clairambault, Olivier Laurent
2018 A* conf
LICS
Olivier Laurent
2018 conf
DCM/ITRS
Olivier Laurent
2017 J jnl
Log. Methods Comput. Sci.
Olivier Laurent
2016 B conf
FSCD
Olivier Laurent
2016 J jnl
CoRR
Olivier Laurent
2012 J jnl
Fundam. Informaticae
Olivier Laurent
2011 J jnl
J. Log. Comput.
Olivier Laurent
2010 J jnl
Log. Methods Comput. Sci.
Thomas Ehrhard, Olivier Laurent
2010 J jnl
Theor. Comput. Sci.
Kohei Honda, Olivier Laurent
2010 J jnl
Log. Methods Comput. Sci.
Olivier Laurent
2010 J jnl
Inf. Comput.
Thomas Ehrhard, Olivier Laurent
2008 A* conf
LICS
Olivier Laurent, Roberto Maieli
2008 B conf
CSL
Ugo Dal Lago, Olivier Laurent
2007 B conf
CONCUR
Thomas Ehrhard, Olivier Laurent
2006 A* conf
LICS
Olivier Laurent, Lorenzo Tortora de Falco
2006 conf
FSTTCS
Russell Harmer, Olivier Laurent
2005 J jnl
Math. Struct. Comput. Sci.
Olivier Laurent
2005 J jnl
Ann. Pure Appl. Log.
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco
2005 J jnl
Theor. Comput. Sci.
Olivier Laurent
2004 J jnl
Ann. Pure Appl. Log.
Olivier Laurent
2003 A* conf
LICS
Olivier Laurent, Laurent Regnier
2003 J jnl
Theor. Comput. Sci.
Olivier Laurent
2002 A* conf
LICS
Olivier Laurent
2001 conf
TLCA
Olivier Laurent
1999 conf
TLCA
Olivier Laurent
docs/linting.md
← Index docs/linting.md markdown
# Code Linting Guide

## Installation

```bash
pip install flake8 pylint black isort
```

## Quick Usage

### Check Code Quality
```bash
# Comprehensive analysis (recommended)
pylint redb/

# Quick style check
flake8 redb/

# Format code
black redb/

# Sort imports
isort redb/
```

### Check Only (No Changes)
```bash
black --check redb/
isort --check-only redb/
```

## Configuration

The project uses `pyproject.toml` for configuration. Key settings:

- **Line length**: 120 characters
- **Pylint**: Disabled overly strict warnings (docstrings, naming conventions)
- **Black**: Compatible with isort
- **Flake8**: Ignores common style issues

## Security-Focused Linting

For security analysis, install additional tools:

```bash
pip install pylint-security bandit
```

Run security checks:
```bash
# Pylint with security plugin
pylint --load-plugins=pylint_security redb/

# Bandit (security-focused)
bandit -r redb/
```

## Recommended Workflow

1. **Development**: Use `flake8` for quick feedback
2. **Pre-commit**: Run `pylint` for comprehensive analysis
3. **Formatting**: Use `black` and `isort` before commits
4. **Security**: Run `bandit` periodically

## IDE Integration

Most IDEs support these tools:
- **VS Code**: Install Python extension, configure linting
- **PyCharm**: Built-in support for all tools
- **Vim/Neovim**: Use ALE or similar plugins