Search Results - d.1.1 [programming techniques] applicative (functional) programming
-
1
Authors:
Contributors:
Source: http://www.cwi.nl/~ralf/dp-sf.pdf.
Subject Terms: Categories and Subject Descriptors D.2.7 [Software Engineering, Design, D.2.13 [Software Engineering, Reusable Software, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.3.4 [Programming Languages, Processors General Terms Design, Documentation, Languages Keywords Design patterns, Combinator libraries, Generic programming, Program analysis, Program transformation, Functional programming, Strafunski
File Description: application/pdf
-
2
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: General Terms Design, Languages Keywords Type-indexed programming, Datatype-generic programming, Representation types, GADT 1. Deriving type-indexed operations
File Description: application/pdf
-
3
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming Keywords
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.6 [Programming Techniques, Logic Programming, D.3.3 [Language Classifications, Multiparadigm Languages, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Languages, Performance, Theory Additional Key Words and Phrases, Conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018; http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf
-
5
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1.6 [Programming Techniques, Logic Programming, D.1.1 [Programming Techniques, Applicative (Functional) Programming General Terms Languages Keywords miniKanren, variadic, pseudo-variadic, doublepseudo-variadic, Scheme
File Description: application/pdf
-
6
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specifications—Tools, D.3.2 [Programming Languages, Language Classifications—Data-flow languages, D.1.1 [Programming Techniques, Applicative (Functional) Programming General Terms Design, Verification Keywords synchronous language
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.2.5 [Software Engineering, Testing and Debugging General Terms Languages, Theory Keywords Laziness, debugging techniques
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Verification Keywords Software Testing, Random Testing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1275; http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.1 [Programming Techniques] Applicative (functional) programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications- Concurrent, distributed, and parallel languages, ML, D.3.3 [Programming Languages, Language Constructs and Features- Concurrent programming structures General Terms, Design, Languages, Theory Keywords, Asynchrony, Concurrent ML, First-Class Events, Composability, Message-Passing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2953; http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf
-
10
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.2.2 [Software Engineering, Design Tools and Techniques—Software libraries, D.3.2 [Programming Languages, Language Classifications—Specialized application languages, H.3.4 [Information Storage and Retrieval, Systems and Software, I.7.2 [Document and Text Processing, Document Preparation General Terms, Design, Languages Additional Key Words and Phrases, Interactive Web services, Web programming
File Description: application/pdf
-
11
Authors:
Contributors:
Subject Terms: Recursion, programming recursive procedures, recursion pattern, inductive definition, BNF grammar, Kleene star, follow the grammar, functional programming, list recursion, programming languages, concrete syntax, abstract syntax, helping procedures, parsing procedures, Oz. 2001 CR Categories, D.1.1 [Programming Techniques] Applicative (Functional) Programming — design, theory, D.2.4 [Software Engineering] Coding Tools and Techniques — design, D.3.1 [Programming
File Description: application/pdf
-
12
Authors:
Contributors:
Subject Terms: Recursion, programming recursive procedures, recursion pattern, inductive definition, BNF grammar, Kleene star, follow the grammar, functional programming, list recursion, programming languages, concrete syntax, abstract syntax, helping procedures, parsing procedures, Oz. 2001 CR Categories, D.1.1 [Programming Techniques] Applicative (Functional) Programming — design, theory, D.2.4 [Software Engineering] Coding Tools and Techniques — design, D.3.1 [Programming
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Source: http://arxiv.org/pdf/0902.2073v1.pdf.
Subject Terms: problem complexity, Non-numerical algorithms and problems, D.1.1 [Programming techniques, Applicative (functional) programming. General Terms, Algorithms, Verification. Key words and phrases, Shapely Functions, Size Analysis, Type Checking, Type Inference, Diophantine equations, Polynomial Interpolation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.247.5912; http://arxiv.org/pdf/0902.2073v1.pdf
-
14
Authors: et al.
Contributors: et al.
Source: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming ; International Conference on Functional Programming ; https://hal.science/hal-00495903 ; International Conference on Functional Programming, 2009, Edinburgh, United Kingdom. pp.311-316, ⟨10.1145/1631687.1596595⟩
Subject Terms: Ocsigen, Web, Networking, Programming, Implementation, Objective Caml, ML, Services, Typing, Xhtml, Categories and Subject Descriptors: D.1.1 [PROGRAMMING TECHNIQUES]: Applicative (Functional) Programming, H.3.5 [INFORMATION STORAGE AND RETRIEVAL]: Online Information Services—Web-based services. General Terms: Design, Languages, Reliability, Security, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: Edinburgh, United Kingdom
-
15
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming, I.1.1 [Symbolic and Algebraic Manipulation, Expressions and Their Representation General Terms Algorithms, Design, Languages, Theory Keywords Datatype, Differentiation, Dissection, Division, Generic Programming, Iteration, Polynomial, Stack, Tail Recursion, Traversal, Zipper
File Description: application/pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.1 [PROGRAMMING TECHNIQUES, Applicative (Functional) Programming, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.3.4 [PROGRAMMING LANGUAGES, Processors, F.3.2 [LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages—Operational semantics, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Programming—Program Transformation, Program Synthesis General Terms, Design, Languages, Theory Additional Key Words and Phrases, Binding-time Analysis, Program Specialization, Regions 1 Work performed while at the Universität Freiburg, Germany
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, C.5 [Computer System Implementation, I.6.5 [Simulation and Modeling, Model Development, D.1.1 [Programming Techniques, Applicative (Functional) Programming, J.6 [Computer-Aided Engineering] General Terms, Design, Languages, Verification Additional Key Words and Phrases, Metamodeling, metamodel, MoC, functional language, denotational semantics, interoperable modeling language, heterogeneous system design, Ptolemy II
File Description: application/pdf
-
18
Authors:
Contributors:
Subject Terms: 2001 CR Categories, D.1.1 [Programming Techniques] Applicative (Functional) Programming — design, theory, D.2.4 [Software Engineering] Coding Tools and Techniques — design, D.3.1 [Programming Languages] Formal Definitions and Theory — syntax, D.3.3 [Programming Languages] Language Constructs and Features — recursion
File Description: application/pdf
-
19
Authors:
Contributors:
Subject Terms: G.1.3 [Numerical Analysis, Numerical Linear Algebra— linear systems, E.1 [Data Structures, Arrays, D.4.2 [Operating Systems, Storage Management—segmentation, swapping, virtual memory, B.3.2 [Memory Structures, Design Styles—primary memory, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming, F.2.1 [Analysis of Algorithms and Problem Complexity, Numerical Algorithms and Problems—computations on matrices, G.4 [Mathematical Software, Algorithm analysis
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.6699; http://www.cs.indiana.edu/~dswise/ppopp03.pdf
-
20
Authors:
Contributors:
Source: ftp://ftp.cs.iastate.edu/pub/tech_reports/1995/95-05/95-05.ps
Subject Terms: functional programming, physics, currying, teaching, examples. 1994 CR Categories, D.1.1 [Programming Techniques] Applicative (Functional) Programming, J.2 [Physical Sciences and Engineering] Physics, K.3.2 [Computers and
File Description: application/postscript
Nájsť tento článok vo Web of Science