Søgeresultater - program reasoning program https array https

1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Human and Unhuman Commonsense Reasoning -- Gödel Logics – A Survey -- Tableau Calculus for the Logic...”
Få fuldtekst

Electronisk eBog

2

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Reasoning about XML with Temporal Logics and Automata -- Distributed Consistency-Based Diagnosis -- Session...”
Få fuldtekst

Electronisk eBog

3

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Få fuldtekst

Electronisk eBog

4

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Udgivet 2010

Indholdsfortegnelse: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Få fuldtekst

Electronisk eBog

5

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Udgivet 2014

Indholdsfortegnelse: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Få fuldtekst

Electronisk eBog

6

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference...

Udgivet 2013

Indholdsfortegnelse: “... and Sequent Rules with an Application to S5 -- Schemata of Formulæ in the Theory of Arrays -- TAFA – A Tool...”
Få fuldtekst

Electronisk eBog

7

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint...”
Få fuldtekst

Electronisk eBog

8

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking...”
Få fuldtekst

Electronisk eBog

9

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
Få fuldtekst

Electronisk eBog

10

Numerical Python A Practical Techniques Approach for Industry /

af Johansson, Robert., Johansson, Robert.
Udgivet 2015

Indholdsfortegnelse: “...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
Få fuldtekst

Electronisk eBog

11

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”
Få fuldtekst

Electronisk eBog

12

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”
Få fuldtekst

Electronisk eBog

13

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Udgivet 2010

Indholdsfortegnelse: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Få fuldtekst

Electronisk eBog

14

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2008

Indholdsfortegnelse: “... of ACTL and LTL -- The Complexity of CTL* + Linear Past -- Footprints in Local Reasoning -- A Modal...”
Få fuldtekst

Electronisk eBog

16

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Få fuldtekst

Electronisk eBog

17

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

Udgivet 2014

Indholdsfortegnelse: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Få fuldtekst

Electronisk eBog

18

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Udgivet 2010

Indholdsfortegnelse: “... with Layered Queueing Networks -- Error Handling: From Theory to Practice -- Modeling and Reasoning about...”
Få fuldtekst

Electronisk eBog

19

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

Udgivet 2007

Indholdsfortegnelse: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Få fuldtekst

Electronisk eBog

20

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning