BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (3)
languag (2)
descript (2)
platform (2)
fast (2)

Stem imp$ (all stems)

9 papers:

ICPRICPR-2010-ZhangW #clustering #named
ARImp: A Generalized Adjusted Rand Index for Cluster Ensembles (SZ, HSW), pp. 778–781.
ASEASE-2007-CharlesFS #eclipse #framework #ide #named
IMP: a meta-tooling platform for creating language-specific ides in eclipse (PC, RMF, SMSJ), pp. 485–488.
AGTIVEAGTIVE-2007-KniemeyerK #framework #modelling #programming language
The Modelling Platform GroIMP and the Programming Language XL (OK, WK), pp. 570–572.
DACDAC-2003-ZhuSW #3d #algorithm #geometry #performance
Algorithms in FastImp: a fast and wideband impedance extraction program for complicated 3-D geometries (ZZ, BS, JW), pp. 712–717.
CADECADE-1996-FarmerGF #named
IMPS: An Updated System Description (WMF, JDG, FJT), pp. 298–302.
ASF+SDFASF+SDF-1995-Vigna #asf+sdf #case study #specification #using
Specifying Imp(G) Using ASF+SDF: A Case Study (SV), pp. 65–88.
CADECADE-1994-FarmerGNT #proving
Proof Script Pragmatics in IMPS (WMF, JDG, MEN, FJT), pp. 356–370.
CADECADE-1992-FarmerGT92a #named
IMPS: System Description (WMF, JDG, FJT), pp. 701–705.
CADECADE-1990-FarmerGT #interactive #named #proving
IMPS: An Interactive Mathematical Proof System (WMF, JDG, FJT), pp. 653–654.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.