Publications of Lambert Meertens

2006

• Branislav Kusy, Akos Ledeczi, Miklos Maroti, and Lambert Meertens. Node density independent localization. Information Processing in Sensor Networks, Proc. IPSN'06, pages 441--448, 2006. ACM Press, New York.

2005

• Lambert Meertens. Designing constraint maintainers for user interaction. In Shin-Cheng Mu, editor, Proc. Third Workshop on Programmable Structured Documents, pages 1--3. PSD Laboratory, Tokyo University, 2005.
• Lambert Meertens. The Dimension of the Vector Space Spanned by Sets of Radio-Interferometric Measurements. Kestrel Institute Technical Report KES.U.05.02, Kestrel Institute, Palo Alto, 2005.
  
  

2004

• Lambert Meertens and Stephen Fitzpatrick. The Distributed Construction of a Global Coordinate System in a Network of Static Computational Nodes from Inter-Node Distances. Kestrel Institute Technical Report KES.U.04.04, Kestrel Institute, Palo Alto, 2004.
  
  
• Lambert Meertens. Calculating the Sieve of Eratosthenes. Journal of Functional Programming, 14(6):759--763, 2004.

2003

• Stephen Fitzpatrick and Lambert Meertens. Distributed coordination through anarchic optimization. In Victor Lesser, Charles L. Ortiz, Jr., and Milind Tambe, editors, Distributed Sensor Networks: A Multiagent Perspective, pages 257--295. Kluwer Academic Publishers, 2003.

2002

• Stephen Fitzpatrick and Lambert Meertens. Scalable, anytime constraint optimization through iterated, peer-to-peer interaction in sparsely-connected networks. In H. Ehrig, B. Kramer, and A. Ertaş, editors, Proc. Sixth Biennial World Conf. on Integrated Design & Process Technology (IDPT 2002). Society for Design and Process Science, 2002.
  
  
• Stephen Fitzpatrick and Lambert Meertens. Experiments on dense graphs with a stochastic, peer-to-peer colorer. In Carla Gomes and Toby Walsh, editors, Probabilistic Approaches in Search, Workshop at Eighteenth National Conf. on Artificial Intelligence (AAAI 2002), pages 24--28. AAAI Press, 2002.
  
  
• Lambert Meertens and Stephen Fitzpatrick. Asynchronous execution and communication latency in distributed constraint optimization. In Makoto Yokoo, editor, Proc. Third International Workshop on Distributed Constraint Reasoning, First International Joint Conf. on Autonomous Agents & Multiagent Systems (AAMAS 2002), pages 80--85, 2002.

2001

• Stephen Fitzpatrick and Lambert Meertens. Soft, Real-Time, Distributed Graph Coloring using Decentralized, Synchronous, Stochastic, Iterative-Repair, Anytime Algorithms --- A Framework. Kestrel Institute Technical Report KES.U.01.05, Kestrel Institute, Palo Alto, 2001.
  
  
• Stephen Fitzpatrick and Lambert Meertens. An experimental assessment of a stochastic, anytime, decentralized soft colourer for sparse graphs. In Kathleen Steinhoefel, editor, Stochastic Algorithms: Foundations and Applications, Proc. SAGA 2001, LNCS 2264, pages 49--64, 2001.
  
  
• Stephen Fitzpatrick and Lambert Meertens. Peer-to-Peer Coordination of Autonomous Sensors in High-Latency Networks using Distributed Scheduling and Data Fusion. Kestrel Institute Technical Report KES.U.01.09, Kestrel Institute, Palo Alto, 2001.

1999

• Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic Programming --- An Introduction. In S. Doaitse Swierstra, editor, Advanced Functional Programming, LNCS 1608, pages 28--115. 1999.
  
  
• Annette Bleeker and Lambert Meertens. Knowledge in security protocols: an operational semantics for BAN logic. In C. Areces and M. de Rijke, editors, Workshop Proc. Methods for Modalities 1. ILLC, University of Amsterdam, 1999.

