dev:rts:start
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revisionLast revisionBoth sides next revision | ||
| dev:rts:start [2014/07/01 08:48] – external edit 127.0.0.1 | dev:rts:start [2016/02/25 13:33] – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Runtime System (RTS) ====== | ====== Runtime System (RTS) ====== | ||
| The Java standard library is very powerful and rich. However, as our target compiler puts its focus on efficiency we do not want to support the full library. Some of the base classes, notably java/ | The Java standard library is very powerful and rich. However, as our target compiler puts its focus on efficiency we do not want to support the full library. Some of the base classes, notably java/ | ||
| - | The RTS is described in [[software: | + | The RTS for users is described in [[runtime_library: |
| * [[.: | * [[.: | ||
dev/rts/start.txt · Last modified: 2022/12/20 11:27 by ursgraf
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
