Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
program rewriting » program recruiting, programed writing, diagram rewriting
rewriting https » writing https, rewriting type, screenwriting https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
program rewriting » program recruiting, programed writing, diagram rewriting
rewriting https » writing https, rewriting type, screenwriting https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Julkaistu 2007
Sisällysluettelo:
“... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...”Hae kokoteksti
Elektroninen
E-kirja
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Julkaistu 2013
Sisällysluettelo:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2005
Sisällysluettelo:
“... of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2015
Sisällysluettelo:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2005
Sisällysluettelo:
“... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2010
Sisällysluettelo:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2005
Sisällysluettelo:
“... -- Some Modifications of Bucket-Based Algorithms for Query Rewriting Using Views -- Data Mining...”Hae kokoteksti
Elektroninen
E-kirja