1998

• Richard Bird and Lambert Meertens. Nested datatypes. In Johan Jeuring, editor, Mathematics of Program Construction, LNCS 1422, pages 52--67, 1998.
  
  
• Arjeh M. Cohen and Lambert Meertens. The Acela project: aims and plans. In N. Kajler, editor, Computer-Human Interaction in Symbolic Computation, Texts and Monographs in Symbolic Computation. Springer-Verlag, Wien, New-York, 1998.
  
  
• Lambert Meertens. Functor pulling. In Roland Backhouse and Tim Sheard, editors, Proc. Workshop on Generic Programming, 1998.

1997

• Richard Bird and Lambert Meertens, editors. Algorithmic Languages and Calculi. Chapman & Hall, London, 1997.
  
  
• Annette Bleeker and Lambert Meertens. A Semantics for BAN Logic. In Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, New Brunswick, NJ, 1997.

1996

• Lambert Meertens. Calculate polytypically! In Herbert Kuchen and S. Doaitse Swierstra, editors, Programming Languages: Implementations Logics, and Programs, Proc. Eighth International Symposium PLILP '96, LNCS 1140, pages 1--16. Springer-Verlag, 1996.

1994

• Evangelos Kranakis, Daniel D.M. Krizanc, and Lambert Meertens. Link length of rectilinear Hamiltonian tours in grids. Ars Combinatoria, 38:177--192, 1994.

1993

• Lambert Meertens. The design of elegant languages. In G. Alberts, editor, On the history of ALGOL 68, pages 53--64. CWI, Amsterdam, 1993.

1992

• Lambert Meertens. Paramorphisms. Formal Aspects of Computing, 4:413--424, 1992.
  
  
• Lambert Meertens and Steven Pemberton. The ergonomics of computer interfaces --- Designing a system for human use. Report CS-R9258, CWI, Amsterdam, 1992.
  
  
• Lambert Meertens, Steven Pemberton, and Guido van Rossum. The ABC structure editor --- Structure-based editing for the ABC programming environment. Report CS-R9256, CWI, Amsterdam, 1992.

1991

• Maarten M. Fokkinga, Johan T. Jeuring, Lambert Meertens, and Erik Meijer. A translation from attribute grammars to catamorphisms. The Squiggolist, 2(1):20--26, 1991.
  
  
• Maarten M. Fokkinga and Lambert Meertens. Map-functor factorized. The Squiggolist, 2(1):17--19, 1991.
  
  
• Lambert Meertens. A neutral suggestion. The Squiggolist, 2(1):16, 1991.
  
  
• Lambert Meertens and Jaap van der Woude. A tribute to attributes. The Squiggolist, 2(1):10--15, 1991.

1990

• Leo Geurts, Lambert Meertens, and Steven Pemberton. ABC Programmer's Handbook. Prentice Hall, 1990. Reissued by Bosko Books, 2005.
  
  
• Evangelos Kranakis, Daniel D.M. Krizanc, and Lambert Meertens. Link length of rectilinear watchman tours in grids. In Proc. 2nd Canadian Conf. in Computational Geometry, 1990.

1989

• Johan T. Jeuring and Lambert Meertens. The least-effort cabinet formation. The Squiggolist, 1(2):12--16, 1989.
  
  
• Evangelos Kranakis and Lambert Meertens. Optimal packing of similar triangles. EATCS Bulletin, 38:181--185, 1989.
  
  
• Lambert Meertens. Constructing a calculus of programs. In J. van de Snepscheut, editor, Mathematics of Program Construction, LNCS 375, pages 66--90, 1989.
  
  
• Lambert Meertens. Reducing hopeful majority. The Squiggolist, 1(1):5, 1989.

1988

• Miguel Carrasquer, Denise L. Draper, Lambert Meertens, and Steven Pemberton. EUROMATH Functional Specification. CWI, Amsterdam, 1988.

1987

