RednaxelaFX
- 浏览: 3016090 次
- 性别:
- 来自: 海外
-
最新评论
-
mldxs：
虽然很多还是看不懂，写的很好！
虚拟机随谈（一）：解释器，树遍历解释器，基于栈与基于寄存器，大杂烩 -
HanyuKing：
Java的多维数组 -
funnyone：
Java 8的default method与method resolution -
ljs_nogard：
Xamarin workbook - .Net Core 中不 ...
LINQ的恶搞…… -
txm119161336：
allocatestlye1 顺序为 // Fields o ...
最近做的两次Java/JVM分享的概要
收藏列表
- 全部 [1027]
- 默认 [6]
- .net micro framework [1]
- abi [1]
- actionscript 3 [2]
- actor [4]
- algorithm [10]
- android [10]
- annotation [1]
- antlr [4]
- aop [1]
- architechture [1]
- assembler [13]
- avm2 [1]
- axum [2]
- azul [2]
- bcl [39]
- bdd [2]
- bison [1]
- bitescript [1]
- bochs [1]
- book [2]
- browser [2]
- c [10]
- c# [318]
- c++ [30]
- c-omega [2]
- cache [1]
- calling convention [2]
- carakan [2]
- cci [1]
- ccr [1]
- cdc [1]
- cecil [4]
- character encoding [2]
- clang [2]
- classloading [1]
- cli [1]
- clojure [2]
- clr [82]
- code contract [5]
- code injection [3]
- code quality [2]
- codedom [12]
- collective intelligence [5]
- com [2]
- combinator [2]
- compiler [109]
- concurrent programming [36]
- continuation [1]
- coreclr [1]
- coroutine [3]
- cpu [3]
- d [1]
- dalvik [11]
- data base [3]
- data binding [8]
- data structure [3]
- database [2]
- dbi [1]
- debug [25]
- decompile [1]
- design pattern [5]
- diff [1]
- dis [1]
- dlr [59]
- dsl [4]
- duck typing [1]
- dynamic language [31]
- ecmascript [3]
- eiffel [1]
- embedded [1]
- emulator [1]
- erlang [2]
- estoric language [1]
- exception handling [6]
- expression blend [1]
- expression tree [11]
- f# [55]
- factor [2]
- fiber [1]
- file system [1]
- fixed-point [1]
- flash [2]
- flex [1]
- functional language [17]
- functional programming [44]
- game [2]
- game engine [2]
- gc [41]
- gcc [2]
- gdi+ [2]
- gemstone [2]
- generics [5]
- git [1]
- go [3]
- gpgpu [1]
- graphics [1]
- groovy [2]
- gui [7]
- hardware [2]
- harmony [2]
- haskell [15]
- hotspot [23]
- hotswap [1]
- hubris [1]
- ia-64 [1]
- ibm [1]
- ikvm [1]
- imaging [1]
- imperative programming [1]
- in-proc sxs [1]
- inferno virtual machine [1]
- intel [1]
- internet explorer [2]
- internet service [1]
- interpreter [14]
- invokedynamic [11]
- ioc [3]
- ioke [4]
- ironpython [32]
- ironruby [11]
- irony [2]
- itanium [1]
- j9 [2]
- jägermonkey [6]
- java [90]
- java processor [2]
- javacc [1]
- javascript [38]
- javascriptcore [1]
- jdk [2]
- jikes [1]
- jit [82]
- jmx [1]
- jni [1]
- jquery [1]
- jrockit [2]
- jruby [7]
- jvm [73]
- kilim [1]
- klein [1]
- lambda calculus [2]
- lambda expression [7]
- libjit [1]
- linq [51]
- linux [4]
- lisp [1]
- list processing [1]
- llvm [9]
- lua [3]
- mac [2]
- mac os x [2]
- macruby [3]
- maglev [2]
- marshaling [1]
- maxine [6]
- mef [4]
- memory [4]
- memory management [13]
- memory model [2]
- metacircular [4]
- metaobject protocol [1]
- method dispatch [6]
- methodhandle [6]
- misc [6]
- mock [1]
- modularity [1]
- moles [1]
- monad [6]
- mono [12]
- monodevelop [1]
- moonlight [1]
- moxie [2]
- msbuild [1]
- msil [6]
- mvc [1]
- mvvm [4]
- ngen [3]
- nokogiri [1]
- nosql [1]
- observable [1]
- ogre3d [1]
- ole [1]
- oodb [1]
- oop [7]
- opengl [1]
- openjdk [1]
- opensuse [1]
- operating system [3]
- optimization [18]
- osgi [1]
- oslo [1]
- oz [1]
- parser [10]
- parsetree [1]
- pattern matching [1]
- perl [1]
- pex [1]
- pfx [1]
- php [1]
- pi [1]
- pinvoke [1]
- pipeline [1]
- plinq [1]
- powershell [1]
- profiler [11]
- programming language [63]
- psyco [1]
- pycrypto [1]
- pypy [1]
- python [20]
- rails [2]
- reactive framework [3]
- reallive [1]
- refactoring [1]
- reflection [8]
- register allocator [1]
- regular expression [3]
- reia [1]
- reverse engineering [7]
- rlvm [1]
- rpc [1]
- rpython [1]
- rubinius [10]
- ruby [64]
- ruby source code [3]
- sapphire [3]
- scala [16]
- scheme [5]
- script studio [1]
- sdl [1]
- security [9]
- self [5]
- serialization [1]
- shujit [1]
- sicp [1]
- sidebar link [103]
- silverlight [12]
- sinatra [1]
- smalltalk [11]
- software engineering [5]
- sos [1]
- sos extension [2]
- sparc [1]
- spidermonkey [6]
- spring [2]
- squeak [2]
- squirrel [1]
- squirrelfish [3]
- ssa [2]
- sscli [2]
- sse [1]
- stl [1]
- string interpolation [1]
- strongtalk [1]
- svn [1]
- swing [3]
- sxs [1]
- system monitoring [1]
- t4 [1]
- tail call [4]
- tamarin [1]
- template [1]
- testing [6]
- theorem prover [3]
- threaded code [3]
- trace compiler [15]
- tracemonkey [7]
- trampoline [1]
- tuple [1]
- type inference [3]
- type system [12]
- ubuntu [1]
- uml [1]
- unix [1]
- unladen swallow [2]
- unlambda [1]
- v8 [6]
- valgrind [1]
- variance [5]
- vb.net [3]
- vhd [1]
- virtual machine [179]
- virtual memory [1]
- vista [1]
- visual basic [2]
- visual studio [15]
- visualvm [1]
- vmil [1]
- volta [1]
- web [3]
- webkit [1]
- websharper [1]
- wf [2]
- windbg [1]
- windows [7]
- windows 7 [3]
- winforms [9]
- wpf [46]
- x64 [3]
- x86 [17]
- xaml [4]
- xbox360 [1]
- xml [4]
- xna [1]
- xpath [1]
- yaml [1]
- yarv [6]
- z3 [2]
- zeroturnaround [1]
- zip [1]
- 其它 [2]
| 标题 | 标签 | 描述 |
| First-Class Hidden Types | java, type system, theorem prover, generics | Joe Hallett, 2006-04-17 |
| LINQ to Z3 – Theorem Solving on Steroids – Part 0 | linq, theorem prover, z3, c# | Bart De Smet, 2009-04-19 |
| Exploring the Z3 Theorem Prover (with a bit of LINQ) | linq, theorem prover, pex, z3, c# | Bart De Smet, 2009-04-15 |