| |
Ken Slonneger
List of publications from the DBLP Bibliography Server - FAQ
| 1995 | ||
|---|---|---|
| 7 | EE | Ken Slonneger: Visualizing Action Semantics. ACM Conference on Computer Science 1995: 81-88 |
| 6 | EE | Kenneth Slonneger: Executing an SECD machine using logic programming. SIGCSE 1995: 228-232 |
| 1993 | ||
| 5 | EE | Ken Slonneger: Denotational Semantics of a Calculator. ACM Conference on Computer Science 1993: 176-181 |
| 4 | Ken Slonneger: Executing Continuation Semantics. Softw., Pract. Exper. 23(12): 1379-1397 (1993) | |
| 1992 | ||
| 3 | EE | Ken Slonneger: Implementing Denotational Semantics with Logic Programming. ACM Conference on Computer Science 1992: 337-344 |
| 1991 | ||
| 2 | EE | Ken Slonneger: An exercise in denotational semantics. SIGCSE 1991: 178-183 |
| 1976 | ||
| 1 | Kenneth Slonneger: A Complete Infinitary Logic. J. Symb. Log. 41(4): 730-746 (1976) | |