BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Switzerland
1 × The Netherlands
3 × USA
Collaborated with:
M.J.O'Donnell Y.J.Ahn A.Lomonosov M.Sitharam
Talks about:
constraint (2) interpret (2) graph (2) decomposit (1) transform (1) implement (1) isomorph (1) abstract (1) pattern (1) geometr (1)

Person: Christoph M. Hoffmann

DBLP DBLP: Hoffmann:Christoph_M=

Contributed to:

SAC 20102010
AGTIVE 19991999
POPL 19841984
STOC 19801980
POPL 19791979

Wrote 5 papers:

SAC-2010-AhnH #constraints
Constraint-based LN-curves (YJA, CMH), pp. 1242–1246.
AGTIVE-1999-HoffmannLS #composition #constraints #geometry #graph transformation
Planning Geometric Constraint Decomposition via Optimal Graph Transformations (CMH, AL, MS), pp. 309–324.
POPL-1984-HoffmannO #equation #implementation #interpreter
Implementation of an Interpreter for Abstract Equations (CMH, MJO), pp. 111–121.
STOC-1980-Hoffmann #graph #morphism #testing
Testing Isomorphism on Cone Graphs (CMH), pp. 244–251.
POPL-1979-HoffmanO #generative #interpreter #pattern matching #using
Interpreter Generation Using Tree Pattern Matching (CMH, MJO), pp. 169–179.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.