בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
function transformations » fractional transformations, education transformations, education transformation
transformations https » transformations static, transformations data, transformations 4th
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
https function » its function, sites function, ups function
function transformations » fractional transformations, education transformations, education transformation
transformations https » transformations static, transformations data, transformations 4th
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
https function » its function, sites function, ups function
1
תוכן הענינים:
“...Introduction -- Program Semantics -- Transformations -- Static Analysis -- Imperative Programs...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
נושאים:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2011
נושאים:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2011
נושאים:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2015
תוכן הענינים:
“...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“... Support for OpenMP Collective Operations -- Loop Transformation Recipes for Code Generation and Auto...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2006
תוכן הענינים:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2013
תוכן הענינים:
“... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2013
תוכן הענינים:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים:
“... Proofs for Logic Program Transformations -- Core TuLiP Logic Programming for Trust Management -- Demand...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... Revisited: Semantics and Representation of Aggregates -- Compiling Fuzzy Answer Set Programs to Fuzzy...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
יצא לאור 2013
תוכן הענינים:
“... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2006
תוכן הענינים:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2005
תוכן הענינים:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2008
תוכן הענינים:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני