1179 search results - page 89 / 236 » Programming in Hybrid Constraint Languages |
343
click to vote
JTRES
2010
ACM
15 years 1 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
104
click to vote
RTAS
2003
IEEE
15 years 6 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
113
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
136
click to vote
EPIA
1999
Springer
15 years 5 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...