xkapastel | Lambda the Ultimate

xkapastel

view
track

Personal information

Interests:

Program synthesis, static analysis

History

Member for:
5 years 2 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

re LabVIEW
1 week 5 days ago
I'm pretty sure, NI also
2 weeks 3 days ago
Formal notations
2 weeks 4 days ago
Pictures and words
2 weeks 6 days ago
Second look
3 weeks 6 days ago
cleaning up the algorithm and taking further steps
3 weeks 6 days ago
Finite state and bounded block depth
5 weeks 5 days ago
How do you insert "/"?
5 weeks 5 days ago
for a PL forum LtU is really poorly written
5 weeks 5 days ago
Sure
6 weeks 2 days ago