SpiceQA
Questions
Tags
Users
Badges
language-specifications
16 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Error struct assignment in if clause (language spec question)
user_317915
0
•
asked Sep 7, 2022
1
0
14
go
language-specifications
What does "execution trace" mean in Java Memory Model
user_19571360
0
•
asked Jul 18, 2022
5
2
74
java-memory-model
jls
language-specifications
java
What part of ECMAScript spec mandates that String type is immutable?
user_647199
0
•
asked Apr 12, 2022
2
2
78
language-specifications
javascript
Type Inference in Method Invocation Poly Expression within the Invocation Context with/without method chaining
user_11687703
0
•
asked Jan 30, 2022
1
0
33
jls
language-specifications
type-inference
generics
java
How to use "with" keyword in a copy constructor in C#?
user_7741097
0
•
asked Oct 21, 2021
3
0
399
language-specifications
.net
c#
Coffee Can Problem in TLA+ : cannot express a task
user_2056878
0
•
asked Feb 21, 2021
1
1
85
tla+
formal-methods
formal-verification
language-specifications
is deciding the causality requirements of the java memory model tractable?
user_9398584
0
•
asked Jan 1, 2021
2
4
191
java-memory-model
language-specifications
complexity-theory
java
Why is the C# 9.0 "with expression" exclusive to records?
user_5615635
0
•
asked Dec 31, 2020
2
0
308
c#-9.0
language-specifications
c#
Why is the variable in a for...in loop a string?
user_12984567
0
•
asked Sep 5, 2020
4
1
206
for-in-loop
language-specifications
loops
javascript
How to understand this spec text?
user_12417850
0
•
asked Mar 27, 2020
2
1
71
go
language-specifications
1
(current)
2
Next
Next
Hot Questions