Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
functions composition » function composition, functional composition, function decomposition
programming recursion » programming decision, programming session, programming decisions
based tools » based tool, basic tools
1
Íomhá Chlúdaigh
Foilsithe 2013
Clár Ábhair: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
2
Íomhá Chlúdaigh
Foilsithe 2010
Clár Ábhair: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
3
Íomhá Chlúdaigh
Foilsithe 2008
Clár Ábhair: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
4
Íomhá Chlúdaigh
Foilsithe 2006
Clár Ábhair: “... of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
5
Íomhá Chlúdaigh
Foilsithe 2007
Clár Ábhair: “... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
6
Íomhá Chlúdaigh
Foilsithe 2005
Clár Ábhair: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
7
Íomhá Chlúdaigh
Foilsithe 2010
Clár Ábhair: “... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
Uirlisí Cuardaigh: Faigh Fotha RSS — Seol an Cuardach seo mar Ríomhphost — Sábháil an Cuardach