Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
labStructName_s : Inria Lille - Nord Europe
labStructName_s : Laboratoire de l'Informatique du Parallélisme
Page :
sorted by
Image document

Duality of Equations and Coequations via Contravariant Adjunctions

 Julian Salamanca , Marcello Bonsangue , Jurriaan Rot
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Conference papers hal-01446034v1
Image document

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage

 Cleverton Hentz , Jurgen J. Vinju , Anamaria M. Moreira
ICTSS 2015 - 27th IFIP International Conference on Testing Software and Systems, Nov 2015, Dubai, United Arab Emirates. pp.71-85, ⟨10.1007/978-3-319-25945-1_5⟩
Conference papers hal-01470158v1
Image document

Game Developers Need Lua AiR

 Paul Klint , Loren Roosendaal , Riemer van Rozen
ICEC 2012 - 11th International Confernece on Entertainment Computing, Sep 2012, Bremen, Germany. pp.530-535, ⟨10.1007/978-3-642-33542-6_69⟩
Conference papers hal-00758607v1
Image document

How to Kill Epsilons with a Dagger

 Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers hal-01408752v1
Page :