BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
good (3)
now (2)
rule (2)
free (2)
were (2)

Stem then$ (all stems)

11 papers:

IFMIFM-2013-Abrial #proving #source code
From Z to B and then Event-B: Assigning Proofs to Meaningful Programs (JRA), pp. 1–15.
RERE-2013-Gorschek #requirements
A little rebellion now and then is a good thing: Views on the requirements engineering conference (TG), pp. 357–360.
ICSTICST-2013-LinD #concurrent #java
CHECK-THEN-ACT Misuse of Java Concurrent Collections (YL, DD), pp. 164–173.
PLDIPLDI-2012-BaconCS #configuration management #garbage collection #hardware #realtime
And then there were none: a stall-free real-time garbage collector for reconfigurable hardware (DFB, PC, SS), pp. 23–34.
CHICHI-2012-FourneyLMT #documentation #exclamation #interface #online #quote
“Then click ok!”: extracting references to interface elements in online documentation (AF, BL, RM, MAT), pp. 35–38.
SLESLE-2009-Bezivin #problem #question #what
If MDE Is the Solution, Then What Is the Problem? (JB), p. 2.
Were the good old days all that good?: EDA then and now (SR, WHJJ, JAD, DG, POP, HDM, CH, JS), p. 543.
SACSAC-2000-TemmeF #composition #fuzzy #standard
Fix-Mundis for Fuzzy IF-THEN Rule Bases with Standard Compositional Rule of Inference Interpretation (KHT, MF), pp. 529–533.
CADECADE-1998-Beeson #unification #λ-calculus
Unification in Lambda-Calculi with if-then-else (MB), pp. 103–118.
If a D0L Language is k-Power Free then it is Circular (FM, PS), pp. 507–518.
CSLCSL-1992-Schiermeyer #satisfiability
Solving 3-Satisfiability in Less Then 1, 579n Steps (IS), pp. 379–394.

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.