10575 search results - page 362 / 2115 » Programming Languages |
182
click to vote
ACSC
2006
IEEE
16 years 24 days ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
184
click to vote
FPCA
1995
15 years 10 months ago
1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
165
Voted
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We describe extensions to the Excel spreadsheet that integrate userdefined functions into the spreadsheet grid, rather than treating them as a "bolt-on". Our first objec...
163
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
158
Voted
HYBRID
2005
Springer
16 years 7 days ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...