BibSonomy

The blue social bookmark and publication sharing system.

( en | de | ru )

 

user
  • tag
  • user
  • group
  • author
  • concept
  • BibTeX key
  • search
@mkf
  • sign in
  • register
  • home
  • groups
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • genealogy
  • sign in
  • register

Login

Log in with your username.

@

I've lost my password.


Log in with your OpenID-Provider.

  • Other OpenID-Provider
  1. user
  2. @mkf
  3. spark2014

Publication title

bookmarks  (hide)3
  • display
  • all
  • bookmarks only
  • bookmarks per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • order
  • ascending
  • descending
  • RSS
  • BibTeX
  • XML

  •  

     
    1SPARK 2014 Rationale: Loop Variants - The AdaCore Blog
     

    https://blog.adacore.com/spark-2014-rationale-loop-variants
    3 years ago by @mkf
    show all tags
    • spark2014
     
      spark2014
      (0)
      copydelete
      • community post
      • history of this post
       
       
    •  

       
      1SPARK 2005 to SPARK 2014 Mapping Specification — SPARK 2014 Reference Manual 21.0w
       

      http://docs.adacore.com/spark2014-docs/html/lrm/mapping-spec.html#ms-pre-post-return-label
      3 years ago by @mkf
      show all tags
      • spark2014
       
        spark2014
        (0)
        copydelete
        • community post
        • history of this post
         
         
      •  

         
        1MISRA-C 2012 vs SPARK 2014, the Subset Matching Game - The AdaCore Blog
         

        https://blog.adacore.com/misra-c-2012-vs-spark-2014-the-subset-matching-game
        3 years ago by @mkf
        show all tags
        • spark2014
         
          spark2014
          (0)
          copydelete
          • community post
          • history of this post
           
           
        • ⟨⟨
        • ⟨
        • 1
        • ⟩
        • ⟩⟩

        publications  (hide)
        • display
        • all
        • publications only
        • publications per page
        • 5
        • 10
        • 20
        • 50
        • 100
        • sort by
        • added at
        • title
        • order
        • ascending
        • descending
        • help for advanced sorting...
        • RSS
        • BibTeX
        • RDF
        • more...

          No matching posts.
        • ⟨⟨
        • ⟨
        • ⟩
        • ⟩⟩

          browse

          • spark2014 as tag from all users

          related tags

            concepts

            • algol ←
              • algol
              • algol60
              • algol68
              • algol72
              • mary
            • android ←
              • androidndk
              • androidplatform
            • anon_inode ←
              • O_TMPFILE
            • c ←
              • c_array_allocation
              • verifiable_c
            • css ←
              • css_media_types
              • css_target_selector
            • desktop ←
              • fvwm
            • docker ←
              • docker_X11
            • emacs ←
              • elisp
              • html-mode
            • email ←
              • alpine
              • email_markup
              • markdown_email
              • pine
            • gotowanie ←
              • cooking
            • haskell ←
              • cabal
            • html ←
              • html_phrase_tags
            • javascript ←
              • vanillajs
            • lgbt ←
              • homophobes_are_gay
              • marketing_lgbt
            • linux ←
              • abstract_sockets
              • anon_inode
              • nixos
              • O_TMPFILE
              • unix-domain-sockets/linux
            • mobile_devices ←
              • keyboard_phone
              • smartpen_notepad
              • smartphone
            • netlify ←
              • netlify_headers_redirects
              • netlify_redirects
            • netlify_redirects ←
              • netlify_headers_redirects
            • nix ←
              • default.nix
              • niv
              • nix-flakes
              • nix-shell
              • shell.nix
            • nixos ←
              • nixos-containers
            • po_polsku ←
              • gotowanie
            • ProgrammingLanguages ←
              • c
              • c++
              • elisp
              • golang
              • haskell
              • java
              • javascript
              • prolog
              • rust
            • prolog ←
              • ciao
              • prolog
              • prolog_to_c
            • proving_c_programs ←
              • framac
              • verifiable_c
            • rust ←
              • cargo
            • smartphones ←
              • keyboard_phone
            • ssh_forwarding ←
              • ssh_socket_forwarding
            • unix ←
              • block_devices
              • linux
              • nix
              • unix-domain-sockets
            • unix-domain-sockets ←
              • abstract_sockets
              • getsockopt
              • unix-domain-sockets/linux
            • unix-domain-sockets/linux ←
              • SO_PEERCRED
            • vscode ←
              • vscode_dockerized
              • vscode_remote_containers
            • webdev ←
              • css
              • fragment_identifiers

            tags

            • cooking
            • nix
            • html
            • mercurial
            • emacs
            • nixos
            • .net
            • fsharp
            • linux_x86-64_assembly
            • hummus
            • linux
            • nix-flakes
            • docker
            • haskell
            • ChangeDisplaySettings
            • smartpen_notepad
            • css
            • fvwm
            • gemini
            • vscode
            • android_development
            • niv
            • rust
            • devcontainers
            • compose_key
            • discord-getting
            • unix
            • docker_X11
            • tcsh
            • cabal
            • SessionEnding
            • macncheese
            • compose_key_cheat_sheet
            • unix_domain_sockets
            • nixos-containers
            • prolog
            • android
            • spark2014
            • gmane
            • clojure
            • win32
            • nix-shell
            • seamonkey
            • static_site_generators
            • usenet_pl
            • openbsd
            • prolog_to_c
            • smtp
            • python
            • cargo
          What is BibSonomy?
          Getting Started
          Browser Buttons
          Help
          Developer
          Overview
          API Documentation
          Contact & Privacy
          Contact
          Privacy & Terms of Use
          Cookies
          Report Issues
          BibSonomy Wiki
          Integration
          PUMA
          TYPO3 Extension
          WordPress Plugin
          Java REST Client
          Supported Sites
          more
          About BibSonomy
          Team
          Blog
          Mailing List
          Social Media
           Follow us on Twitter

          BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany.