5415 search results - page 417 / 1083 » The Implementation of Functional Programming Languages |
201
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
207
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
149
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...
194
click to vote
CISIS
2008
IEEE
15 years 8 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
185
click to vote
TMRA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...