Harshita Goswami

icon indicating an email [email protected]

icon company Intuit India development center icon location Bangalore icon location Coder, problem solver, excellent at data structure and algorithm.

Results 3 issues of Harshita Goswami

how to get input from user in k

11 comment

Can you provide me syntax or semantics which take input from user in k in imp language?

could not find sorts

7 comment

kjkompile.sh Preprocessing semantics: [Error] Compiler: Could not find sorts: [SwitchLabel] Source(/home/harshita/java-semantics/src/./prep/../common/list-syntax.k) Location(36,38,36,95) Execution semantics: [Error] Critical: Could not find file: builtins/model-checker.k Lookup directories:[./exec, /home/harshita/new/k/lib/java/../../include/builtin] Source(/home/harshita/java-semantics/src/./exec/ltl-support.k) Location(1,1,1,34) still producing error

question

C program for shell sort

2 comment

@frextrite Please review this change.

Hacktoberfest