6201 search results - page 265 / 1241 » Implementation of Axiomatic Language |
164
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
141
Voted
SAIG
2000
Springer
15 years 9 months ago
2000
Springer
The phrase optimal program specialization" was de ned by Jones et al. in 1993 to capture the idea of a specializer being strong enough to remove entire layers of interpretatio...
195
click to vote
FP
1992
15 years 9 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
163
click to vote
DGO
2008
15 years 7 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
168
click to vote
SAC
2011
ACM
14 years 8 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...