BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × The Netherlands
1 × United Kingdom
Collaborated with:
U.Schwertel J.Richardson W.W.Vasconcelos M.P.J.Fromherz S.Torge R.Schwitter
Talks about:
logic (4) program (3) transform (2) languag (2) control (2) schema (2) base (2) opportunist (1) transfom (1) schemata (1)

Person: Norbert E. Fuchs

DBLP DBLP: Fuchs:Norbert_E=

Facilitated 1 volumes:


Contributed to:

ASE 19991999
LOPSTR 19981998
LOPSTR 19971997
LOPSTR 19951995
LOPSTR 19911991

Wrote 6 papers:

ASE-1999-FuchsST #first-order #logic #natural language
Controlled Natural Language Can Replace First-Order Logic (NEF, US, ST), pp. 295–298.
LOPSTR-1998-FuchsSS #logic #specification
Attempto Controlled English — Not Just Another Logic Specification Language (NEF, US, RS), pp. 1–20.
LOPSTR-1997-RichardsonF #development #prolog #source code
Development of Correct Transformation Schemata for Prolog Programs (JR, NEF), pp. 263–281.
LOPSTR-1995-VasconcelosF #approach #logic programming #optimisation #program analysis #using
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations (WWV, NEF), pp. 174–188.
LOPSTR-1991-FuchsF #logic programming #source code
Schema-Based Transfomations of Logic Programs (NEF, MPJF), pp. 111–125.

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.