A formal definition of a PL/I subset

Bekic, Hans; Bjørner, Dines; Henhapl, Wolfgang; Jones, Cliff B.; Lucas, Peter

doi:10.1007/bfb0048942

Cited by 15 publications

(13 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The PL/I definition [8] is an interesting document: the base definition (Part I) is a fraction of the size of the VDL definition 12 and is matched by a Part II which contains a commentary of about the same size. Anyone wishing to see the style, might find it easier to tackle the ALGOL 60 description in [33] or that for Pascal in [4].…”

Section: Superficial Pointsmentioning

confidence: 99%

“…The Vienna group experimented with different document structures for presenting descriptions: [8] starts with the whole (abstract) syntax, followed by the so-called context conditions, then the state or auxiliary objects and finally all of the semantic functions. In [33], we tried to group the material (syntax, context conditions, semantic functions) by language construct.…”

Section: Superficial Pointsmentioning

confidence: 99%

“…The Baden conference had been the genesis of IFIP's Working Group 2.2 and there had been an exciting meeting in Vienna in April 1969. 8 Following on from that meeting, Dana Scott came back to the Vienna Lab. for a stimulating visit in August 1969.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Scientific Decisions which Characterize VDM

Jones

1999

FM’99 — Formal Methods

View full text Add to dashboard Cite

The formal description and development method known as VDM has been used extensively, its specification language is now an ISO standard, and it has influenced other specification languages. The origins of VDM are normally placed in language description or semantics but it is probably best known in the wider arena of formal methods for (general) program specification and design. This paper sets out a personal view of some of the key technical decisions which characterize the Vienna Development Method.1 The papers identified here as important not only represent a personal choice but their selection hass also been influenced by accessibility.

show abstract

Section: Superficial Pointsmentioning

confidence: 99%

Section: Superficial Pointsmentioning

confidence: 99%

See 1 more Smart Citation

Scientific Decisions which Characterize VDM

Jones

1999

FM’99 — Formal Methods

View full text Add to dashboard Cite

show abstract

“…Ignoring notational differences, the PL/i subset definition [20] is of this kind. The language design group of Ada is preparing a denotational definition of Ada.…”

Section: Eniap): Stg -^ Stgmentioning

confidence: 99%

“…A significant improvement in the metalanguage and the mathematical apparatus has been worked out and is known as META-IV. The new metalanguage together with an adaptation of the methodology (called VDM, for Vienna Development Method [19]), strongly influenced by the work of Scott and Strachey on denotational semantics, was successfully applied to a subset of PL/I [20]. The improvement achieved results in proofs of correctness for implementations that are shorter, more lucid, and thus more convincing than earlier attempts.…”

Section: Introductionmentioning

confidence: 99%

Formal Semantics of Programming Languages: VDL

Lucas¹

1981

IBM J. Res. & Dev.

Self Cite

View full text Add to dashboard Cite

show abstract

Roots of Computing in Austria

Walk¹

2002

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

It was in the late fifties when we ran one of the first application programs on the computer we just had finished at the Technical University of Vienna. We were a group of young people led by Heinz Zemanek, engaged in one of the early university computer projects of those times. The computer became known under the poetic name of 'Mailuefterl' and was the first one in Europe built entirely with transistor technology. Mailuefterl had fifty words of core store, 10.000 words of drum store, paper tape input and typewriter output, and an internal speed of 2.000 words per second [16] [04]. The program in question was written and run for a musician, a composer interested in the set of those twelve-tone sequences that satisfied certain constraints he had established. Mailuefterl, by the way, ran overnight to complete the job, despite clever optimization Peter Lucas, the programmer, had designed into the program. The program was run only once, which makes this an extreme example of a computer usage pattern: one programmer transforming a class of problems out of a certain universe (music) into computer digestible form (the program), solving a particular case by computer, interpreting the results, handing them over to the one interested party (the composer). Mailuefterl was used for a number of applications in similar patterns and also for a number of more durable ones. It was moved to IBM Vienna in 1961, and members of the University group then formed the kernel of a newly established IBM Science Group in Vienna, again under the leadership of Heinz Zemanek. This group of two dozen people developed into the IBM

show abstract

A formal definition of a PL/I subset

Cited by 15 publications

References 1 publication

Scientific Decisions which Characterize VDM

Scientific Decisions which Characterize VDM

Formal Semantics of Programming Languages: VDL

Roots of Computing in Austria

Contact Info

Product

Resources

About