Canlyniadau Chwilio - programming imperative https functionals function https

Chwilio eraill:
programming imperative » programming interactive , programming integrating , programming operations
functionals function » function function , functions functional , function dysfunction
https functionals » type functionals , data functionals , flaps functional
imperative https » imperative how , imperative fat , imperative human
function https » functions https , fiction https

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

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

gan Mukherjee, Sudipta., Mukherjee, Sudipta.
Cyhoeddwyd 2014

Pynciau: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Cael y testun llawn

Electronig eLyfr

Programming Languages An Active Learning Approach /

gan Lee, Kent D., Lee, Kent D.
Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Cael y testun llawn

Electronig eLyfr

Adapting Proofs-as-Programs The Curry--Howard Protocol /

gan Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Cyhoeddwyd 2005

Tabl Cynhwysion: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... and References -- Proof Abstraction for Imperative Languages -- Reading, Writing and Relations -- Session 3 -- A...”
Cael y testun llawn

Electronig eLyfr

Linear Genetic Programming

gan Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
Cyhoeddwyd 2007

Tabl Cynhwysion: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Operational Semantics A Concise Overview /

gan Fernández, Maribel., Fernández, Maribel.
Cyhoeddwyd 2014

Tabl Cynhwysion: “... Semantics of Imperative Languages -- General Features of Functional Languages -- Operational Semantics...”
Cael y testun llawn

Electronig eLyfr

Multiparadigm Constraint Programming Languages

gan Hofstedt, Petra., Hofstedt, Petra.
Cyhoeddwyd 2011

Tabl Cynhwysion: “... Programming Languages -- Concurrent Constraint Functional Programming with CCFL -- A Generic Framework...”
Cael y testun llawn

Electronig eLyfr

Programming Language Concepts

gan Sestoft, Peter., Sestoft, Peter.
Cyhoeddwyd 2012

Tabl Cynhwysion: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
Cael y testun llawn

Electronig eLyfr

Foundations of Programming Languages

gan Lee, Kent D., Lee, Kent D.
Cyhoeddwyd 2014

Pynciau: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Cael y testun llawn

Electronig eLyfr

Programming Languages: Principles and Paradigms

gan Gabbrielli, Maurizio., Gabbrielli, Maurizio., Martini, Simone.
Cyhoeddwyd 2010

Tabl Cynhwysion: “... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Cael y testun llawn

Electronig eLyfr

Compiler Design Analysis and Transformation /

gan Seidl, Helmut., Seidl, Helmut., Wilhelm, Reinhard., Hack, Sebastian.
Cyhoeddwyd 2012

Tabl Cynhwysion: “...Introduction -- Program Semantics -- Transformations -- Static Analysis -- Imperative Programs...”
Cael y testun llawn

Electronig eLyfr

Compiler Design Virtual Machines /

gan Wilhelm, Reinhard., Wilhelm, Reinhard., Seidl, Helmut.
Cyhoeddwyd 2010

Pynciau: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Cael y testun llawn

Electronig eLyfr

Modern Compiler Design

gan Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Cyhoeddwyd 2012

Tabl Cynhwysion: “... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”
Cael y testun llawn

Electronig eLyfr

Software Engineering 1 Abstraction and Modelling /

gan Bjørner, Dines., Bjørner, Dines.
Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Specification Programming -- Applicative Specification Programming -- Imperative Specification Programming...”
Cael y testun llawn

Electronig eLyfr

Expert F# 4.0

gan Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Cyhoeddwyd 2015

Pynciau: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Cael y testun llawn

Electronig eLyfr

Software Engineering 2 Specification of Systems and Languages /

gan Bjørner, Dines., Bjørner, Dines.
Cyhoeddwyd 2006

Tabl Cynhwysion: “...: Simple Applicative Language -- SIL: Simple Imperative Language -- SMIL: Simple Modular, Imperative...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad