computer-science
Formal treatment of RAII and/or safe deallocations in C++
Are there any research papers on formal treatment of RAII and/or 开发者_运维百科safe deallocations in C++?Take a look at \"A Mechanized Semantics for C++ Object Construction and[详细]
2023-04-04 16:46 分类:问答Are all NP problems also NP-complete?
The definition of NP-complete is A problem开发者_高级运维 is NP-complete if it belongs to class NP[详细]
2023-04-03 17:15 分类:问答Final Year Project - Idea for a domain specific language to run on the DLR? [closed]
As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references,or expertise, but this question will li开发者_开发技巧kely so[详细]
2023-04-02 18:30 分类:问答B-Tree vs Hash Table
In MySQL, an index type is a b-tree, and access an element in a b-tree is in logarithmic amortized time O(log(n)).[详细]
2023-04-02 18:01 分类:问答Prolog; a question about notation in an assignment
I get hat isa开发者_Python百科/2 is a rule, that takes two objects or terms. But what would isa2/2 imply? That isa is defined twice? isa2/2 simply refers to a predicate named isa2 taking 2 arguments,[详细]
2023-04-01 19:00 分类:问答Polymorphism Terminology
I\'ve looked and I\'ve looked, and can\'t find the academic answer I\'m looking for. If a method is polymorphic:[详细]
2023-03-31 09:11 分类:问答Which branch of computer science focus on object oriented concepts in software? [closed]
开发者_如何学编程 As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references,or expertise, but this question will likely[详细]
2023-03-30 10:02 分类:问答CS term for rule matching algorithms on tuples of mandatory and optional conditions
I\'m trying to research literature for algorithms to solve a particular problem, but I don\'t think I quite know the right search term to describe what I\'m looking for.[详细]
2023-03-29 02:13 分类:问答Choosing informative class names
I\'m having a hard time coming up with informative and useful class names. One class I am have this problem with makes requests to websites/servers. I thought it would only be fitting to name this cla[详细]
2023-03-27 15:02 分类:问答How do I minimally represent the check state of a check tree?
If i have a tree structure whose nodes can have zero to many children, with each node holding some data value along with a boolean switch, how do i minimally represent the state of this tree for nodes[详细]
2023-03-26 15:06 分类:问答