A conditional operator is a type of operator. Conditional operators are present in many fields. A conditional operator is similar to, but notâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Dahyun Kang, Jeongju Sohn, Shin Yoo
- GECCO
- 2017

Genetic Programming has been successfully applied to learn to rank program elements according to their likelihood of containingâ€¦Â (More)

Is this relevant?

2015

2015

- RenÃ© Just, Franz Schweiggert
- Softw. Test., Verif. Reliab.
- 2015

Mutation analysis is a powerful but computationally expensive method to measure the effectiveness of a testing or debuggingâ€¦Â (More)

Is this relevant?

2012

2012

- RenÃ© Just, Gregory M. Kapfhammer, Franz Schweiggert
- 2012 IEEE Fifth International Conference onâ€¦
- 2012

Mutation analysis is an unbiased and powerful method for assessing input values and test oracles. However, in comparison to otherâ€¦Â (More)

Is this relevant?

2009

2009

- Christine Tasson
- TLCA
- 2009

Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (aâ€¦Â (More)

Is this relevant?

2007

2007

- Jesse Hughes, Peter Kroes, Sjoerd Zwart
- Synthese
- 2007

There has been relatively much work on practical reasoning in philosophy and artificial intelligence. Typically, such reasoningâ€¦Â (More)

Is this relevant?

2005

2005

- Kurt Stenzel
- 2005

syntax tree, 13<lb>annotated, 13<lb>addarray, 40, 41<lb>addarrays, 41<lb>addclass, 26, 55<lb>addobj, 26<lb>algebraicâ€¦Â (More)

Is this relevant?

2001

2001

- Yasunari Harada, Kumiko Honda
- PACLIC
- 2001

Expressions in Japanese with indeterminates such as "nani (what)" and "dare (who)" get interpretations very much like universalâ€¦Â (More)

Is this relevant?

1999

1999

We analyze properties of the quantum conditional amplitude operator @Phys. Rev. Lett. 79, 5194 ~1997!#, which plays a roleâ€¦Â (More)

Is this relevant?

Review

1998

Review

1998

- Gerald J. Sussman, Guy L. Steele
- Higher-Order and Symbolic Computation
- 1998

Inspired by ACTORS [7, 17], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [2â€¦Â (More)

Is this relevant?

1997

1997

- Robert D. Tennent, Peter W. O'Hearn, Peter W. O'Hearn, Kurt Sieber
- Progress in Theoretical Computer Science
- 1997

ion (Theorem 14), we must find approximations in the Scott topology; i.e., we must show that f is the least upper bound of aâ€¦Â (More)

Is this relevant?