5415 search results - page 215 / 1083 » The Implementation of Functional Programming Languages |
114
click to vote
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
109
click to vote
CC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
111
click to vote
WETICE
1998
IEEE
15 years 5 months ago
1998
IEEE
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...
POPL
1996
ACM
15 years 5 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
104
click to vote
ICALT
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...