The following pages link to (Q3686011):
Displaying 22 items.
- \texttt{MEEP}: a flexible free-software package for electromagnetic simulations by the FDTD method (Q615116) (← links)
- Pattern-directed invocation with changing equations (Q809619) (← links)
- Obtaining lazy evaluation with continuations in SCHEME (Q911741) (← links)
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ (Q1015388) (← links)
- Computing structure: Sets, structures, and invariants in LISP (Q1192167) (← links)
- A theory for program and data type specification (Q1199933) (← links)
- Denotational semantics of an object-oriented programming language with explicit wrappers (Q1261310) (← links)
- Qualitative and quantitative simulation: bridging the gap (Q1389533) (← links)
- A first order logic of effects (Q1390955) (← links)
- New architectures for constructed complex systems (Q1402194) (← links)
- Towards an integration science. The influence of Richard Bellman on our research. (Q1584626) (← links)
- A ``geometric'' view of the dynamics of trajectories of computer programs (Q1813776) (← links)
- Bisimilarity in term graph rewriting. (Q1854321) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- Sound and complete concolic testing for higher-order functions (Q2233484) (← links)
- Improving the lazy Krivine machine (Q2464718) (← links)
- A Process-Model for Linear Programs (Q3638259) (← links)
- Game theoretic analysis of call-by-value computation (Q4571955) (← links)
- Wrapper semantics of an object-oriented programming language with state (Q5096238) (← links)
- A foundation for higher-order concurrent constraint programming (Q5096300) (← links)
- (Q5214290) (← links)
- From eager or lazy constrained data acquisition: A general framework (Q5952497) (← links)
