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 × Belgium
1 × France
1 × Italy
1 × USA
2 × Germany
Collaborated with:
S.D.Swierstra M.F.Kuiper J.Posegga M.Pennings A.v.d.Berg A.Freije D.A.Basin S.Friedrich R.Goré A.Slater
Talks about:
attribut (4) grammar (3) transform (2) increment (2) system (2) higher (2) order (2) evalu (2) card (2) constructor (1)

Person: Harald Vogt

DBLP DBLP: Vogt:Harald

Contributed to:

CAV 19991999
CADE 19981998
PLILP 19921992
PLILP 19911991
WAGA 19901990
PLDI 19891989

Wrote 6 papers:

CAV-1999-BasinFPV #bytecode #java #model checking #verification
Java Bytecode Verification by Model Checking (DAB, SF, JP, HV), pp. 491–494.
CADE-1998-GorePSV #proving #smarttech #theorem proving
System Description: card TAP: The First Theorem Prover on a Smart Card (RG, JP, AS, HV), pp. 47–50.
PLILP-1992-PenningsSV #attribute grammar #incremental #using
Using Cached Functions and Constructors for Incremental Attribute Evaluation (MP, SDS, HV), pp. 130–144.
PLILP-1991-VogtSK #attribute grammar #higher-order #incremental #performance
Efficient Incremental Evaluation of Higher order Attribute Grammars (HV, SDS, MFK), pp. 231–242.
WAGA-1990-VogtBF #agile #attribute grammar #development #dynamic transformation #program transformation
Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations (HV, AvdB, AF), pp. 101–115.
PLDI-1989-VogtSK #attribute grammar #higher-order
Higher-Order Attribute Grammars (HV, SDS, MFK), pp. 131–145.

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.