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 × Cyprus
1 × France
1 × Spain
Collaborated with:
F.Kluzniak W.Drabent
Talks about:
methodolog (1) approach (1) runnabl (1) readabl (1) program (1) generat (1) correct (1) complet (1) toward (1) specif (1)

Person: Miroslawa Milkowska

DBLP DBLP: Milkowska:Miroslawa

Contributed to:

ICLP 20012001
PLILP 19941994
PLILP 19881988

Wrote 3 papers:

ICLP-2001-DrabentM #approach #correctness #declarative #proving #source code
Proving Correctness and Completeness of Normal Programs — A Declarative Approach (WD, MM), pp. 284–299.
PLILP-1994-KluzniakM #requirements #specification
Readable, Runnable Requirements Specifications in SPILL-2 (FK, MM), pp. 449–450.
PLILP-1988-KluzniakM #code generation #towards
Towards a “Middle Road” Methodology for Writing Code Generators (FK, MM), pp. 105–118.

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.