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: Milkowska:Miroslawa
Contributed to:
2001
19941988Wrote 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.