Risultati della ricerca - programs reactive https function using https

1

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

Pubblicazione 2006

Sommario: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Testo

Elettronico eBook

2

Thinking in LINQ Harnessing the Power of Functional Programming in .NET Applications /

di Mukherjee, Sudipta., Mukherjee, Sudipta.
Pubblicazione 2014

Soggetti: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo

Elettronico eBook

3

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

Pubblicazione 2013

Sommario: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Testo

Elettronico eBook

4

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Pubblicazione 2013

Sommario: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Testo

Elettronico eBook

5

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /

Pubblicazione 2010

Sommario: “...? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic...”
Testo

Elettronico eBook

6

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /

Pubblicazione 2015

Sommario: “...Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using...”
Testo

Elettronico eBook

7

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Pubblicazione 2008

Sommario: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
Testo

Elettronico eBook

8

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Pubblicazione 2006

Sommario: “... and Validation – MoDeVa -- Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models...”
Testo

Elettronico eBook

9

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /

Pubblicazione 2012

Sommario: “... Challenges of Workload Optimized Hardware Systems -- Synthesis with Clairvoyance -- Generalized Reactivity(1...”
Testo

Elettronico eBook

10

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Pubblicazione 2014

Sommario: “... for Natural-Language Timed Requirements of Reactive Systems -- A Hybrid Model of Connectors in Cyber-Physical...”
Testo

Elettronico eBook

11

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

Pubblicazione 2005

Sommario: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Testo

Elettronico eBook

12

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Pubblicazione 2008

Sommario: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Testo

Elettronico eBook

13

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...

Pubblicazione 2015

Sommario: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Testo

Elettronico eBook

14

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Pubblicazione 2005

Sommario: “...-Based Diagnosis Using Preference-Based Compilation -- Function Approximation via Tile Coding: Automating...”
Testo

Elettronico eBook

15

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /

Pubblicazione 2014

Sommario: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
Testo

Elettronico eBook

16

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Reactive Programming Language -- Formalizing Interoperability Testing: Quiescence Management and Test...”
Testo

Elettronico eBook

17

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Pubblicazione 2007

Sommario: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Testo

Elettronico eBook

18

Expert F#

di Cisternino, Antonio., Cisternino, Antonio., Granicz, Adam., Syme, Don.
Pubblicazione 2007

Sommario: “...Getting Started with F# and .NET -- Introducing Functional Programming -- Introducing Imperative...”
Testo

Elettronico eBook

19

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers /

Pubblicazione 2007

Sommario: “... Monitoring for Program Security -- Modular Formalization of Reactive Modules in COQ -- Closing Internal...”
Testo

Elettronico eBook

20

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Specifications Using Preferred Answer Set Programming -- Model Checking Strategic Abilities of Agents Under...”
Testo

Elettronico eBook

Restringi la ricerca