Sciweavers

959 search results - page 16 / 192
» Fundamental Concepts in Programming Languages
Sort
View
IFIP
2001
Springer
14 years 26 days ago
Systemic Functional Hypertexts (SFHT):
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
Alexander Mehler, Rodney J. Clarke
IFIP
2004
Springer
14 years 1 months ago
Basic concepts of abstract interpretation
Interpretation∗ Soonho Kong http://ropas.snu.ac.kr/∼soon/ May 25, 2007 ∗ Work of P. Cousot and R.Cousot ncepts of Abstract Interpretation, 1 / 35
Patrick Cousot, Radhia Cousot
ACSC
2004
IEEE
14 years 5 days ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
EDO
2006
Springer
14 years 3 days ago
Improving modularity of reflective middleware with aspect-oriented programming
Reflective middleware has been proposed as an effective way to enhance adaptability of component-oriented middleware architectures. To be effectively adaptable, the implementation...
Nélio Cacho, Thaís Vasconcelos Batis...
CLEIEJ
2010
13 years 5 months ago
Teaching Programming Principles through a Game Engine
Teaching fundamental programming to freshmen is a hard task to be performed, given the high level action and logical reasoning that are required for these students to develop in a...
Cristiane Camilo Hernandez, Luciano Silva, Rafael ...