Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

44 items matching your criteria

Sort by:
Filter By:
Subject: F.3.2 - Semantics of Programming Languages
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1 2 3 4
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
Mixed Relations as Enriched Semiringal Categories
Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu
10.3217/jucs-006-01-0112
 28-01-2000
 Unique: 323 | Total: 376  | Access Period:
 112-129
HTML
XML
PDF
Research Article
Behavioural Coherence in Object-Oriented Algebraic Specification
Razvan Diaconescu, Kokichi Futatsugi
10.3217/jucs-006-01-0074
 28-01-2000
 Unique: 627 | Total: 729  | Access Period:
 74-96
HTML
XML
PDF
Research Article
Abstract State Machine Semantics of SDL
Uwe Glaesser, Rene Karges
10.3217/jucs-003-12-1382
 28-12-1997
 Unique: 291 | Total: 344  | Access Period:
 1382-1414
HTML
XML
PDF
Research Article
MONSTR II - Suspending Semantics and Independence
Richard Banach
10.3217/jucs-003-07-0756
 28-07-1997
 Unique: 327 | Total: 382  | Access Period:
 756-802
HTML
XML
PDF
Research Article
The Formal Specification of Oberon
Philipp Kutter, Alfonso Pierantonio
10.3217/jucs-003-05-0443
 28-05-1997
 Unique: 327 | Total: 396  | Access Period:
 443-503
HTML
XML
PDF
Research Article
Montages Specifications of Realistic Programming Languages
Philipp Kutter, Alfonso Pierantonio
10.3217/jucs-003-05-0416
 28-05-1997
 Unique: 306 | Total: 364  | Access Period:
 416-442
HTML
XML
PDF
Research Article
MONSTR I - Fundamental Issues and the Design of MONSTR
Richard Banach
10.3217/jucs-002-04-0164
 28-04-1996
 Unique: 419 | Total: 489  | Access Period:
 164-216
HTML
XML
PDF
Research Article
A Translation of the Pi-Calculus Into MONSTR
Richard Banach, J. Balázs, George Papadopoulos
10.3217/jucs-001-06-0339
 28-06-1995
 Unique: 401 | Total: 524  | Access Period:
 339-398
HTML
XML
PDF
1 2 3 4

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

OK