• Refine your search:
  • 
    Keyword:
    
    • Computer Science (2)
    • Computer science (2)
    • Data processing Computer science (2)
    • FOS Computer and information sciences (1)
    • Java (1)
    • Java (Computer program language) (1)
    • Mathematische Linguistik (1)
    • Performance cs.PF (1)
    • Programmiersprache (1)
    • Programming Languages cs.PL (1)
    •   more
  • 
    Creator / Publisher:
    
    • Felleisen, Matthias (10)
    • Flatt, Matthew (5)
    • Krishnamurthi, Shriram (4)
    • Tobin-Hochstadt, Sam (4)
    • St-Amour, Vincent (3)
    • Barzilay, Eli (2)
    • Findler, Robert (2)
    • Findler, Robert Bruce (2)
    • Greenman, Ben (2)
    • Kent, Andrew M. (2)
    •   more
  • 
    Year:
    
    • 2018 (1)
    • 2017 (2)
    • 2015 (2)
    • 2007 (1)
    • 2001 (1)
    • 2000 (1)
    • 1999 (1)
    • 1994 (1)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (10)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 10 of 10 1 Feature-Specific Profiling ... Andersen, Leif; St-Amour, Vincent; Vitek, Jan. - : arXiv, 2018 BASE Show details 2 Migratory Typing: Ten Years Later Tobin-Hochstadt, Sam; Felleisen, Matthias; Findler, Robert. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. : LIPIcs - Leibniz International Proceedings in Informatics. 2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017 BASE Show details 3 Migratory Typing: Ten Years Later ... Tobin-Hochstadt, Sam; Felleisen, Matthias; Findler, Robert. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2017 BASE Show details 4 The Racket Manifesto Findler, Robert Bruce; McCarthy, Jay; Flatt, Matthew. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. : LIPIcs - Leibniz International Proceedings in Informatics. 1st Summit on Advances in Programming Languages (SNAPL 2015), 2015 BASE Show details 5 The Racket Manifesto ... Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2015 BASE Show details 6 Linguistic support for unit testing Gray, Kathryn E.; Felleisen, Matthias In: University of Utah Computer Science Technical Report ; University of Utah School of Computing (2007) Abstract: technical report ; Existing systems for writing unit tests exploit built-in language constructs, such as reflection, to simulate the addition of testing constructs. While these simulations provide the minimally necessary functionality, they fail to support testing properly in many instances. In response, we have designed, implemented, and evaluated extensions for Java that enable programmers to express test cases with language constructs. Not surprisingly, these true language extensions improve testing in many different ways, starting with basic statical checks but also allowing the collection of additional information about the unit tests. Keyword: Java; Java (Computer program language); Programming languages (Electronic computers) -- Testing; Testing; Unit testing URL: https://collections.lib.utah.edu/ark:/87278/s6ht36j7 BASE Hide details 7 Linguistic reuse Krishnamurthi, Shriram. - 2001 BASE Show details 8 Programming languages for reusable software components Flatt, Matthew Raymond. - 2000 BASE Show details 9 Classes and Mixins Felleisen, Matthias; Flatt, Matthew; Krishnamurthi, Shriram. - 1999 BASE Show details 10 Fully abstract semantics for observably sequential languages Cartwright, Robert; Curien, Pierre-Louis; Felleisen, Matthias In: Information and computation. - Amsterdam : Elsevier 111 (1994) 2, 297-401 BLLDB Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 1 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 9 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0