Back to Results
First PageMeta Content
Debugging / Procedural programming languages / Program logic / FermaT Transformation System / Program slicing / Predicate transformer semantics / Conditional / ALGOL 68 / Meat slicer / Software engineering / Computing / Programming language theory


Document Date: 2005-04-26 05:39:32

Open Document

File Size: 114,08 KB

Share Result on Facebook

City

Los Alamitos / Dearborn / San Diego / San Jose / Florence / /

Country

United Kingdom / United States / Italy / /

Currency

GBP / /

Facility

Oxford University / /

IndustryTerm

syntactic slicing algorithm / large commercial systems / /

OperatingSystem

GNU / /

Organization

Oxford University / /

Person

Mark Harman / David W. Binkley / Lin Hu / Prog To Spec / Sebastian Danicic / Malcolm Munro / Marvin Zelkowitz / Keith Gallagher / M. Ward / /

Position

General Public Licence / /

ProvinceOrState

California / Michigan / /

PublishedMedium

American Mathematical Monthly / /

Technology

syntactic slicing algorithm / http / Data Intensive Algorithms / /

URL

http /

SocialTag