In this issue

Papers published: 8

Total pages: 288

Unique views: 8440

Total views: 10555

open access

Go to issue

« Previous
Issue 3(5)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 3(5)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
J.UCS Special ASM Issue. Part II.
Editorial
J.UCS Special ASM Issue. Part II.
Egon Börger
10.3217/jucs-003-05
 28-05-1997
 Unique: 915 | Total: 1158
 414-415
HTML
XML
PDF
Montages Specifications of Realistic ...
Research Article
Montages Specifications of Realistic Programming Languages
Philipp Kutter, Alfonso Pierantonio
10.3217/jucs-003-05-0416
 28-05-1997
 Unique: 1098 | Total: 1383
 416-442
HTML
XML
PDF
The Formal Specification of Oberon
Research Article
The Formal Specification of Oberon
Philipp Kutter, Alfonso Pierantonio
10.3217/jucs-003-05-0443
 28-05-1997
 Unique: 1112 | Total: 1372
 443-503
HTML
XML
PDF
On the Construction of Correct Compiler ...
Research Article
On the Construction of Correct Compiler Back-Ends: An ASM-Approach
Wolf Zimmermann, Thilo Gaul
10.3217/jucs-003-05-0504
 28-05-1997
 Unique: 1165 | Total: 1477
 504-567
HTML
XML
PDF
Correctness Proof of a Distributed Implementation ...
Research Article
Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines
Lourdes Araujo
10.3217/jucs-003-05-0568
 28-05-1997
 Unique: 952 | Total: 1211
 568-602
HTML
XML
PDF
Integrating ASMs into the Software Development ...
Research Article
Integrating ASMs into the Software Development Life Cycle
Egon Börger, Luca Mearelli
10.3217/jucs-003-05-0603
 28-05-1997
 Unique: 1100 | Total: 1377
 603-665
HTML
XML
PDF
Refining an ASM Specification of the ...
Research Article
Refining an ASM Specification of the Production Cell to C++ Code
Luca Mearelli
10.3217/jucs-003-05-0666
 28-05-1997
 Unique: 1023 | Total: 1285
 666-688
HTML
XML
PDF
Model Checking for Abstract State Machines
Research Article
Model Checking for Abstract State Machines
Kirsten Winter
10.3217/jucs-003-05-0689
 28-05-1997
 Unique: 1075 | Total: 1292
 689-701
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK