WorldCat Identities

Meertens, Lambert

Overview
Works: 71 works in 224 publications in 2 languages and 703 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Compiler
Classifications: QA76.73.A24, 001.6424
Publication Timeline
.
Most widely held works by Lambert Meertens
Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986 by IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation( Book )

7 editions published in 1987 in English and Undetermined and held by 144 WorldCat member libraries worldwide

Mathematics and computer science II : fundamental contributions in the Netherlands since 1945( Book )

4 editions published in 1986 in English and Undetermined and held by 122 WorldCat member libraries worldwide

ABC programmer's handbook by Leo Geurts( Book )

5 editions published in 1990 in English and held by 67 WorldCat member libraries worldwide

Software -- Programming Languages
Algorithmic languages and calculi : IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France by IFIP TC 2/WG 2.1( Book )

4 editions published in 1997 in English and held by 47 WorldCat member libraries worldwide

Draft proposal for the B programming language : semi-formal definition by Lambert Meertens( Book )

5 editions published in 1981 in English and held by 34 WorldCat member libraries worldwide

Constructing a calculus of programs by Lambert Meertens( Book )

7 editions published in 1989 in English and Dutch and held by 11 WorldCat member libraries worldwide

After a reflexion on some of the issues, the more technical part of this paper is devoted to an attempt to construct a system of combinators that is better amendable to manipulation than the classical ones."
Paramorphisms by Lambert Meertens( Book )

8 editions published in 1990 in English and Dutch and held by 11 WorldCat member libraries worldwide

The ABC structure editor : structure-based editing for the ABC programming environment by Lambert Meertens( Book )

4 editions published in 1992 in English and held by 10 WorldCat member libraries worldwide

Abstract: "ABC is an interactive programming language where both ease of learning and ease of use stood high amongst its principle design aims. The language is embedded in a dedicated environment that includes a structure-based editor. To fit in with the design aims, the editor had to be easy to learn, demanding a small command set, and easy to use, demanding a powerful command set and strong support for the user in composing programs, without enforcing a computer-science understanding of issues of syntax and the like. Some novel design rules have led to an interesting editor, where the user may enter and edit text either structurally or non- structurally, without having to use different 'modes'."
The ergonomics of computer interfaces : designing a system for human use by Lambert Meertens( Book )

4 editions published in 1992 in English and held by 10 WorldCat member libraries worldwide

Abstract: "This document discusses the ergonomic problems with currently available software products, and what in general is necessary in order to make an application pleasant to work with. The application of these principles to a new open-architecture user interface system, Views, is then described."
On the design of ALEPH by Dick Grune( Book )

1 edition published in 1982 in English and held by 9 WorldCat member libraries worldwide

Placing mirrors in grids by Evangelos Kranakis( Book )

5 editions published in 1989 in English and held by 9 WorldCat member libraries worldwide

Abstract: "We study instances of the following 'Mirror Placement' problem on a (multidimensional) grid. Namely, we are given a light source S to be located at a node of the grid which is emitting a light beam in a single direction (e.g. a laser). We want to determine what is the minimum number of mirrors that must be placed on individual nodes of the grid in such a way that the light beam emanating from the source S will eventually 'hit' all of the vertices of the grid by traversing only edges of the grid. In this paper we develop an asymptotically optimal algorithm for placing mirrors on the vertices of complete multidimensional grids and analyze the worst-case behavior of any possible mirror-placement algorithm."
Repairing the parenthesis skeleton of Algol 68 programs : proof of correctness by Lambert Meertens( Book )

6 editions published between 1973 and 1975 in English and held by 8 WorldCat member libraries worldwide

Incremental polymorphic type checking in B by Lambert Meertens( Book )

5 editions published in 1982 in English and Undetermined and held by 8 WorldCat member libraries worldwide

Abstracto 84 : the next generation by Lambert Meertens( Book )

7 editions published in 1979 in English and Undetermined and held by 7 WorldCat member libraries worldwide

Completeness with finite systems of intermediate assertions for recursive program schemes by Krzysztof R Apt( Book )

6 editions published in 1977 in English and Undetermined and held by 7 WorldCat member libraries worldwide

Making B-trees work for B by T Krijnen( Book )

5 editions published in 1983 in English and Undetermined and held by 7 WorldCat member libraries worldwide

From abstract variable to concrete representation by L Meertens( Book )

4 editions published in 1976 in English and Undetermined and held by 7 WorldCat member libraries worldwide

Bitonic sort on ultracomputers by Lambert Meertens( Book )

7 editions published in 1979 in English and Undetermined and held by 7 WorldCat member libraries worldwide

Recurrent ultracomputers are not log N-fast by Lambert Meertens( Book )

6 editions published in 1979 in English and Undetermined and held by 6 WorldCat member libraries worldwide

Revised report on the algorithmic language ALGOL 68 by A. van Wijngaarden( Book )

3 editions published between 1969 and 1976 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.63 for Revised re ... to 0.94 for Repairing ...)

Alternative Names
Lambert Meertens Dutch politician and computer scientist

Meertens, L. G. L. T.

Meertens, L. G. L. T. (Lambert G. L. T.)

Meertens, Lambert

Languages
English (90)

Dutch (2)

Covers