6 search results - page 1 / 2 » Continuations: A Mathematical Semantics for Handling Full Ju... |
39
Voted
LISP
2000
13 years 10 months ago
2000
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
CALCO
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
IWFM
2003
14 years 8 days ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
VMCAI
2010
Springer
14 years 8 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
TACAS
2012
Springer
12 years 6 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...