• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (3)
    • ARMY RESEARCH LAB ADELPHI MD COMPUTATIONAL AND INFORMATION SCIENCES DIRECTORATE (2)
    • Blackburn, Stephen (2)
    • Cleary, John G. (2)
    • Marquez, A (2)
    • Utting, Mark (2)
    • Weng, Min-Hsien (2)
    • Zigman, John (2)
    • ALABAMA UNIV IN BIRMINGHAM (1)
    • ARMY RESEARCH LAB ABERDEEN PROVING GROUND MD COMPUTATIONAL AND INFORMATION SCIENCES DIR (1)
    •   more
  • 
    Year:
    
    • 2020 (1)
    • 2017 (2)
    • 2015 (4)
    • 2014 (1)
    • 2013 (2)
    • 2011 (1)
    • 2010 (1)
    • 2009 (1)
    • 2008 (2)
    • 2007 (3)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

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 Page: 1 2 3 Hits 1 – 20 of 47 1 Modern languages and technologies of programming ; Современные языки и технологии программирования Salamatov, A. A.; Саламатов, А. А.. - : ООО «Издательский Дом «Ажур», 2020 BASE Show details 2 Introduction To Computer Science ... Afef Jmal Maâlej. - : Zenodo, 2017 BASE Show details 3 Promotion of Educational Effectiveness by Translation-based Programming Language Learning Using Java and Swift LI, Juhua; Sakamoto, Kazunori; Washizaki, Hironori. - 2017 BASE Show details 4 Fast portable orthogonally persistent Java Marquez, A; Zigman, John; Blackburn, Stephen In: Software: Practice and Experience (2015) BASE Show details 5 Fast portable orthogonally persistent Java Marquez, A; Zigman, John; Blackburn, Stephen In: Software: Practice and Experience (2015) BASE Show details 6 Dependency Tree Annotation Software Dedhia, Rhea In: DTIC (2015) BASE Show details 7 Evaluating Kiama abstract state machines for a Java implementation Suvanpong, Pongsak. - : Sydney, Australia : Macquarie University, 2015 Abstract: Theoretical thesis. ; Bibliography: pages 52-53. ; Chapter 1. Introduction -- Chapter 2. Related works -- Chapter 3. Kiama ASM -- Chapter 4. Scope of this study -- Chapter 5. The dynamic semantics of Java in Kiama -- Chapter 6. The dynamic semantics of Java and the Java compiler in Kiama -- Chapter 7. Testing and evaluation -- Chapter 8. Conclusion. ; This thesis represents nine months of research in the area of embedded domain-specific programming languages. Kiama is a pure embedded lightweight language processing library in Scala. It provides classes for language processing paradigms such as attribute grammars, strategic term rewriting and abstract state machines (ASM) which can be used for analyzing, translating and executing languages. ; In this thesis, we evaluate the ASM component of Kiama by implementing several complex machines for executing the dynamic semantics of the Java language and the Java Virtual Machine byte code into which it is translated. We use the book “Java and the Java Virtual Machine: Definition, Verification and Validation” by R. Stärk, J. Schmid and E. Börger, as our reference. The book describes the Java language version 1.2 using the ASM method. ; We are able to implement the machines without any modifications to Kiama's ASM. The combination of Scala and Kiama allows us to closely replicate the book’s ASM notations in executable code. However, we find a few problems with the Kiama ASM library for which we show workarounds. In addition, we discover a few bugs in the book's machine definitions and provide fixes in our implementation. ; Mode of access: World wide web ; 1 online resource (60 pages) Keyword: Abstract State Machine; Computational linguistics; Domain-specific programming languages; Java (Computer program language); Java and Virtual Machine Semantics; Kiama; Scala (Computer program language) URL: http://hdl.handle.net/1959.14/1083952 BASE Hide details 8 Arabic Natural Language Processing System Code Library Tratz, Stephen C In: DTIC (2014) BASE Show details 9 The JStar language philosophy Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : Association for Computing Machinery (ACM), 2013 BASE Show details 10 The JStar language philosophy Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : The Association for Computing Machinery, 2013 BASE Show details 11 OSGi in action : creating modular applications in Java Hall, Richard S.; Pauls, Karl; McCulloch, Stuart. - Stamford, Conn : Manning, 2011 MPI für Psycholinguistik Show details 12 JSLIM-2.1-Dokumentation: Morphologie, Syntax und formale Sprachen : = The JSLIM 2.1 documentation: morphology, syntax, and formal languages Handl, Johannes; Greiner, Paul; Weber, Carsten. - Erlangen-Nürnberg : Univ., Dep. Germanistik und Komparatistik, Abt. für Computerlinguistik, 2010 BLLDB UB Frankfurt Linguistik Show details 13 IX kompakt : ein Sonderheft des Magazins für professionelle Informationstechnik Hannover : Heise, 2009- IDS Mannheim Show details 14 Visualization of a Text Network Structure Using X3D Neiderer, Andrew M. In: DTIC (2008) BASE Show details 15 A Domain specific language for the definition of extended queueing network models Gianni, D; D'Ambrogio, A. - 2008 BASE Show details 16 M.D.: Object and reference immutability using Java generics Yoav Zibin; Alex Potanin; Mahmood Ali... In: http://homepages.mcs.vuw.ac.nz/~alex/files/ZibinPotaninAliArtziKiezunErnstFSE2007.pdf (2007) BASE Show details 17 Techniques for Automatically Generating Biographical Summaries from News Articles Esparza, Matthew W. In: DTIC (2007) BASE Show details 18 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) BASE Show details 19 Design patterns in Java Metsker, Steven John; Wake, William. - Upper Saddle River, NJ [et al.] : Addison-Wesley, 2006 MPI für Psycholinguistik Show details 20 The QAT: A Qualitative Algebra Toolkit Condotta, Jean-François; Ligozat, Gérard; Saade, Mahmoud In: Proceedings of the 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA'06) ; 2nd IEEE International Conference on Information Technologies ; https://hal.archives-ouvertes.fr/hal-01434027 ; 2nd IEEE International Conference on Information Technologies , Apr 2006, Damascus, Syria. pp.3433 - 3438, ⟨10.1109/ICTTA.2006.1684969⟩ (2006) BASE Show details Page: 1 2 3

Mobile view All Catalogues UB Frankfurt Linguistik 5 IDS Mannheim 4 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 3 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 11 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 27 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0