Volume 89

5

Exception analysis in the Java Native Interface

Year:
2014
Language:
english
File:
PDF, 2.41 MB
english, 2014
9

Weakest preconditions and cumulative subgoal fulfillment

Year:
2014
Language:
english
File:
PDF, 240 KB
english, 2014
13

Foreword

Year:
2014
Language:
english
File:
PDF, 111 KB
english, 2014
15

A verified algebra for read–write Linked Data

Year:
2014
Language:
english
File:
PDF, 419 KB
english, 2014
17

An algorithm to test the conflict preorder

Year:
2014
Language:
english
File:
PDF, 600 KB
english, 2014