Results
|
|
Partial evaluation and automatic program generation by Jones, Neil D | Gomard, Carsten K | Sestoft, Peter | . Series: Edition: Language: English Publication details: ; New York : Prentice- Hall, 1993 ; 1993Availability: Items available for loan: 1 Call number: 681.3.06 Jon.
|
|
|
|
|
|
Formal languages and rudimentary attributes by Jones, Neil D | . Series: Edition: Language: English Publication details: London ; University of Western Ontario, ; 1967Availability: Items available for loan: 1 Call number: 517.1 Jon.
|
|
|
|
|
|
Verification, model checking, and abstract interpretation : 10th international conference proceedings, Savannah, GA, USA, Jan. 18-20, 2009 by | Jones, Neil, D | Jones, Neil, D. Series: Lecture notes in computer science ; 5403Edition: Language: English Publication details: Berlin ; Springer ; 2009Availability: Items available for loan: 1 Call number: 681.3.06Ver:10:08.
|