10575 search results - page 463 / 2115 » T2Script Programming Language |
151
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We introduce the design of Mondrian, a functional scripting language for glueing together components on the .NET platform. Mondrian is monadic statement centric with pure...
213
click to vote
AAIP
2009
15 years 4 months ago
2009
Given an appropriate domain specific language (DSL), it is possible to describe the relationship between Haskell data types and many generic functions, typically type-class instan...
319
click to vote
Book
"Java Gently teaches the reader how to program and how to do it in the best possible style in Java. In the process, it details the fundamental structures of the Java 2 languag...
150
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
165
click to vote
SIGADA
1994
Springer
15 years 10 months ago
1994
Springer
AdaWise, a set of tools currently under development at ORA, performs automatic checks to verify the absence of common run-time errors affecting the correctness or portability of A...