Sciweavers

1671 search results - page 34 / 335
» Language Constructs for Multi-agent Programming
Sort
View
ESOP
2006
Springer
15 years 6 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
214
Voted
POPL
2003
ACM
16 years 2 months ago
Toward a foundational typed assembly language
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
Karl Crary
120
Voted
JMLC
2000
Springer
15 years 6 months ago
Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages
We are concerned with the design of programming languages that support the paradigm of component-oriented programming. Languages based on the accepted idea of combining modular and...
Peter H. Fröhlich, Michael Franz
SIGCSE
2005
ACM
123views Education» more  SIGCSE 2005»
15 years 8 months ago
Taming Java for the classroom
Java is the canonical language for teaching introductory programming, but its complex syntax and abundance of constructs are difficult for beginners to learn. This paper shows how...
James I. Hsia, Elspeth Simpson, Daniel Smith, Robe...
120
Voted
TACS
1994
Springer
15 years 6 months ago
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
Douglas J. Howe, Scott D. Stoller