• Richard S. Bird and Lambert Meertens. Two exercises found in a book on Algorithmics. In Lambert Meertens, editor, Program Specification and Transformation, pages 451--457. North-Holland Publishing Company, Amsterdam, 1987.
  
  
• Lambert Meertens. Case studies van CWI-onderzoek. In W. Aspers and H. Nieland, editors, Wetenschap in Bedrijf, pages 43--69. CWI, Amsterdam, 1987.
  
  
• Lambert Meertens. Een nieuwe manier van programmeren. In ZWO Jaarboek 1986, pages 204--208. Netherlands Organization for the Advancement of Pure Research, The Hague, 1987.
  
  
• Lambert Meertens, editor. Program Specification and Transformation. North-Holland Publishing Company, Amsterdam, 1987.

1986

• M. Hazewinkel, J. Lenstra, and Lambert Meertens, editors. Mathematics and Computer Science II --- Fundamental Contributions in the Netherlands since 1945, CWI Monographs Volume 4. North-Holland Publishing Company, Amsterdam, 1986.
  
  
• Lambert Meertens. Algorithmics --- Towards programming as a mathematical activity. In J. de Bakker, M. Hazewinkel, and J. Lenstra, editors, Mathematics and Computer Science, CWI Monographs Volume 1, pages 289--334. North-Holland Publishing Company, Amsterdam, 1986.
  
  
• Lambert Meertens. From B to ABC: the Salient Changes. The B Newsletter, 5:2--6, 1986.

1985

