George T. Ligler

Publication Activity (10 Years)

Years Active: 1975-1978
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Roger R. Bate, George T. Ligler
An approach to software testing: methodology and tools. COMPSAC (1978)
George T. Ligler, William C. Nylin Jr., Patrick Wang, Patrick C. Fischer, Robert L. Probert
SIGACT (Paper Session). ACM Annual Conference (1976)
George T. Ligler
The assignment axiom and programming language design. ACM Annual Conference (1976)
George T. Ligler
A Mathematical Approach to Language Design. POPL (1975)