Publications
Found 118 results
 Author  Keyword  Title  Type  [ Year ]
] Filters: First Letter Of Last Name is K  [Clear All Filters]
.  
1997.  Static Slicing of JAVA Programs. Fifth Symposium on Programming Languages and Software Tools. :116-128.
.  
1996.  Analyzing and Learning ECG Waveforms. The Sixth International Workshop on Inductive Logic Programming ILP96. 312292:127–145.
.  
1996.  Classifying ECG Waveforms in Prolog. :173-199.
.  
1996.  Learning Biomedical Patterns. 1314:159-168.
.  
1993.  Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.
.  
1992.  The exact LPT-bound for maximizing the minimum completion time. Oper. Res. Lett.. 11:281–287.
.  
1992.  Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst.. 1:303–322.
.  
1991.  Generalized Algorithmic Debugging and Testing. PLDI. :317–326.
.  
1990.  SYS/3 - A Software Development Tool. CC. 477:193–207.
.  
1990.  SYS/3 - A Software Development Tool. CC. 477:193–207.
.  
1989.  Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.
.  
1989.  SYS-DL, a system development language supporting software quality assurance. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :307-317.
.  
1988.  Automatic Software Generation in Practice: New Features in the HLP/PAS System. Specialized Languages as Tools for Programming Technology. :103–119.
.  
1988.  Incremental Algorithms in Prof-LP. CC. 371:93–102.
.  
1988.  Incremental Algorithms in Prof-LP. CC. 371:93-102.
.  
1988.  Incremental generation of the LL(1) parsing table. Proceedings of 2nd Symposium on Automata, Languages and Programming Systems. :157-161.
.  
1987.  PROF-LP user’s guide. 
.  
1986.  Automatic compiler generation. Proceedings of 1st Symposium on Automata, Languages and Programming Systems. :289-297.
