Suchergebnisse - D.1.1 [Programming Techniques] Applicative (Functional) Programming
-
1
Autoren:
Weitere Verfasser:
Quelle: http://www.cwi.nl/~ralf/dp-sf.pdf.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
2
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: General Terms Design, Languages Keywords Type-indexed programming, Datatype-generic programming, Representation types, GADT 1. Deriving type-indexed operations
Dateibeschreibung: application/pdf
-
3
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming Keywords
Dateibeschreibung: application/pdf
-
4
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
6
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
11
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://arxiv.org/pdf/0902.2073v1.pdf.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.247.5912; http://arxiv.org/pdf/0902.2073v1.pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
Geographisches Schlagwort: Edinburgh, United Kingdom
-
15
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
16
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
17
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
18
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Quelle: ftp://ftp.cs.iastate.edu/pub/tech_reports/1995/95-05/95-05.ps
Schlagwörter: 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
Dateibeschreibung: application/postscript
Nájsť tento článok vo Web of Science