• Lambert Meertens. What is in the name of B? The B Newsletter, 3, 1985.
  
  
• Lambert Meertens. A proposal for matrix/vector functions in B. The B Newsletter, 3, 1985.
  
  
• Lambert Meertens. Eh? B be `ABC', see? The B Newsletter, 4, 1985.
  
  
• Lambert Meertens. ~ 1 < > 1, A Nice Distinction? The B Newsletter, 4, 1985.
  
  
• Lambert Meertens and Steven Pemberton. Description of B. SIGPLAN Notices, 20(2):58--76, February 1985.

1984

• Lambert Meertens and Steven Pemberton. An Implementation of the B Programming Language. In Proc. USENIX UniForum, pages 65--74. USENIX, 1984.

1983

• Timo J.G. Krijnen and Lambert Meertens. Making B-Trees Work for B. Mathematical Centre Report IW 219, Mathematisch Centrum, Amsterdam, 1983.
  
  
• Lambert Meertens. Incremental polymorphic type checking in B. In Conf. Record of the 10th ACM Symposium on the Principles of Programming Languages, pages 265--275. ACM, New York, 1983.
  
  
• Lambert Meertens. ANNO RR --- Annotaties en Commentaren bij het ``Revised Report on the Algorithmic Language ALGOL 68''. Utrecht University, Department of Computer Science, 1983. Facsimile reproduction of manuscript.
  
  
• Lambert Meertens and P.M.B. Vitányi. Big Omega contra the wild functions. EATCS Bulletin, 16:14--19, 1983.

1982

• Lambert Meertens. Quick Reference to B. ALGOL Bulletin, 48:7--17, 1982.

1981

• Lambert Meertens. On the design of an abstract machine for a portable ALGOL 68 compiler. In J. van Vliet and Hanno Wupper, editors, Proc. International Conf. on ALGOL 68, Mathematical Centre Tract 134, pages 97--117. Mathematisch Centrum, Amsterdam, 1981.
  
  
• Lambert Meertens. Draft Proposal for the B Programming Language. Mathematisch Centrum, Amsterdam, 1981.
  
  
• Lambert Meertens. Issues in the design of a beginners' programming language. In J. de Bakker and J. van Vliet, editors, Algorithmic Languages, pages 167--184. North-Holland Publishing Company, Amsterdam, 1981.
  
  
• Lambert Meertens. Definition of an Abstract ALGOL 68 Machine. Mathematical Centre Report IW 188, Mathematisch Centrum, Amsterdam, 1981.
  
  
• Lambert Meertens and Hans van Vliet. ALGOL 68+, a Superlanguage of ALGOL 68 for Processing the Standard-Prelude. Mathematical Centre Report IW 168, Mathematisch Centrum, Amsterdam, 1981.
  
  
• Lambert Meertens and Hans van Vliet. An Underlying Context-Free Grammar of ALGOL 68+. Mathematical Centre Report IW 171, Mathematisch Centrum, Amsterdam, 1981.
  
  
• Lambert Meertens and Hans van Vliet. An Operator-Priority Grammar for ALGOL 68+. Mathematical Centre Report IW 173, Mathematisch Centrum, Amsterdam, 1981.
  
  
• Lambert Meertens and Hans van Vliet. Making ALGOL 68+ Texts Conform to an Operator-Priority Grammar. Mathematical Centre Report IW 180, Mathematisch Centrum, Amsterdam, 1981.
  
  
• Lambert Meertens and Hans van Vliet. On Top-Down Parsing of ALGOL 68+. Mathematical Centre Report IW 182, Mathematisch Centrum, Amsterdam, 1981.
  
  
• Lambert Meertens and Hans van Vliet. On the MC ALGOL 68 Compiler. Mathematical Centre Report IW 189, Mathematisch Centrum, Amsterdam, 1981.

1980

• Krzysztof R. Apt and Lambert Meertens. Completeness with finite systems of intermediate assertions for recursive program schemes. SIAM Journal on Computing, 9:665--671, 1980.
  
  
• Lambert Meertens. Code-generatie. In J. van Vliet, editor, Colloquium Capita Implementatie van Programmeertalen, Mathematical Centre Syllabus 42, pages 27--46. Mathematisch Centrum, Amsterdam, 1980.

1979

• Krzysztof R. Apt, Jan A. Bergstra, and Lambert Meertens. Recursive assertions are not enough---or are they? Theoretical Computer Science, 8:73--87, 1979.
  
  
• Chris J. Cheney, Charles H. Lindsey, Lambert Meertens, and Hanno Wupper. Changing line lengths in random files. ALGOL Bulletin, 44:15, 1979.
  
  
• Lambert Meertens. Program text and program structure. In P. Hibbard and S. Schuman, editors, Constructing Quality Software, pages 271--281. North-Holland Publishing Company, Amsterdam, 1979.
  
  
• Lambert Meertens. Bitonic Sort on Ultracomputers. Ultracomputer Note #1, Computer Science Department, Courant Institute of Mathematical Sciences, New York University, 1979.
  
  
• Lambert Meertens. Recurrent Ultracomputers are not log N-Fast. Ultracomputer Note #2, Computer Science Department, Courant Institute of Mathematical Sciences, New York University, 1979.
  
  
• Lambert Meertens. Abstracto 84: the next generation. In Proc. 1979 Annual Conf., pages 33--39, Detroit, 1979. ACM.

1978

• Leo Geurts and Lambert Meertens. Keyword grammars. In J. André and J.-P. Banâtre, editors, Implementation and Design of Algorithmic Languages, pages 1--12. IRIA, Rocquencourt, 1978.
  
  
• Leo Geurts and Lambert Meertens. Remarks on Abstracto. ALGOL Bulletin, 42:56--63, 1978.
  
  
• Lambert Meertens. Abstracte datatypen. In Colloquium Capita Datastructuren, Mathematical Centre Syllabus 37, pages 27--41. Mathematisch Centrum, Amsterdam, 1978.
  
  
• Lambert Meertens. Procedurele datastructuren. In Colloquium Capita Datastructuren, Mathematical Centre Syllabus 37, pages 171--186. Mathematisch Centrum, Amsterdam, 1978.

1977

• Theo V.M. Janssen, Gerard H.A. Kok, and Lambert Meertens. On restrictions on transformational grammars reducing the generative power. Linguistics and Philosophy, 1:111--118, 1977.
  
  
• Lambert Meertens. From abstract variable to concrete representation. In S. Schuman, editor, New Directions in Algorithmic Languages 1976, pages 107--133, 1977.

1976

• Leo Geurts and Lambert Meertens. Designing a beginners' programming language. In S. Schuman, editor, New Directions in Algorithmic Languages 1975, pages 1--18. IRIA, Rocquencourt, 1976.
  
  
• Lambert Meertens. Mode and meaning. In S. Schuman, editor, New Directions in Algorithmic Languages 1975, pages 125--138, 1976.
  
  
• Lambert Meertens. De heel eenvoudige taal HET. In Colloquium Structuur van Programmeertalen, Mathematical Centre Syllabus 25, pages 59--78. Mathematisch Centrum, Amsterdam, 1976.
  
  
• Lambert Meertens. Naar een foutenwerende programmeertaal. In Colloquium Structuur van Programmeertalen, Mathematical Centre Syllabus 25, pages 177--195. Mathematisch Centrum, Amsterdam, 1976.
  
  
• Lambert Meertens. A note on integral division. ALGOL Bulletin, 39:30--32, 1976.
  
  
• Lambert Meertens. Computerkunst. In Kaleidoskoop van de Wiskunde, pages 18--26. Mathematical Institute, Utrecht University, 1976.
  
  
• Lambert Meertens. A space-saving technique for assigning ALGOL 68 multiple values. Information Processing Letters, 5:97--99, 1976.
  
  
• Lambert Meertens. Job control languages. In Colloquium Bedrijfssystemen, Mathematical Centre Syllabus 32, pages 113--128. Mathematisch Centrum, Amsterdam, 1976.
  
  
• Lambert Meertens and Hans van Vliet. Repairing the parenthesis skeleton of ALGOL 68 programs: proof of correctness. In G. Hedrick, editor, Proc. the 1975 International Conf. on ALGOL 68, pages 99--117. Oklahoma State University, Stillwater, 1976.
  
  
• Lambert Meertens and Hans van Vliet. Parsing ALGOL 68 with syntax-directed error recovery. In G. Hedrick, editor, Proc. the 1975 International Conf. on ALGOL 68, pages 118--155. Oklahoma State University, Stillwater, 1976.

1975

• Jaco W. de Bakker and Lambert Meertens. On the completeness of the inductive assertion method. Journal of Computer and System Sciences, 11:323--357, 1975.
  
  
• A. van Wijngaarden, B.J. Mailloux, J.E.L. Peck, C.H.A. Koster, M. Sintzoff, C.H. Lindsey, L.G.L.T. Meertens, and R.G. Fisker. Revised Report on the Algorithmic Language ALGOL 68. Acta Informatica, 5:1--236, 1975.

1974

• Rob Bosch, Dick Grune, and Lambert Meertens. ALEPH, A Language Encouraging Program Hierarchy. In Proc. the International Computing Symp. 1973, pages 73--79. North-Holland Publishing Company, Amsterdam, 1974.
  
  
• Dick Grune, Rob Bosch, and Lambert Meertens. ALEPH Manual. Mathematical Centre Report IW 17, Mathematisch Centrum, Amsterdam, 1974.
  
  
• Dick Grune, Lambert Meertens, Hans van Vliet, and Rob van Vliet. Remarks on the Transput Section of the Revised Report on ALGOL 68. Mathematical Centre Report IN 7, Mathematisch Centrum, Amsterdam, 1974.
  
  
• Lambert Meertens and Hans van Vliet. Repairing the State Switcher Skeleton of ALGOL 68 Programs. Mathematical Centre Report IW 15, Mathematisch Centrum, Amsterdam, 1974.

1973

• Dick Grune, Lambert Meertens, and Hans van Vliet. Grammar-Handling Tools Applied to ALGOL 68. Mathematical Centre Report IW 5, Mathematisch Centrum, Amsterdam, 1973.
  
  
• Lambert Meertens. On static scope checking in ALGOL 68. ALGOL Bulletin, 35:45--58, 1973.
  
  
• Lambert Meertens and Hans van Vliet. Repairing the Parenthesis Skeleton of ALGOL 68 Programs. Mathematical Centre Report IW 2, Mathematisch Centrum, Amsterdam, 1973.
  
  
• Lambert Meertens and Hans van Vliet. A Syntax-Directed Error-Recovery Method for Parsing ALGOL 68 Programs. Mathematical Centre Report IN 6, Mathematisch Centrum, Amsterdam, 1973.

1972

• Jaco W. de Bakker and Lambert Meertens. Simple Recursive Program Schemes and Inductive Assertions. Mathematical Centre Report MR 142, Mathematisch Centrum, Amsterdam, 1972.
  
  
• Leo Geurts and Lambert Meertens. Kristalstrukturen. In H. Sizoo, editor, Struktuur, een thema, een methode, pages 32--37. De Lakenhal, Leiden, 1972.
  
  
• Gerard Nogarede, Martin Rem, Lambert Meertens, Leo Geurts, and Reind P. van de Riet. The MC ELAN Assembler. Mathematical Centre Report MR 132, Mathematisch Centrum, Amsterdam, 1972.

1971

• Lambert Meertens. Designing letter-like shapes. Page (Bulletin of the Computer Arts Society), 17:2--3, 1971.
  
  
• Lambert Meertens. Computers and creativity. In Verslagboek van het Seminar on Computer Aided Architectural Design, pages 161--163. Bouwcentrum, Rotterdam, 1971.

1969

• Louis Andriessen, Leo Geurts, and Lambert Meertens. Componist en computer. De Gids, 132:304--311, 1969.
  
  
• Nico H. Frijda and Lambert Meertens. A simulation model of human information retrieval. Sciences du Comportement, 7:237--243, 1969.
  
  
• Leo Geurts, Lambert Meertens, Reind P. van de Riet, and Adriaan van Wijngaarden. Physionomie, Psyche en Chironomie. Mathematical Centre Report DR 38, Mathematisch Centrum, Amsterdam, 1969.
  
  
• Lambert Meertens. The imitation of musical styles by a computer. In Information Processing 68, Proc. IFIP Congress 1968, Volume 1, pages xxv--xxvi. North-Holland Publishing Company, Amsterdam, 1969.
  
  
• Lambert Meertens. On the generation of ALGOL 68 programs involving infinite modes. ALGOL Bulletin, 30:90--92, 1969.

1968

• Lambert Meertens. Quartet No. 1 in C Major for 2 Violins, Viola and Violoncello. Mathematical Centre Report MR 96, Mathematisch Centrum, Amsterdam, 1968.
  
  
• Lambert Meertens. Componeren met de computer. Informatie, 10:418--421, 1968.

1966

• Cornelis H.A. Koster, Leo Geurts, and Lambert Meertens. Praktijkcursus ALGOL 60. Mathematical Centre Report MR 85, Mathematisch Centrum, Amsterdam, 1966.

1962

• Cornelis H.A. Koster and Lambert Meertens. Basic English, a Generative Grammar for a Part of English. Technical report, Euratom Seminar ``Machine en Talen'', University of Amsterdam, 1962.
  
  
• Lambert Meertens. Kunstmatige intelligentie, een programma voor het optimaal oplossen van een klasse van problemen. Mededelingen van het Nederlands Rekenmachine Genootschap, 4:6--13, 1962.

Books edited

1997

• Richard Bird and Lambert Meertens, editors, Algorithmic Languages and Calculi. Chapman & Hall, London, 1997.

1987

• Lambert Meertens, editor, Program Specification and Transformation. North-Holland Publishing Company, Amsterdam, 1987.

1986

• M. Hazewinkel, J.K. Lenstra and L.G.L.T. Meertens, editors, Mathematics and Computer Science II --- Fundamental Contributions in the Netherlands since 1945. CWI Monographs Volume 4, North-Holland Publishing Company, Amsterdam, 1986.