Go to main content

Search 11,408 records for:

Search Tips :: Simple Search

1.	PDF 3015_etd Abstraction-based certification of temporal properties of software modules Xia, Songtao ; Hook, James 2005-02-01 \| Dissertation \| Detailed record - Similar records
2.	PDF csetech-237 Breitenbush and Santiam: tools for program development in extended ML Hook, James cse-91-010 1991 \| Article \| Detailed record - Similar records
3.	PDF csetech-276 Generating programs by reflection Hook, James cse-92-015 1992 \| Article \| Detailed record - Similar records
4.	PDF csetech-212 Key words in context, an example Hook, James cse-90-012 1990 \| Article \| Detailed record - Similar records
5.	PDF csetech-302 A semantics of compile-time reflection Hook, James ; Sheard, Timothy A new language incorporating both ML-style type checking and a limited form of reflection is defined by giving an interpreter and showing how this interpreter may be inte [...] 1993 \| Article \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.