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
20
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,395
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
Road 2 Open Meta
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,395
Absorbed dose determination in external beam radiotherapy: An international code of practice for dosimetry based on standards of absorbed dose to water. Technical Report No. TRS 398, (International Atomic Energy Agency, Vienna, Austria, 2000)
Authors:
P Andreo
,
DT Burns
,
K Hohlfeld
…
Application of the Vienna classification for Crohn’s disease to a single center from Brazil
Authors:
Genoile Oliveira Santana
,
Lorena Rocha Souza
,
Matheus Azevedo
…
Special Issue devoted to the 75th birthday of Em.O.Univ. Prof. Dipl.-Ing. Dr.techn. Benno LUX, Vienna University of Technology, Austria
Authors:
Wolf-Dieter Schubert
,
Roland Haubner
,
Herbert Danninger
…
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
…
Provably correct compiler development and implementation
Authors:
Bettina Buth
,
Karl-Heinz Buth
,
Martin Fränzle
…
See all cited by