Suggested Topics within your search.
Software engineering 68 Artificial Intelligence 44 Artificial intelligence 44 Software Engineering 39 Computers 38 Software Engineering/Programming and Operating Systems 37 Computer logic 30 more ...
Software engineering 68 Artificial Intelligence 44 Artificial intelligence 44 Software Engineering 39 Computers 38 Software Engineering/Programming and Operating Systems 37 Computer logic 30 more ...
1
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27...
Published 2007
Table of Contents: ';
“...Datatype-Generic Programming -- Comparing Approaches to Generic Programming in Haskell -- Generic...”Get full text
2
Published 2007
Table of Contents: ';
“... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”Get full text
3
Table of Contents: ';
“...1. Classes and Generic Functions -- 2. Class Hierarchies -- 3. Implementation Reuse -- 4...”
Get full text
Get full text
4
Table of Contents: ';
“...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
Get full text
Get full text
5
Table of Contents: ';
“... Overloading -- Generic Programming -- Mathematical and Numerical Examples -- Parameterised Derived Types (PDTs...”
Get full text
Get full text
6
Published 2016
Table of Contents: ';
“... through generic programming -- Declarative Programming with Algebra....”Get full text
7
Published 2007
Table of Contents: ';
“... -- Generic Universe Types -- Declarative Object Identity Using Relation Types -- Runtime Implementation...”Get full text
8
Published 2021
Table of Contents: ';
“... of a generic partitioned polynomial matrix with $2 \times 2$ submatrices -- On the implementation...”Get full text
9
Published 2019
Table of Contents: ';
“... Programming Formulations for Trained Neural -- Extended Formulations from Communication Protocols in Output...”Get full text
10
Published 2020
Table of Contents: ';
“... -- Recognizing even-cycle and even-cut matroids -- A combinatorial algorithm for computing the rank of a generic...”Get full text
11
Published 2018
Table of Contents: ';
“...1 Similarity-based Analysis of Population Dynamics in Genetic Programming Performing Symbolic...”Get full text
12
Table of Contents: ';
“...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
Get full text
Get full text
13
Table of Contents: ';
“... -- Exceptions, Generics etc. -- Predefined Library -- Containers -- Epilogue....”
Get full text
Get full text
14
Published 2007
Table of Contents: ';
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Get full text
15
Table of Contents: ';
“...1. Introduction -- 2. Words Of Agreement -- 3. Unmanaged Programming Brief -- 4. Managed...”
Get full text
Get full text
16
Published 2013
Table of Contents: ';
“... -- Subprograms -- Packages -- Visibility Rules -- Tasks and Synchronization -- Program Structure and Compilation...”Get full text
17
18
Table of Contents: ';
“...: REPL -- 4. Introduction to Object-Oriented Programming -- 5. Constants, Variables, and Data Types -- 6...”
Get full text
Get full text
19
Published 2008
Table of Contents: ';
“...Powla Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete...”Get full text
20