BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
Talks about:
coordin (2) consist (2) specif (2) comput (2) model (2) reliabl (1) program (1) process (1) complet (1) automat (1)

Person: Edgar F. A. Lederer

DBLP DBLP: Lederer:Edgar_F=_A=

Contributed to:

SAC 19991999
FLOPS 19981998
IJFCS/FLOPS 19982001
SAC 19981998

Wrote 4 papers:

SAC-1999-DumitrescuL #coordination #matrix #performance #reliability
Reliable and Efficient Matrix Processing with the Specification-Consistent Coordination Model (RAD, EFAL), pp. 191–193.
FLOPS-1998-LedererD #programming
Two-Stage Programming (EFAL, RAD), pp. 296–313.
FLOPS-J1-1998-LedererD01 #automation #runtime #verification
Automatic Result Verification by Complete Run-Time Checking of Computations (EFAL, RAD), pp. 97–124.
SAC-1998-LedererD #coordination
Specification-consistent coordination model for computations (EFAL, RAD), pp. 122–129.

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.