Travelled to:1 × Belgium
1 × Canada
1 × Estonia
1 × France
1 × Poland
1 × Portugal
1 × Taiwan
2 × Denmark
3 × USA
Collaborated with:J.J.Moreno-Navarro S.Fischer M.Rodríguez-Artalejo T.A.Majchrzak G.H.Botorog ∅ J.Anastasiadis K.Gladitz R.Loogen H.Heitkötter T.Jansen M.V.Hermenegildo F.J.López-Fraguas J.Mariño-Carballo S.Winkler W.Hans
Talks about:implement (5) function (4) program (4) logic (4) narrow (3) effici (3) lazi (3) parallel (2) languag (2) graph (2)
Person: Herbert Kuchen
DBLP: Kuchen:Herbert
Facilitated 3 volumes:
Ed
EdEdContributed to:
20132011
20082007
1996
1995
19931993199219921990
1990Wrote 13 papers:
- SAC-2013-HeitkotterMK #development #mobile #modelling #platform
- Cross-platform model-driven development of mobile applications with md2 (HH, TAM, HK), pp. 526–533.
- SAC-2011-MajchrzakJK #evaluation #open source #performance #tool support
- Efficiency evaluation of open source ETL tools (TAM, TJ, HK), pp. 287–294.
- ICFP-2008-FischerK #data flow #declarative #source code #testing
- Data-flow testing of declarative programs (SF, HK), pp. 201–212.
- PPDP-2007-FischerK #functional #generative #logic programming #source code #testing
- Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.
- HPDC-1996-BotorogK #algorithm #distributed #imperative #named #performance #programming
- Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming (GHB, HK), pp. 243–252.
- ILPS-1995-Kuchen #functional #implementation #logic programming
- Implementation Issues for Functional Logic Programming (HK), pp. 612–613.
- ILPS-1995-KuchenA #higher-order
- Higher Order Babel (HK, JA), p. 633.
- FPCA-1993-KuchenG #implementation #parallel
- Parallel Implementation of Bags (HK, KG), pp. 299–307.
- PLILP-1993-Moreno-NavarroKMWH #analysis #lazy evaluation #performance #using
- Efficient Lazy Narrowing using Demandedness Analysis (JJMN, HK, JMC, SW, WH), pp. 167–183.
- JICSLP-1992-KuchenLMR #constraints #functional #implementation #lazy evaluation #logic
- Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.
- PLILP-1992-KuchenMH #implementation #independence
- Independent AND-Parallel Implementation of Narrowing (HK, JJMN, MVH), pp. 24–38.
- ALP-1990-Moreno-NavarroKLR #graph #lazy evaluation
- Lazy Narrowing in a Graph Machine (JJMN, HK, RL, MRA), pp. 298–317.
- ESOP-1990-KuchenLMR #functional #graph #implementation #logic
- Graph-based Implementation of a Functional Logic Langugage (HK, RL, JJMN, MRA), pp. 271–290.