Restrict to: Header Title Order by: Expected citations Hubs Usage Date Try: Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
161 documents found. Only retrieving 125 documents (System busy - maximum reduced).
Order: number of citations.
The Syntax Definition Formalism SDF - Reference Manual - Heering, Hendriks, Klint.. (2001)
(Correct) (85 citations)
Manual| J. Heering, 1 P.R.H. Hendriks, 2 P. Klint 13 and J. Rekers 4 June 14, 2001 Abstract
1986. BHK89] J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Speci -cation. ACM Press
1991. HHKR89] J. Heering, P.R.H. Hendriks, P. Klint, and J. Rekers. The syntax de nition formalism
www.cwi.nl/~paulk/publications/SDFManual.ps
The Syntax Definition Formalism SDF - Reference Manual - - Heering, Hendriks, Klint.. (1992)
(Correct) (85 citations)
Manual-J. Heering, 1 P.R.H. Hendriks, 2 P. Klint 13 and J. Rekers 4 December 6, 1992 Abstract
1986. BHK89] J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press
1991. HHKR89] J. Heering, P.R.H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism
ftp.cwi.nl/pub/gipe/reports/SDFManual.ps.Z
Parser Generation for Interactive Environments - Rekers (1992)
(Correct) (61 citations)
geboren te Amsterdam Promotor: prof. dr. P. Klint. Faculteit: Wiskunde en Informatica. Notes
Generation -is joint work with J. Heering and P. Klint. It has been published as [HKR89] and as [HKR90]
Acknowledgements I am very grateful to Paul Klint, my promotor. He always stimulated me and pushed
www.cwi.nl/ftp/gipe/reports/Rek92.ps.Z
Domain-Specific Languages: An Annotated Bibliography - van Deursen, Klint, Visser (2000)
(Correct) (36 citations)
An Annotated Bibliography Arie van Deursen Paul Klint Joost Visser CWI, P.O. Box 94079, 1090 GB
principles. 8] J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM
See also [12, 23]9] J.A. Bergstra and P. Klint. The discrete time TOOL- BUS-a software
www.telin.nl/dscgi/ds.py/Get/File-11929/dslbib.pdf
Syntax Definition for Language Prototyping - Visser (1997)
(Correct) (24 citations)
geboren te Rijswijk (ZH) Promotor: prof. dr P. Klint Faculteit Wiskunde, Informatica, Natuurkunde en
programming tool ToDTEX that I took over from Paul Klint during the work on my Master's thesis. The wish
this thesis. Here I would like to thank them. Paul Klint, my promotor, has created an active and
www.cwi.nl/~paulk/dissertations/Visser.ps.gz
Scannerless generalized-LR parsing - Visser (1997)
(Correct) (22 citations)
Deursen, Jan van Eijck, Annius Groenink and Paul Klint, for useful suggestions and comments on previous
them as a filter on parse forests as proposed in Klint and Visser (1994)However, for disambiguation of
a setup is used in the ASFSDF Meta-Environment (Klint, 1993) that forms the background for the
ftp.cs.uu.nl/people/visser/publications/../ftp/P9707.ps.gz
The Discrete Time ToolBus - a software coordination architecture - Bergstra, Klint (1998)
(Correct) (21 citations)
architecture -J.A. Bergstra 12 and P. Klint 31 1 Programming Research Group, University of
1987. BHK89] J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press
60:82-95, 1984. BK94] J.A. Bergstra and P. Klint. The ToolBus-a component interconnection
www.cwi.nl/~paulk/publications/SCP98.ps
Generation of Formatters for Context-free Languages - van den Brand, Visser (1999)
(Correct) (18 citations)
generated by the ASFSDF Meta-environment [Klint 1993]These environments had a built-in
and for a description of the Meta-environment to [Klint 1993 Klint 1995]We will refrain from
description of the Meta-environment to [Klint 1993 Klint 1995]We will refrain from discussing the
www.cs.uu.nl/~visser/publications/../ftp/BV96.ps.gz
Term Rewriting with Traversal Functions - van den Brand, Klint, Vinju (2001)
(Correct) (17 citations)
with Traversal Functions M.G.J. van den Brand, P. Klint and J.J. Vinju DRAFT Revision :1:132 9th July
Verlag. 2] J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Speci cation. ACM
1998. 4] M.G.J. van den Brand, A. van Deursen, P. Klint, S. Klusener, and E.A. van der Meulen. Industrial
www.cwi.nl/~paulk/publications/traversals.ps
Cyclic Lambda Calculi - Ariola, Blom (1997)
(Correct) (17 citations)
generators, such as the ASFSDF developed by Klint [22]to apply a disambiguation process to remove
and Applications, Kaiserslautern, 1995. 22. P. Klint. A meta-environment for generating programming
LNCS 490, pages 105-124, 1991. 23. P. Klint and E. Visser. Using filters for the
ftp.cs.uoregon.edu/pub/ariola/TACS97.ps
Data Flow Analysis for Reverse Engineering - Moonen (1996)
(Correct) (17 citations)
September 1996 Thesis supervisor: Prof. dr. P. Klint Leon Moonen Programming Research Group
understanding. I would like to thank Prof. dr. P. Klint who introduced me to the project, and gave me a
work and make a nice environment to work in. Paul Klint, Chris Verhoef, Mark van den Brand and Arie van
www.wins.uva.nl/pub/programming-research/reports/1996/P9613.ps.Z
SimICS/sun4m: A Virtual Workstation - Magnusson, Dahlgren, Grahn.. (1998)
(Correct) (16 citations)
1990)which combined threaded code (Bell 1973, Klint 1981) with simulation of simplified devices. g88
1998b. Personal communication, April 2 nd 1998. Klint, P. 1981. Interpretation techniques. Software -
www.simics.com/publications/usenix98-simics.ps.gz
Semantics of Programming Languages: A Tool-Oriented Approach - Heering, Klint (2000)
(Correct) (15 citations)
The Netherlands Jan.Heering@cwi.nl Paul Klint CWI and University of Amsterdam P.O. Box 94079,
Box 94079, 1090 GB Amsterdam, The Netherlands Paul.Klint@cwi.nl Abstract By paying more attention to
1997. 7] J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Speci cation. ACM
www.cwi.nl/~paulk/publications/Sigplan00b.ps
A transformation tool for pure Prolog programs - the algebraic.. - Brunekreef (1996)
(Correct) (15 citations)
been created with the ASFSDF Meta-environment of Klint et al. Kli93]This system offers an interactive
and Transformation, 1996. To appear. Kli93] P. Klint. A meta-environment for generating programming
www.wins.uva.nl/pub/programming-research/reports/1996/P9607.ps.Z
Efficient Annotated Terms - van den Brand, de Jong, Klint.. (2000)
(Correct) (14 citations)
terms M.G.J. van den Brand, H.A. de Jong, P. Klint, P.A. Olivier Software Engineering (SEN)
The Netherlands Hayco.de.Jong@cwi.nl Paul Klint CWI P.O. Box 94079, NL-1090 GB Amsterdam, The
403, NL-1098 SJ Amsterdam, The Netherlands Paul.Klint@cwi.nl Pieter Olivier CWI P.O. Box 94079,
www.cwi.nl/ftp/CWIreports/SEN/SEN-R0003.ps.Z
Equational Specification of Dynamic Objects - Wieringa (1990)
(Correct) (14 citations)
language ASF developed by Bergstra, Heering and Klint [9]and extend it with the possibility to
Formalism)developed by Bergstra, Heering, and Klint [9]extended with the possibility to partially
(1989)9. Bergstra, J.A.Heering, J.and Klint, P.Algebraic Specification, ACM Press/Addison
ftp.cs.vu.nl/pub/roelw/91-EquationalSpecOfOBjects.ps.Z
ANSI Cobol III in SDF + an ASF Definition of a Y2K Tool - Manuel (1996)
(Correct) (14 citations)
Physics &Astronomy Thesis supervisor: Paul Klint Supervisor: Mark van den Brand November 19,
1.4 Acknowledgements Mark van den Brand and Paul Klint suggested the subject of this thesis to me.
1994. 14] J.A. Bergstra, J. Heering, and P. Klint. The algebraic specification formalism ASF. In
www.wins.uva.nl/pub/programming-research/reports/1996/P9617.ps.Z
First 20 documents Next 20
Try your query at:
Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
CiteSeer.IST - Copyright Penn State and NEC