The following pages link to Frank Huch (Q2456573):
Displayed 17 items.
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- (Q2763381) (← links)
- (Q2763383) (← links)
- Verification of Erlang programs using abstract interpretation and model checking (Q2817727) (← links)
- Model Checking Erlang Programs – Abstracting Recursive Function Calls (Q2841292) (← links)
- (Q2843603) (← links)
- (Q2844055) (← links)
- (Q3372485) (← links)
- On a Tighter Integration of Functional and Logic Programming (Q3498436) (← links)
- A Program Transformation for Tracing Functional Logic Computations (Q3591083) (← links)
- (Q4738170) (← links)
- (Q4739563) (← links)
- Lazy call-by-value evaluation (Q5168933) (← links)
- A play on regular expressions (Q5176954) (← links)
- Searching for deadlocks while debugging concurrent haskell programs (Q5178019) (← links)
- Declaring Numbers (Q5403480) (← links)
- Run-Time Profiling of Functional Logic Programs (Q5458802) (← links)