Hakutulokset - integrating constraint programming programming proof a

1

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor...”
Hae kokoteksti

Elektroninen E-kirja

2

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Higher Order ?-Calculus -- Finding Counter Examples in Induction Proofs -- A Logic-Based Approach...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2008

Sisällysluettelo: “... Search -- Declarative Semantics for Active Integrity Constraints -- A Folding Algorithm for Eliminating...”
Hae kokoteksti

Elektroninen E-kirja

4

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Updating Through Active Integrity Constraints -- Prosper: A Framework for Extending Prolog Applications...”
Hae kokoteksti

Elektroninen E-kirja

5

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2008

Sisällysluettelo: “... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”
Hae kokoteksti

Elektroninen E-kirja

7

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... and References -- Proof Abstraction for Imperative Languages -- Reading, Writing and Relations -- Session 3 -- A...”
Hae kokoteksti

Elektroninen E-kirja

8

Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”
Hae kokoteksti

Elektroninen E-kirja

9

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs...”
Hae kokoteksti

Elektroninen E-kirja

10

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Julkaistu 2013

Sisällysluettelo: “... Constraints in Probabilistic Abduction -- POLAR: A Framework for Proof Refactoring....”
Hae kokoteksti

Elektroninen E-kirja

12

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

Julkaistu 2006

Sisällysluettelo: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Hae kokoteksti

Elektroninen E-kirja

13

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”
Hae kokoteksti

Elektroninen E-kirja

14

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /

Julkaistu 2008

Sisällysluettelo: “... for Revision Programming and Connections to Active Integrity Constraints -- Recovering Consistency...”
Hae kokoteksti

Elektroninen E-kirja

15

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Julkaistu 2008

Sisällysluettelo: “... -- What’s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature...”
Hae kokoteksti

Elektroninen E-kirja

16

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Julkaistu 2008

Sisällysluettelo: “... Technologies -- Formal Techniques -- A Mechanized Program Verifier -- Verifying Design with Proof Scores...”
Hae kokoteksti

Elektroninen E-kirja

17

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... by Integrating Event- and Time-triggered Techniques -- Short Papers -- A Scala DSL for Rete-based Runtime...”
Hae kokoteksti

Elektroninen E-kirja

18

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Evacuation Simulations -- A Multi-agent Environment for Serving Proof Explanations in the Semantic Web -- A...”
Hae kokoteksti

Elektroninen E-kirja

19

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...# Ownership Relation: A Way to Explain and Relax B Restrictions -- Chorus Angelorum -- Augmenting B...”
Hae kokoteksti

Elektroninen E-kirja

20

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Julkaistu 2013

Sisällysluettelo: “... Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua