Fundamenta Informaticae - Tom Vol. 177, nr 3/4 (2020) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 177, nr 3/4

Czasopismo

Fundamenta Informaticae

Wydawca

Polskie Towarzystwo Matematyczne

Rocznik

2020

Identyfikatory

Uwagi

Special Issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation : LOPSTR 2016

Zawartość wolumenu

Vol. 177, nr 3/4
- artykuł: A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell (Albert Elvira, Bezirgiannis Nikolaos, de Boer Frank, Martin-Martin Enrique), s. 203--234
- artykuł: Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Alpuente Maria, Pardo Daniel, Villanueva Alicia), s. 235--273
- artykuł: lpopt : A Rule Optimization Tool for Answer Set Programming (Bichler Manuel, Morak Michael, Woltran Stefan), s. 275--296
- artykuł: Dynamic Slicing for Concurrent Constraint Languages (Falaschi Moreno, Gabbrielli Maurizio, Olarte Carlos, Palamidessi Catuscia), s. 331--357
- artykuł: Selective Unification in (Constraint) Logic Programming (Mesnard Fred, Payet Étienne, Vidal Germán), s. 359--383
- artykuł: Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms (Tarau Paul), s. 385--415

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.