Sciweavers

10575 search results - page 488 / 2115
» T2Script Programming Language
Sort
View
172
Voted
APLAS
2006
ACM
15 years 10 months ago
Type and Effect System for Multi-staged Exceptions
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
INFORMATICALT
2007
101views more  INFORMATICALT 2007»
15 years 6 months ago
Internationalization of Compilers
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...
Valentina Dagiene, Rimgaudas Laucius
PLDI
2005
ACM
16 years 8 days ago
Permission-based ownership: encapsulating state in higher-order typed languages
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
Neelakantan R. Krishnaswami, Jonathan Aldrich
198
Voted
AGENTCL
2000
Springer
15 years 11 months ago
Operational Semantics for Agent Communication Languages
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
SAIG
2000
Springer
15 years 10 months ago
Compiling Embedded Languages
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
Conal Elliott, Sigbjorn Finne, Oege de Moor