Sciweavers

2604 search results - page 81 / 521
» General constant expressions for system programming language...
Sort
View
ICFP
2008
ACM
16 years 6 months ago
Quotient lenses
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C...
ENTCS
2002
84views more  ENTCS 2002»
15 years 6 months ago
Set Types and Applications
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
Christian Skalka, Scott F. Smith
ACMSE
2005
ACM
15 years 12 months ago
BoxScript: a component-oriented language for teaching
As component-oriented approaches become increasingly pervasive in the development of complex software systems, it becomes increasingly important to introduce computing science stu...
Yi Liu, H. Conrad Cunningham
IJCAI
2003
15 years 7 months ago
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Ni...
ECOOP
2005
Springer
15 years 11 months ago
Aspect-Oriented Programming Beyond Dependency Injection
Abstract. Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented progr...
Shigeru Chiba, Rei Ishikawa