Back to Results
First PageMeta Content
Logic in computer science / Non-classical logic / Query languages / Prolog / Logic programming / Denotational semantics / Programming language / Logic / Modal logic / Software engineering / Computing / Computer programming


Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz
Add to Reading List

Document Date: 2010-06-15 06:33:59

Open Document

File Size: 37,75 KB

Share Result on Facebook

City

Hamilton / Auckland / Edinburgh / Paris / /

Company

Future Computing Systems / /

Country

New Zealand / /

/

Facility

Roger Clayton University of Waikato / Technical University of Munich / /

IndustryTerm

important new programming tool / data base systems / debug/printing program / execution algorithm / linear search / inserted using a linear search / /

Organization

University of Waikato / New Zealand Marsden Fund / Technical University of Munich / /

Person

Temporal Logic / John G. Cleary / Thomas Conway / Don Smith / Zoltan Somogyi / Philip Wadler / Donald A. Smith / Lunjin Lu / Mark Utting / Fergus Henderson / /

Position

editor / least model for any program / head / programmer / /

ProgrammingLanguage

Prolog / T / /

PublishedMedium

Starlog / /

Technology

Functional Programming / ADC / execution algorithm / simulation / /

SocialTag