The following pages link to Science of Computer Programming (Q169675):
Displaying 50 items.
- An algebraic foundation for automatic feature-based program synthesis (Q988187) (← links)
- Type-directed weaving of aspects for polymorphically typed functional languages (Q988192) (← links)
- Compact and efficient strings for Java (Q988196) (← links)
- A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms (Q988198) (← links)
- Mining early aspects based on syntactical and dependency analyses (Q988199) (← links)
- Simple section interchange and properties of non-computable functions (Q988200) (← links)
- Type inference and strong static type checking for Promela (Q988201) (← links)
- Part special issue: The programming languages track at the 23rd ACM symposium on applied computing (ACM SAC 08). Selected papers based on the presentations at the symposium, Fortaleza, Ceara, Brazil, March 16--20, 2008. (Q988548) (← links)
- C++ lambda expressions and closures (Q988556) (← links)
- Dynamic algorithm selection for runtime concepts (Q988558) (← links)
- Integrating coercion with subtyping and multiple dispatch (Q988562) (← links)
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565) (← links)
- The metafront system: safe and extensible parsing and transformation (Q995468) (← links)
- Circular reference attributed grammars - their evaluation and applications (Q995471) (← links)
- Implementing aspect-oriented programming constructs as modular language extensions (Q995473) (← links)
- Using semi-formal methods for detecting interactions among smart homes policies (Q997225) (← links)
- Formal semantics and analysis of control flow in WS-BPEL (Q997228) (← links)
- An update calculus for expressing type-safe program updates (Q997231) (← links)
- Generalized structured programs and loop trees (Q997232) (← links)
- Quantifying the effects of IT-governance rules (Q997233) (← links)
- Reasoning about safety properties in a JVM-like environment (Q997235) (← links)
- Engineering and theoretical underpinnings of retrenchment (Q997238) (← links)
- Reconciling statechart semantics (Q1001804) (← links)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- An incremental algorithm to construct a lattice of set intersections (Q1001808) (← links)
- A general technique for proving lock-freedom (Q1001810) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository (Q1004294) (← links)
- Mechanising a formal model of flash memory (Q1004295) (← links)
- POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296) (← links)
- Special issue: Principles and practices of programming in Java (PPPJ 2007). Selected papers based on the presentations at the 5th international conference, Lisbon, Portugal, September 4--5, 2007 (Q1013016) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Array bounds check elimination in the context of deoptimization (Q1016641) (← links)
- A study of potential parallelism among traces in Java programs (Q1016643) (← links)
- As-if-serial exception handling semantics for Java futures (Q1016646) (← links)
- Cooperative aspect-oriented programming (Q1016648) (← links)
- Client-based cohesion metrics for Java programs (Q1016650) (← links)
- Byte code level cross-compilation for developing web applications (Q1016653) (← links)
- Combining preprocessor slicing with C/C++ language slicing (Q1021461) (← links)
- Reading beside the lines: Using indentation to rank revisions by complexity (Q1021465) (← links)
- Identifier length and limited programmer memory (Q1021470) (← links)
- Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS (Q1021475) (← links)
- Comparison and evaluation of code clone detection techniques and tools: A qualitative approach (Q1021479) (← links)
- Special issue: Mathematics of program construction (MPC 2006). Selected papers based on the presentations at the 8th international conference, Kuressaare, Estonia, July 3--5, 2006. (Q1024264) (← links)
- Part special issue: 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06), Bonn, Germany, August 31, 2006. (Q1028364) (← links)
- Developing topology discovery in Event-B (Q1044181) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Special issue: ETAPS 2006 and 2007 workshops on language descriptions, tools, and applications (LDTA '06 and '07). (Q1049552) (← links)
- Proof rules and transformations dealing with fairness (Q1050109) (← links)
- An exercise in the transformational derivation of an efficient program by joint development of control and data structure (Q1050110) (← links)
