H ? « »

Language peer sets for NP:
United States
United States/1996
Designed 1996
1990s languages
Fifth generation
Post-Cold War
Specialised Languages
Specialised Languages/1996
Specialised Languages/us


NitPick modelling language 

alternate simple view
Country: United States
Designed 1996
Sammet category: Specialised Languages

for NitPick

modelling language, based non Z led to Alloy

Related languages
Z NP   Based on
NP ALLOY   Evolution of

  • Jackson, D. (1996) Jackson, D. "Nitpick: A Checkable Specification language". Proceedings of the First ACM SIGSOFT Workshop on Formal Methods in Software Practice, San Diego, CA. (Jan 1996),
  • Jackson, D. and Damon,C.A. (1996) Jackson, D. and Damon,C.A. "Nitpick Reference Manual". Tech. Rep. CMU-CS-96-109. School of Computer Science, Carnegie Mellon University, Pittsburgh, PA (Jan 1996.)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder