1
Udgivet 2013
Indholdsfortegnelse: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Få fuldtekst
Electronisk eBog
3
Udgivet 2006
Indholdsfortegnelse: ...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...
Få fuldtekst
Electronisk eBog
4
Udgivet 2008
Indholdsfortegnelse: ... Inhibitors - A Case Study -- Impact of Base Functional Component Types on Software Functional Size Based...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...
Få fuldtekst
Electronisk eBog