Suchergebnisse - Jones, Neil D.
- Treffer 1 – 15 von 15
-
1Computability and complexity: from a programming perspectiveVeröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Computability and complexity: from a programming perspective (DRAFT)Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3TEMPO: a unified treatment of binding time and parameter passing concepts in programming languagesVeröffentlicht 1978Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
4Verification, model checking, and abstract interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009 ; proceedingsVeröffentlicht 2009Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Tagungsbericht Buch -
5TEMPO: a unified treatment of binding time and parameter passing concepts in programming languagesVeröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Computability theory: an introductionVeröffentlicht 1973Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Computability and complexity: from a programming perspectiveVeröffentlicht 1997Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
E-Book -
8Partial evaluation and automatic program generationVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Computability theory: an introductionVeröffentlicht 1973Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languagesVeröffentlicht 2004Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
11Computability theory: an introductionVeröffentlicht 1973Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
12Program flow analysis: theory and applicationsVeröffentlicht 1981Weitere beteiligte Personen: “… Jones, Neil D. 1941- …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13Partial evaluation and mixed computation: proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark, 18 - 24 October, 1987Veröffentlicht 1988Weitere beteiligte Personen: “… Jones, Neil D. 1941- …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
14Semantics-directed Compiler Generation: proceedings of a Workshop, Aarhus, Denmark, Jan. 14-18, 1980Veröffentlicht 1980Weitere beteiligte Personen: “… Jones, Neil D. 1941- …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Semantics-directed Compiler Generation: proceedings of a Workshop, Aarhus, Denmark, Jan. 14-18, 1980Veröffentlicht 1980Weitere beteiligte Personen: “… Jones, Neil D. 1941- …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …