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

ترویج و اصلاح تئوری

Theory propagation and reification

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

آرایه های عملکردی ضعیف قابل انعطاف با همبستگی مدار

Extensible sparse functional arrays with circuit parallelism

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

تجزیه و تحلیل شکل در یک زبان کاربردی با استفاده از زبان های منظم

Shape analysis in a functional language by using regular languages

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

دو طرفه برای آزاد؟ برای تحولات مونومورفیک

“Bidirectionalization for free” for monomorphic transformations

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

یک سفارش واحد برای اثبات ختم

A unified ordering for termination proving

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

الگوریتم های کارآمد برای همبستگی برنامه برای برنامه ریزی محدودیت همجوشی

Efficient algorithms for program equivalence for confluent concurrent constraint programming

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

پالایش زمان در یک زبان همزمان

Time refinement in a functional synchronous language

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

Two type extensions for the constraint modeling language MiniZinc

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