Arama Sonuçları - program termination https function based https

1

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Tam Metin Erişim

Elektronik Ekitap

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Tam Metin Erişim

Elektronik Ekitap

3

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Tam Metin Erişim

Elektronik Ekitap

6

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Program Termination -- Proving Termination with (Boolean) Satisfaction -- Termination Analysis...”
Tam Metin Erişim

Elektronik Ekitap

7

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Tam Metin Erişim

Elektronik Ekitap

10

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Tam Metin Erişim

Elektronik Ekitap

11

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “.../Output Behavior of Programs -- Unrestricted Termination and Non-termination Arguments for Bit-Vector...”
Tam Metin Erişim

Elektronik Ekitap

13

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Tam Metin Erişim

Elektronik Ekitap

14

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”
Tam Metin Erişim

Elektronik Ekitap

15

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Tam Metin Erişim

Elektronik Ekitap

16

Defining fitness function for search based assessment of grammar reachability

Yazar: Umar, Kabir, Md Sultan, Abu Bakar, Zulzalil, Hazura, Admodisastro, Novia Indriaty, Abdullah @ Selimun, Mohd Taufik
Baskı/Yayın Bilgisi 2018

“... Based CFG reachability problems, addressable using search algorithms, such as Evolutionary Programming...”
Tam Metin Erişim

Makale

17

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Tam Metin Erişim

Elektronik Ekitap

19

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative...”
Tam Metin Erişim

Elektronik Ekitap

20

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt