Sciweavers

1702 search results - page 179 / 341
» Doomed program points
Sort
View
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 5 months ago
Macro and micro view on steady states in state space
This paper describes visualization of chaotic attractor and elements of the singularities in 3D space. 3D view of these effects enables to create a demonstrative projection about r...
Branislav Sobota, Milan Guzan
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 5 months ago
Soundly Handling Static Fields: Issues, Semantics and Analysis
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
Laurent Hubert, David Pichardie
CORR
2007
Springer
99views Education» more  CORR 2007»
15 years 5 months ago
Machine structure oriented control code logic
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
Jan A. Bergstra, C. A. Middelburg
JGO
2008
53views more  JGO 2008»
15 years 5 months ago
Smoothing by mollifiers. Part II: nonlinear optimization
This article complements the paper [7], where we showed that a compact feasible set of a standard semi-infinite optimization problem can be approximated arbitrarily well by a leve...
Hubertus Th. Jongen, Oliver Stein
LISP
2006
91views more  LISP 2006»
15 years 5 months ago
Polymorphic typed defunctionalization and concretization
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
François Pottier, Nadji Gauthier