Back to Results
First PageMeta Content
Functional languages / Deduction / Entailment / Logical syntax / Metalogic / Philosophical logic / Regular expression / Standard ML / IP / Logic / Software engineering / Computer programming


c 1993 Cambridge University Press 1 J. Functional Programming 1 (1): 1{000, January 1993 FUNCTIONAL PEARLS Proof-Directed Debugging
Add to Reading List

Document Date: 2001-06-27 17:55:28

Open Document

File Size: 178,41 KB

Share Result on Facebook

Company

Cambridge University Press / MIT Press / /

Facility

FUNCTIONAL PEARLS Proof-Directed Debugging Robert Harper Carnegie Mellon University / /

IndustryTerm

on-line regular expression matching algorithm / standardization algorithm / required matching algorithm / sequential processing / Pre-processing / /

Organization

Cambridge University / FUNCTIONAL PEARLS Proof-Directed Debugging Robert Harper Carnegie Mellon University Pittsburgh / MIT / /

Person

Robert Harper Carnegie / Frank Pfenning / /

Position

Harper / /

Product

Review The capsule / /

ProgrammingLanguage

Standard ML / /

ProvinceOrState

Pennsylvania / /

Technology

Functional Programming / standardization algorithm / on-line regular expression matching algorithm / matching algorithm / required matching algorithm / /

SocialTag