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
Mixed Relations as Enriched Semiringal ...
Research Article
Mixed Relations as Enriched Semiringal Categories
Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu
10.3217/jucs-006-01-0112
 28-01-2000
 Unique: 1046 | Total: 1268
 112-129
HTML
XML
PDF
Behavioural Coherence in Object-Oriented ...
Research Article
Behavioural Coherence in Object-Oriented Algebraic Specification
Razvan Diaconescu, Kokichi Futatsugi
10.3217/jucs-006-01-0074
 28-01-2000
 Unique: 1414 | Total: 1707
 74-96
HTML
XML
PDF
Abstract State Machine Semantics of SDL
Research Article
Abstract State Machine Semantics of SDL
Uwe Glaesser, Rene Karges
10.3217/jucs-003-12-1382
 28-12-1997
 Unique: 1013 | Total: 1265
 1382-1414
HTML
XML
PDF
MONSTR II - Suspending Semantics and ...
Research Article
MONSTR II - Suspending Semantics and Independence
Richard Banach
10.3217/jucs-003-07-0756
 28-07-1997
 Unique: 1103 | Total: 1354
 756-802
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: 1102 | Total: 1362
 443-503
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: 1089 | Total: 1374
 416-442
HTML
XML
PDF
MONSTR I - Fundamental Issues and the ...
Research Article
MONSTR I - Fundamental Issues and the Design of MONSTR
Richard Banach
10.3217/jucs-002-04-0164
 28-04-1996
 Unique: 1478 | Total: 1779
 164-216
HTML
XML
PDF
A Translation of the Pi-Calculus Into ...
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: 1205 | Total: 1538
 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