Preface.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 764, doi. 10.1017/S096012951300011X
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2015 AND VI 25 AND IP 4
Results: 9
1
2
JNI light: an operational model for the core JNI.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 805, doi. 10.1017/S0960129513000042
- By:
- Publication type:
- Article
3
Concurrency cannot be observed, asynchronously.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 978, doi. 10.1017/S0960129513000108
- By:
- Publication type:
- Article
4
Context-preserving XQuery fusion.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 916, doi. 10.1017/S096012951300008X
- By:
- Publication type:
- Article
5
Automatically inferring loop invariants via algorithmic learning.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 892, doi. 10.1017/S0960129513000078
- By:
- Publication type:
- Article
6
A certified implementation of ML with structural polymorphism and recursive types.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 867, doi. 10.1017/S0960129513000066
- By:
- Publication type:
- Article
7
Verification of tree-processing programs via higher-order mode checking.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 841, doi. 10.1017/S0960129513000054
- By:
- Publication type:
- Article
8
A liberal type system for functional logic programs.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 942, doi. 10.1017/S0960129513000091
- By:
- Publication type:
- Article
9
Bisimulation proof methods in a path-based specification language for polynomial coalgebras.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 765, doi. 10.1017/S0960129513000030
- By:
- Publication type:
- Article