Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
integrating transformations » integrating transportation, integral transformations, interactive transformations
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming abstraction » programming abstract, programming introduction
abstraction https » instruction https, arbitration https, extraction https
integrating transformations » integrating transportation, integral transformations, interactive transformations
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming abstraction » programming abstract, programming introduction
abstraction https » instruction https, arbitration https, extraction https
1
Udgivet 2008
Indholdsfortegnelse:
“... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2007
Indholdsfortegnelse:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Få fuldtekst
Electronisk
eBog
4
Indholdsfortegnelse:
“... -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved rules for probabilistic...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2007
Indholdsfortegnelse:
“...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“... -- Session 6 -- Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy...”Få fuldtekst
Electronisk
eBog
8
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Udgivet 2013
Indholdsfortegnelse:
“... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2007
Indholdsfortegnelse:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2013
Indholdsfortegnelse:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2008
Indholdsfortegnelse:
“... and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2007
Indholdsfortegnelse:
“...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”Få fuldtekst
Electronisk
eBog
13
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... Abstraction and Repair of Behavioral Programs -- Prediction and Explanation over DL-Lite Data Streams...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2008
Indholdsfortegnelse:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2010
Indholdsfortegnelse:
“... Decomposition for Parallel Programs -- Z Papers -- Communication Systems in ClawZ -- Formalising and Validating...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2012
Indholdsfortegnelse:
“... -- Integration of a Pattern-Based Layout Engine into Diagram Editors -- Tool Demonstration of the Transformation...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2013
Indholdsfortegnelse:
“... Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2006
Indholdsfortegnelse:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2013
Indholdsfortegnelse:
“...Keynote Addresses -- Advances in Automated Program Repair and a Call to Arms -- Some Recent Work...”Få fuldtekst
Electronisk
eBog