Kenneth Slonneger

According to our database, Kenneth Slonneger authored at least 12 papers between 1975 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Executing an SECD machine using logic programming.

Kenneth Slonneger

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

Visualizing Action Semantics.

Ken Slonneger

Proceedings of the 1995 ACM 23rd Annual Conference on Computer Science, CSC '95, Nashville, TN, USA, February 28, 1995

Formal syntax and semantics of programming languages - a laboratory based approach.

Kenneth Slonneger, Barry L. Kurtz

Addison-Wesley, ISBN: 978-0-201-65697-8, 1995

1993

Executing Continuation Semantics.

Ken Slonneger

Softw. Pract. Exp., 1993

Denotational Semantics of a Calculator.

Ken Slonneger

Proceedings of the ACM 21th Conference on Computer Science, 1993

1992

Implementing Denotational Semantics with Logic Programming.

Ken Slonneger

Proceedings of the ACM 20th Annual Conference on Computer Science, 1992

1991

An exercise in denotational semantics.

Ken Slonneger

Proceedings of the 22nd SIGCSE Technical Symposium on Computer Science Education, 1991

1987

Pitfalls with procedure parameters.

Ken Slonneger

ACM SIGPLAN Notices, 1987

1976

Computer attitudes.

Kenneth Slonneger

ACM SIGCSE Bull., 1976

SAMOS in APL.

Kenneth Slonneger

ACM SIGAPL APL Quote Quad, 1976

A Complete Infinitary Logic.

Kenneth Slonneger

J. Symb. Log., 1976

1975

Enhancing SAMOS.

Gerald J. Giaccai, Kenneth Slonneger

ACM SIGCSE Bull., 1975