SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "L773:0167 6423 OR L773:1872 7964 "

Sökning: L773:0167 6423 OR L773:1872 7964

  • Resultat 1-10 av 85
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Nordlander, Johan (författare)
  • Polymorphic subtyping in O'Haskell
  • 2002
  • Ingår i: Science of Computer Programming. - 0167-6423 .- 1872-7964. ; 43:2-3, s. 93-127
  • Tidskriftsartikel (refereegranskat)abstract
    • O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type system with polymorphism and overloading, the type system of O'Haskell is much richer than what is the norm in almost any widespread object-oriented or functional language. Yet, there is strong evidence that O'Haskell is not a complex language to use, and that both Java and Haskell programmers can easily find their way with its polymorphic subtyping system. This paper describes the type system of O'Haskell both formally and from a programmer's point of view; the latter task is accomplished with the aid of an illustrative, real-world programming example: a strongly typed interface to the graphical toolkit Tk.
  •  
2.
  • Aceto, Luca, et al. (författare)
  • Rule formats for determinism and idempotence
  • 2012
  • Ingår i: Science of Computer Programming. - Amsterdam : Elsevier BV. - 0167-6423 .- 1872-7964. ; 77:7-8, s. 889-907
  • Tidskriftsartikel (refereegranskat)abstract
    • Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature.
  •  
3.
  • Aktug, Irem, et al. (författare)
  • ConSpec : A Formal Language for Policy Specification
  • 2008
  • Ingår i: Science of Computer Programming. - : Elsevier BV. - 0167-6423 .- 1872-7964. ; 74:1-2, s. 2-12
  • Tidskriftsartikel (refereegranskat)abstract
    • The paper presents ConSpec, an automata-based policy specification language. The language trades off clean semantics to language expressiveness: a formal semantics for the language is provided as security automata. ConSpec specifications can be used at different stages of the application lifecycle, rendering possible the formalization of various Policy enforcement techniques.
  •  
4.
  • Araujo, Hugo, et al. (författare)
  • Sound conformance testing for cyber-physical systems : Theory and implementation
  • 2018
  • Ingår i: Science of Computer Programming. - Amsterdam : ELSEVIER SCIENCE BV. - 0167-6423 .- 1872-7964. ; 162, s. 35-54
  • Tidskriftsartikel (refereegranskat)abstract
    • Conformance testing is a formal and structured approach to verifying system correctness. We propose a conformance testing algorithm for cyber-physical systems, based on the notion of hybrid conformance by Abbas and Fainekos. We show how the dynamics of system specification and the sampling rate play an essential role in making sound verdicts. We specify and prove error bounds that lead to sound test-suites for a given specification and a given sampling rate. We use reachability analysis to find such bounds and implement the proposed approach using the CORA toolbox in Matlab. We apply the implemented approach on a case study from the automotive domain.
  •  
5.
  •  
6.
  •  
7.
  •  
8.
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 85
Typ av publikation
tidskriftsartikel (85)
Typ av innehåll
refereegranskat (74)
övrigt vetenskapligt/konstnärligt (11)
Författare/redaktör
Mousavi, Mohammad Re ... (5)
Sagonas, Konstantino ... (4)
De Nicola, Rocco (2)
Mousavi, Mohammad Re ... (2)
Mousavi, MohammadRez ... (2)
Lisper, Björn (2)
visa fler...
Cicchetti, Antonio (2)
Gurov, Dilian, 1964- (2)
Varshosaz, Mahsa, 19 ... (2)
Vinel, Alexey, 1983- (1)
Staron, Miroslaw, 19 ... (1)
Jonsson, Bengt (1)
Flammini, Francesco, ... (1)
Enoiu, Eduard Paul, ... (1)
Ahrendt, Wolfgang, 1 ... (1)
Abd Alrahman, Yehia, ... (1)
Di Stefano, Luca, 19 ... (1)
Loreti, Michele (1)
Mohaqeqi, Morteza (1)
Wrigstad, Tobias, 19 ... (1)
Johansson, M (1)
Carlson, Jan (1)
Aceto, Luca (1)
Ingólfsdóttir, Anna (1)
Reniers, Michel A. (1)
Birgisson, Arnar, 19 ... (1)
Cimini, Matteo (1)
Lundqvist, Kristina (1)
Schupp, Sibylle, 196 ... (1)
Di Ruscio, Davide (1)
Dignum, Frank (1)
Chaudron, Michel, 19 ... (1)
Cabot, Jordi (1)
Sands, David, 1965 (1)
Carlsson, M (1)
Pettersson, Paul (1)
Le Pallec, Xavier (1)
Gérard, Sébastien (1)
Dylla, Maximilian (1)
Schneider, Gerardo, ... (1)
Johnson, Pontus (1)
Aktug, Irem (1)
Naliuka, Katsiaryna (1)
Dam, Mads (1)
Gurov, Dilian (1)
Martini, Antonio, 19 ... (1)
Hebig, Regina, 1984 (1)
Knauss, Eric, 1977 (1)
Nadjm-Tehrani, Simin (1)
Jansson, Patrik, 197 ... (1)
visa färre...
Lärosäte
Chalmers tekniska högskola (19)
Kungliga Tekniska Högskolan (13)
Mälardalens universitet (13)
Uppsala universitet (12)
Högskolan i Halmstad (10)
Lunds universitet (9)
visa fler...
Göteborgs universitet (6)
Linköpings universitet (6)
Luleå tekniska universitet (2)
Linnéuniversitetet (2)
Umeå universitet (1)
RISE (1)
visa färre...
Språk
Engelska (85)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (63)
Teknik (23)
Samhällsvetenskap (2)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy