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:
program (4)
logic (3)
transform (2)
synthesi (2)
model (2)

Stem eureka$ (all stems)

8 papers:

ECIRECIR-2015-YangLW #detection
Detecting the Eureka Effect in Complex Search (HY, JL, CW), pp. 734–740.
ECOOPECOOP-2015-ImamS #parallel #programming
The Eureka Programming Model for Speculative Task Parallelism (SI, VS), pp. 421–444.
ASEASE-2007-ArmandoBCMS #model checking
The eureka tool for software model checking (AA, MB, DC, JM, PS), pp. 541–542.
ICLPILPS-1993-Bsaies #automation #logic programming #performance #source code
Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties (KB), p. 633.
PEPMPEPM-1992-Bsaies #framework #logic programming #program transformation #synthesis
A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties (KB), pp. 108–115.
ESECESEC-1991-Fernstrom #concept
The Eureka Software Factory: Concepts and Accomplishments (CF), pp. 23–36.
ESOPESOP-1990-NielsonN #exclamation #for free
Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations (HRN, FN), pp. 291–305.
ESOPESOP-1990-ProiettiP #logic programming #source code #synthesis
Synthesis of Eureka Predicates for Developing Logic Programs (MP, AP), pp. 306–325.

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.