Publications
Export 1 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
[
Title
]
Type
Year
A
B
C
D
E
F
G
H
I
J
K
[L]
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
[
Show ALL
]
L
Lourenço, LM, Seco JC, Martins F.
2011.
Linguagem Intermédia Tipificada para Máquina de Pilha Concorrente com Objectos
.
Simpósio de Informática (INForum).
Abstract
n/a
People
Publications
search-site
Enter your keywords:
Recent Publications
Concurrent Typed Intermediate Language
Implementação de um algoritmo de tipificação para linguagem concorrente com tipos comportamentais
Implementação de uma linguagem intermédia e máquina virtual para linguagens concorrentes
Notes on a testing web framework for BST
Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs
The Type Discipline of Behavioral Separation (Long version with proofs)
more