Temat: functional programming - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Repo: High-Level Persistence Layer for Clojure
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972908.pdf
Data publikacji:: 2011
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: functional programming
Lisp
Clojure
database
Opis:: One of our previous works was dedicated to creating an effective no-SQL database solution for Clojure. The solution called Store still missed a high-level data definition language, the concept of objects, complex types and other programmers' productivity increasing features of a production-quality database product. The paper presents a new DSL embedded in Clojure that addresses all those expectations and works seamlessly with the site functional language.
Źródło:: Journal of Applied Computer Science Methods; 2011, 3 No. 2; 5-16
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Store: Embedded Persistent Storage for Clojure Programming Language
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/108715.pdf
Data publikacji:: 2010
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: functional programming
Lisp
Clojure
embedded database
Opis:: Functional programming is the most popular declarative style of programming. Its lack of state leads to an increase of programmers' productivity and software robustness. Clojure is a very effective Lisp dialect, but it misses a solid embedded database implementation. A store is a proposed embedded database engine for Clojure that helps to deal with the problem of the inevitable state by mostly functional, minimalistic interface, abandoning SQL and tight integration with Clojure as a sole query and data-processing language.
Źródło:: Journal of Applied Computer Science Methods; 2010, 2 No. 1; 83-95
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Automated Procedure Behavior Tracing in Functional Programming Style
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972858.pdf
Data publikacji:: 2013
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: Automated software testing
functional programming
Clojure
Opis:: Modern software testing demands high degree of automation especially in test data generation domain. Comparing procedure call behaviors with diverse, automatically generated data, exhibiting various levels of correctness, allows programmers, test engineers and quality managers to track the impact of software changes over time on the designed and implemented system. There are no well known frameworks offering such functionality for functional programming languages. The paper presents a sketch of such framework for Clojure and allows readers to get a detailed insight into some implementation details of the solution.
Źródło:: Journal of Applied Computer Science Methods; 2013, 5 No. 2; 165-180
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Equivalence in Java and Clojure, Design and Implementation Considerations
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972869.pdf
Data publikacji:: 2013
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: Equivalence testing
semantics
identity
functional programming
Clojure
Opis:: Immutability and the functional programming style demand an extensible and generic approach in the domain of semantic and structural equivalence testing. The lack of a library or a framework offering such functionality for Clojure programming language led to some design and implementation efforts that this article undertakes to describe. Incidentally it tries to gather and present a collection of most severe mistakes that may be made by a programmer that attempts to test objects of various kinds for their equivalence, both in Clojure and the underlying Java run-time with it's standard library, showing simple yet usable ways to avoid them.
Źródło:: Journal of Applied Computer Science Methods; 2013, 5 No. 2; 137-154
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Store Revisited
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972912.pdf
Data publikacji:: 2013
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: databases
transactions
functional programming
Clojure
software architecture
Opis:: Building abstraction layers is the key do the creation of reliable, scalable and maintainable software. Large number of database models and implementations together with the requirements coming from agile and TDD methodologies make it even more tangible. The paper is an attempt to present features and abstraction layers of a transactional key → value persistent storage library in which the physical storage is fully transparent for a programmer and exchangeable on the run-time.
Źródło:: Journal of Applied Computer Science Methods; 2013, 5 No. 1; 69-83
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Persistent Sequences with Effective Random Access and Support for Infinity
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972898.pdf
Data publikacji:: 2014
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: functional programming
Clojure
persistent collections
infinity
random access
Opis:: Persistent sequences are the core data structure in functional programming style. Their typical implementations usually allow creating infinite streams of objects. Unfortunately, asking for length of an infinite data structure never ends or ends with a run-time error. Similarly, there is no default way to make an effective, O[1] or logarithmic access to an arbitrarily chosen sequence element, even when the nature of the correlation between index value and the sequence element is known. This paper presents a Clojure library that meets these limitations and offers an enhanced version of sequences with a support for effective random access and the ability to ask for an infinite length.
Źródło:: Journal of Applied Computer Science Methods; 2014, 6 No. 1; 67-80
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Graphical User Interface for Protrace Library
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/108776.pdf
Data publikacji:: 2010
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: Protrace
Clojure
Prefuse
functional programming
Computational Process
visualization
Opis:: Protrace library allows Clojure programmers to investigate an arbitrary computational process at the abstract syntax tree (AST) level. Abandoning pure textual representations and moving towards graphs and trees increased the readability and made the insight into processes easier. It gains special importance when tracing recursive and mutually dependent procedures execution. Prefuse visualization framework provided great features to prepare convenient views of extended ASTs. The paper presents recent Protrace improvements in this matter.
Źródło:: Journal of Applied Computer Science Methods; 2010, 2 No. 2; 127-134
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Persistent Collections with Customizable Equivalence and Identity Semantics
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972904.pdf
Data publikacji:: 2014
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: Equivalence testing
semantics
identity
functional programming
Clojure
persistent collections
Opis:: Providing a comprehensive set of mechanisms solving the problem of controlling equivalence and identity requires implementing the functionality for non-sequential containers instrumented with the enriched semantics. Functional programming languages, like Clojure, typically miss the functionality by default. The article presents the design considerations, concepts and implementation details of generalized sets and maps aware of the customizable equivalence and identity together with some usage examples.
Źródło:: Journal of Applied Computer Science Methods; 2014, 6 No. 1; 27-42
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Low-Cost Dynamic Constraint Checking for the JVM
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/108744.pdf
Data publikacji:: 2016
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: formal software verification
software quality
dynamic type-checking
functional programming
category theory
Clojure
Opis:: Using formal methods for software verification slowly becomes a standard in the industry. Overall it is a good idea to integrate as many checks as possible with the programming language. This is a major cause of the apparent success of strong typing in software, either performed on the compile time or dynamically, on runtime. Unfortunately, only some of the properties of software may be expressed in the type system of event the most sophisticated programming languages. Many of them must be performed dynamically. This paper presents a flexible library for the dynamically typed, functional programming language running in the JVM environment. This library offers its users a close to zero run-time overhead and strong mathematical background in category theory.
Źródło:: Journal of Applied Computer Science Methods; 2016, 8 No. 2; 115-136
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "functional programming" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język