Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
declarative programming » recursive programming
interface declarative » interaction declarative, interlaken declaration, interface separating
programming computers » programming computer, programming chapter, programs computer
computers https » computing https, computers gtt, computers help
programming programming » programming programmed, programming program
declarative programming » recursive programming
interface declarative » interaction declarative, interlaken declaration, interface separating
programming computers » programming computer, programming chapter, programs computer
computers https » computing https, computers gtt, computers help
1
Published 2014
Table of Contents:
“... Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Multi-paradigm Declarative Languages -- Logic Programming for Knowledge Representation -- Regular Talks...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... -- Generic Universe Types -- Declarative Object Identity Using Relation Types -- Runtime Implementation...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Environment -- Annex B (normative): Interface to Other Languages -- Annex C (normative): Systems Programming...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...General -- Lexical Elements -- Declarations and Types -- Names and Expressions -- Statements...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Declarative Model Transformation with Tefkat -- W6 – WiSME -- Essentials of the 4th UML/MoDELS Workshop...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Computing Applications -- Toward Distributed Declarative Control of Networked Cyber-Physical Systems...”View full text
Electronic
eBook
10
by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007
Table of Contents:
“... -- Predefined Data Modules -- Specifying Parameterized Data Structures in Maude -- Object-Based Programming...”Published 2007
View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”View full text
Electronic
eBook
12
Table of Contents:
“...The Communication Mechanism of Cognition -- Matters of Method -- Interfaces and Components -- Data...”
View full text
View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Keynote I -- The Objects and Arrows of Computational Design -- Algebraic Models for Bidirectional...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Queries for Scala -- Integration of Data Validation and User Interface Concerns in a DSL for Web...”View full text
Electronic
eBook
15
Table of Contents:
“... of APIs -- Declarative Programming -- Daily Life -- Extreme Advice Considered Harmful -- Paradoxes of API...”
View full text
View full text
Electronic
eBook
16
17
Published 2005
Table of Contents:
“... Procedure for UTVPI Constraints -- Declarative Constraint Programming with Definitional Trees -- Logical...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Process Integration -- Information Integration -- Declarative XML Data Cleaning with XClean...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... in a Service-Oriented Architecture -- Curriculum Model Checking: Declarative Representation...”View full text
Electronic
eBook