Search Results - program rewriting https function using https

1

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Functional-Logic Graph Parser Combinators -- Proving Quadratic Derivational Complexities Using Context...”
View full text

Electronic eBook

2

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Published 2010

Table of Contents: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
View full text

Electronic eBook

3

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Published 2008

Table of Contents: “... Properties about Lists Using Containers -- Rewriting -- Termination of Narrowing in Left-Linear Constructor...”
View full text

Electronic eBook

4

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
View full text

Electronic eBook

5

All About Maude - A High-Performance Logical Framework How to Specify, Program, and Verify Systems in Rewriting Logic /

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...”
View full text

Electronic eBook

6

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
View full text

Electronic eBook

7

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
View full text

Electronic eBook

8

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Published 2007

Table of Contents: “... for Interface and Product Line Theories -- Using History Invariants to Verify Observers -- Term Rewriting...”
View full text

Electronic eBook

9

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”
View full text

Electronic eBook

10

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”
View full text

Electronic eBook

11

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”
View full text

Electronic eBook

12

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Published 2013

Table of Contents: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
View full text

Electronic eBook

13

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...”
View full text

Electronic eBook

14

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

15

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Partial Evaluation of Logic Programs Using Online Techniques -- Improving Offline Narrowing-Driven Partial...”
View full text

Electronic eBook

16

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”
View full text

Electronic eBook

17

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

Published 2010

Table of Contents: “...: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms...”
View full text

Electronic eBook

18

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Published 2005

Table of Contents: “... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”
View full text

Electronic eBook

19

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Published 2005

Table of Contents: “... Relaxation and Semidefinite Programming -- Numerical Abstraction -- Scalable Analysis of Linear Systems Using...”
View full text

Electronic eBook

20

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2007

Table of Contents: “... of Generalized Satisfiability for Linear Temporal Logic -- Formalising the ?-Calculus Using Nominal Logic...”
View full text

Electronic eBook

Narrow Search