3323 search results - page 84 / 665 » Computational Semantics with Functional Programming |
100
click to vote
ICLP
1999
Springer
15 years 2 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
SCAM
2006
IEEE
15 years 3 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
AADEBUG
1993
Springer
15 years 1 months ago
1993
Springer
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...
HICSS
1994
IEEE
15 years 1 months ago
1994
IEEE
Meeting memory features are poorly integrated into current group support systems (GSS). This paper discusses how to introduce meeting memory functionality into a GSS. The paper fi...