|
СТ |
Verification of Erlang Programs using Abstract Interpretation and Model Checking |
1999 |
Huch F. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Distributed Programming in Haskell with Ports |
2001 |
Huch F., Norbisrath U. |
|
|
|
Lecture Notes in Computer Science |
23.05.2001 |
|
СТ |
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry |
2001 |
Hanus M., Huch F., Niederau P. |
|
|
|
Lecture Notes in Computer Science |
23.05.2001 |
|
СТ |
Concurrent Semantics for the Web Services Specification Language DAML-S |
2002 |
Ankolekar A., Huch F., Sycara K. |
|
|
|
Lecture Notes in Computer Science |
12.06.2002 |
|
СТ |
Observing Functional Logic Computations |
2004 |
Brassel B., Chitil O., Hanus M., Huch F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
