Entity usage

From MaRDI portal

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

List of pages that use a given entity

Showing below up to 50 results in range #1 to #50.

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

  1. An experimental ambiguity detection tool: Label: en
  2. Recognition is not parsing - SPPF-style parsing from cubic recognisers: Label: en
  3. Silver: an extensible attribute grammar system: Label: en
  4. Implementation of a modelica compiler using JastAdd attribute grammars: Label: en
  5. Automated generation of program translation and verification tools using annotated grammars: Label: en
  6. Special issue: ETAPS 2003 workshop on language descriptions, tools and applications (LDTA '03). Selected papers based on the presentations at the workshop, Warsaw, Poland, April 6, 2003.: Label: en
  7. Stepwise refinement and concurrency: The finite-state case: Label: en
  8. A systolic LRU processor and its top-down development: Label: en
  9. Using rewriting techniques to produce code generators and proving them correct: Label: en
  10. Special issue: Advances in interpreters, virtual machines and emulators (IVME '03). Selected papers based on the presentation at the first workshop, San Diego, CA, USA, June 12, 2003.: Label: en
  11. Special issue: Selected papers based on the presentation at the 10th inernational static analysis symposium (SAS 2003), San Diego, CA, USA, June 11--13, 2003.: Label: en
  12. Computer algebra systems as mathematical optimizing compilers: Label: en
  13. Safe ambients: Abstract machine and distributed implementation: Label: en
  14. On relating functional specifications to architectural specifications: A case study: Label: en
  15. Observations on the assured evolution of concurrent Java programs: Label: en
  16. Dynamic inference of polymorphic lock types: Label: en
  17. Exclusion requirements and potential concurrency for composite objects: Label: en
  18. Exceptions and side-effects in atomic blocks: Label: en
  19. Establishing local temporal heap safety properties with applications to compile-time memory management: Label: en
  20. Weighted pushdown systems and their application to interprocedural dataflow analysis: Label: en
  21. Abstract interpretation of programs as Markov decision processes: Label: en
  22. Static insertion of safe and effective memory reuse commands into ML-like programs: Label: en
  23. Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor): Label: en
  24. Error checking with client-driven pointer analysis: Label: en
  25. Typestate verification: abstraction techniques and complexity results: Label: en
  26. Precise widening operators for convex polyhedra: Label: en
  27. Computer-assisted verification of a protocol for certified email: Label: en
  28. Engineering a common intermediate representation for the Ovm framework: Label: en
  29. Joeq: A virtual machine and compiler infrastructure: Label: en
  30. The case for virtual register machines: Label: en
  31. Generation of fast interpreters for Huffman compressed bytecode: Label: en
  32. A portable virtual machine target for proof-carrying code: Label: en
  33. Executable JVM model for analytical reasoning: A study: Label: en
  34. Towards mechanized correctness proofs for cryptographic algorithms: axiomatization of a probabilistic Hoare style logic: Label: en
  35. The best of both worlds: Applying secure sketches to cancelable biometrics: Label: en
  36. Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis: Label: en
  37. Remote attestation on legacy operating systems with trusted platform modules: Label: en
  38. ConSpec - A formal language for policy specification: Label: en
  39. Automated mass maintenance of a software portfolio: Label: en
  40. Modular invariants for layered object structures: Label: en
  41. A formalisation of the relationship between forms of program slicing: Label: en
  42. Using source transformation to test and model check implicit-invocation systems: Label: en
  43. Experiences with an object-oriented, multi-stage language: Label: en
  44. MetaOCaml server pages: web publishing as staged computation: Label: en
  45. Combining partial evaluation and staged interpretation in the implementation of domain-specific languages: Label: en
  46. In search of a program generator to implement generic transformations for high-performance computing: Label: en
  47. Gaussian elimination: a case study in efficient genericity with MetaOCaml: Label: en
  48. Special issue: Selected and revised papers based on the presentations at the fourth workshop on language descriptions, tools, and applications (LDTA '04, Barcelona, Spain, April 3, 2004.: Label: en
  49. Special issue: Selected papers based on the presentations at the 2nd interational workshop on foundations of coordinmation languages and software architectures (FOCLASA '03), Marseille, France, September 2, 2003.: Label: en
  50. Using classic problems to teach Java framework design: Label: en

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:EntityUsage/Q169675"
Powered by MediaWiki