Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function rewriting » functions writing, function predicting, induction rewriting
program computing » program comparing, programs compiling, problem computing
rewriting https » writing https, rewriting type, screenwriting https
https function » its function, sites function, ups function
function rewriting » functions writing, function predicting, induction rewriting
program computing » program comparing, programs compiling, problem computing
rewriting https » writing https, rewriting type, screenwriting https
https function » its function, sites function, ups function
1
Published 2007
Table of Contents:
“... -- Proof and Computation -- Towards Rewriting in Coq -- Superdeduction at Work -- Remarks on Semantic...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“..., and confluence. -- Term-Graph Rewriting Via Explicit Paths -- Finer Is Better: Abstraction Refinement...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
5
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
11
by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007
Table of Contents:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”Published 2007
View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Information -- Rewriting Measurement-Based Quantum Computations with Generalised Flow -- The Compositional...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”View full text
Electronic
eBook
14
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...”View full text
Electronic
eBook
15
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Algorithm -- Implicit Computational Complexity and Rewriting -- A Propositional Proof System for Log Space...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... -- The Rewriting Calculus as a Combinatory Reduction System -- Relational Parametricity and Separation Logic...”View full text
Electronic
eBook