Ken Slonneger
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 1995 | |
|---|---|---|
| 7 |      | Ken Slonneger: Visualizing Action Semantics. ACM Conference on Computer Science 1995: 81-88 |
| 6 | | Kenneth Slonneger: Executing an SECD machine using logic programming. SIGCSE 1995: 228-232 |
| 1993 | ||
| 5 | | 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 | | Ken Slonneger: Implementing Denotational Semantics with Logic Programming. ACM Conference on Computer Science 1992: 337-344 |
| 1991 | ||
| 2 | | 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) |