Sciweavers

4666 search results - page 563 / 934
» Equations on Timed Languages
Sort
View
KBSE
2009
IEEE
16 years 1 months ago
Static Typing for Ruby on Rails
—Ruby on Rails (or just “Rails”) is a popular web application framework built on top of Ruby, an objectoriented scripting language. While Ruby’s powerful features such as d...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
HASKELL
2009
ACM
16 years 1 months ago
Push-pull functional reactive programming
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
Conal M. Elliott
COMPSAC
2007
IEEE
16 years 1 months ago
On Identifying Bug Patterns in Aspect-Oriented Programs
Bug patterns are erroneous code idioms or bad coding practices that have been proved fail time and time again. They mainly arise from the misunderstanding of language features, th...
Sai Zhang, Jianjun Zhao
GECCO
2007
Springer
300views Optimization» more  GECCO 2007»
16 years 1 months ago
A NSGA-II, web-enabled, parallel optimization framework for NLP and MINLP
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
David J. Powell, Joel K. Hollingsworth
OOPSLA
2007
Springer
16 years 1 months ago
Compile-time execution structure of object-oriented programs with practical ownership domain annotations
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
Marwan Abi-Antoun