Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
28
views
0
references
Top references
cited by
15
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,732
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
The Vienna Development Method: The Meta-Language
other
Editor(s):
Dines Bjørner
,
Cliff B. Jones
Publication date
(Print):
1978
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Language change
Author and book information
Book
ISBN (Print):
978-3-540-08766-3
ISBN (Electronic):
978-3-540-35836-7
Publication date (Print):
1978
DOI:
10.1007/3-540-08766-4
SO-VID:
c4c21eff-e10c-4861-a229-479dbc62195b
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
On the formalization of programming languages: Early history and main approaches
pp. 218
The meta-language: A reference manual
pp. 278
Denotational semantics of goto: An exit formulation and its relation to continuations
pp. 305
A formal definition of ALGOL 60 as described in the 1975 modified report
pp. 337
Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition
pp. 375
References & bibliography
Similar content
3,732
The micro-biota of a sub-surface monument the medieval chapel of St. Virgil (Vienna, Austria).
Authors:
G Pinar
,
K. Ripka
,
J Weber
…
Seventh district, Vienna: ′Neubau′ sightseeing guide
Authors:
Material Flows and Stocks in the Urban Building Sector: A Case Study from Vienna for the Years 1990–2015
Authors:
Jakob Lederer
,
Andreas Gassner
,
Florian Keringer
…
See all similar
Cited by
15
Flow analysis of lambda expressions
Authors:
Neil Jones
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
Authors:
Betty Cheng
,
Kerstin Eder
,
Martin Gogolla
…
The early search for tractable ways of reasoning about programs
Authors:
C.B. Jones
See all cited by