Walter W. Wilson

According to our database, Walter W. Wilson authored at least 4 papers between 1982 and 2012.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2012

A Tiny Specification Metalanguage.

Walter W. Wilson, Yu Lei

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2011

Implementation of Axiomatic Language.

Walter W. Wilson

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2000

A minimal specification language.

Walter W. Wilson

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

1982

Beyond Prolog: Software Specification by Grammar.

Walter W. Wilson

ACM SIGPLAN Notices, 1982