Canlyniadau Chwilio - parallel verifying programs functionals function https

1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Cael y testun llawn

Electronig eLyfr

2

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Cael y testun llawn

Electronig eLyfr

3

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Cael y testun llawn

Electronig eLyfr

4

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Cyhoeddwyd 2015

Tabl Cynhwysion: “... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”
Cael y testun llawn

Electronig eLyfr

5

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Cael y testun llawn

Electronig eLyfr

6

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Cyhoeddwyd 2014

Tabl Cynhwysion: “...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Cael y testun llawn

Electronig eLyfr

9

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Cael y testun llawn

Electronig eLyfr

10

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Cael y testun llawn

Electronig eLyfr

11

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Cael y testun llawn

Electronig eLyfr

13

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Cael y testun llawn

Electronig eLyfr

14

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) -- Automata and Logics...”
Cael y testun llawn

Electronig eLyfr

15

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Cael y testun llawn

Electronig eLyfr

16

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Cael y testun llawn

Electronig eLyfr

17

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Cael y testun llawn

Electronig eLyfr

18

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Cael y testun llawn

Electronig eLyfr

19

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Cael y testun llawn

Electronig eLyfr

20

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad