Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,786,015 papers from all fields of science
Search
Sign In
Create Free Account
Coccinelle
Known as:
Coccinelle (disambiguation)
Coccinelle (French for ladybug) is an open-source utility for matching and transforming the source code of programs written in the C programming…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Application programming interface
Data structure
Linux
List of program transformation systems
Expand
Broader (1)
Code refactoring
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
CeTA - A Tool for Certified Termination Analysis
Christian Sternagel
,
René Thiemann
,
S. Winkler
,
Harald Zankl
arXiv.org
2012
Corpus ID: 13551577
Since the first termination competition in 2004 it is of great interest, whether a proof that has been automatically generated by…
Expand
2011
2011
Verifications around the Linux Kernel
A. Lissy
,
P. Martineau
2011
Corpus ID: 30211469
In this paper, we will present the current state of the art around the topic of verifying the Linux Kernel. However, we do not…
Expand
2008
2008
La Coccinelle asiatique, Harmonia axyridis (Pallas, 1773) arrive en Loire-Atlantique (Coleoptera: Coccinellidae)
M. Faucheux
2008
Corpus ID: 132784370
La Coccinelle asiatique, Harmonia axyridis (Pallas, 1773) a ete observee a Nantes (Loire-Atlantique) le 31-10-2007. Il s'agit du…
Expand
2007
2007
Interaction du parasitoïde Dinocampus coccinellae avec la coccinelle exotique Harmonia axyridis Pallas et la coccinelle indigène Coleomegilla maculata lengi Timberlake
Annabelle Firlej
2007
Corpus ID: 165847555
Depuis son etablissement en Amerique du Nord en 1988, la coccinelle exotique Harmonia axyridis Pallas a envahi tous les milieux…
Expand
2007
2007
Les mécanismes d'invasion de la coccinelle asiatique Harmonia axyridis Pallas au Québec
Geneviève Labrie
2007
Corpus ID: 135241393
Les invasions biologiques representent maintenant une cause majeure du changement global de la planete. Les pertes economiques et…
Expand
2000
2000
Sélection et caractérisation de deux populations incapables de voler de la coccinelle harmonia axyridis pallas (col. , coccinellidae) : leur utilisation en lutte biologique contre les pucerons
R. Tournaire
2000
Corpus ID: 160526071
Deux souches d'harmonia axyridis pallas (col. , coccinellidae) ont ete selectionnees dans le but d'ameliorer l'efficacite…
Expand
1999
1999
La coccinelle Harmonia axyridis sédentaire : Une alliée plus efficace dans la lutte biologique contre les pucerons
Christine Piotte
,
R. Tourniaire
,
L. Brun
,
J. Gambier
,
A. Ferran
1999
Corpus ID: 89359961
La coccinelle Harmonia axyridis, auxiliaire efficace pour la lutte biologique contre divers pucerons, represente actuellement une…
Expand
1995
1995
La coccinelle: des repères sociolinguistiques pour analyser des ouvrages scientifiques pour enfants (suite)
D. Jacobi
1995
Corpus ID: 60683164
Cet article presente une methode d'analyse de petits ouvrages documentaires destines aux enfants. Les exemples supports sont…
Expand
1985
1985
Les sites d'hibernation de la coccinelle Adalia bipunctata (L.) (Col., Coccinellidae) en Belgique
J. Hemptinne
1985
Corpus ID: 133328531
Les rassemblements d'A. b. ont ete observes pendant quatre hivers successifs dans les sites d'hibernation du nord de la province…
Expand
1984
1984
Etude histopathologique et cytopathologique d'une microsporidiose naturelle chez la coccinelle des cucurbitacees d'afrique,Henosepilachna elaterii [Col.: Coccinellidae]
B. Toguebaye
,
B. Marchand
Entomophaga
1984
Corpus ID: 1735374
RésuméLa distribution deNosema henosepilachnae Toguebaye & Marchand, 1984 (Microsporida, Nosematidae) au cours du développement…
Expand