دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

Editorial Board

5 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

A fibrational framework for possible-world semantics of Algol-like languages

17 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Combining algebraic effects with continuations

21 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

On the relations between monadic semantics

35 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

A syntactic correspondence between context-sensitive calculi and abstract machines

33 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Splitting atoms safely

11 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Flow analysis of lazy higher-order functional programs

17 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Analyzing the environment structure of higher-order languages using frame strings

32 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

A bisimulation for dynamic sealing

24 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Core algebra revisited

8 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

The Girard–Reynolds isomorphism (second edition)

26 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

A semantics for concurrent separation logic

44 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Resources, concurrency, and local reasoning

37 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Relational separation logic

27 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

A few exercises in theorem processing

11 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

On being a student of John Reynolds

5 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه