• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (40)
    • Miscellaneous (10)
    • Book (2)
  • 
    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 52 1 A Component-Based Formal Language Workbench ... Mosses, Peter D.. - : arXiv, 2019 BASE Show details 2 Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers ... Semerikov, S. O.; Polishchuk, O. P.. - : arXiv, 2018 BASE Show details 3 Practical Subtyping for System F with Sized (Co-)Induction Lepigre, Rodolphe; Raffalli, Christophe In: https://hal.archives-ouvertes.fr/hal-01289760 ; 2017 (2017) BASE Show details 4 Reusing Legacy DSLs with Melange Degueule, Thomas; Combemale, Benoit; Blouin, Arnaud... In: 15th Workshop on Domain-Specific Modeling ; https://hal.inria.fr/hal-01197039 ; 15th Workshop on Domain-Specific Modeling, Oct 2015, Pittsburgh, United States (2015) BASE Show details 5 Incremental Computation with Names ... Hammer, Matthew A.; Dunfield, Jana; Headley, Kyle. - : arXiv, 2015 BASE Show details 6 Component-based mechanisation of programming languages in embedded settings ... : Komponentenbasierten Ansatz zur Programmiersprachenimplementierung ... Haeri, Seyed Hossein. - : TUHH Universitätsbibliothek, 2014 BASE Show details 7 Author manuscript, published in "22nd International World Wide Web Conference (WWW'13) (2013)" XML Validation: Looking Backward Strongly Typed and Flexible XML Processing are not Incompatible Pierre Genevès; Nabil Layaïda In: http://hal.inria.fr/docs/00/83/77/65/PDF/p219-geneves.pdf (2013) BASE Show details 8 Denotational Semantics of A User-Oriented, Domain-Specific Language Mercadal, Julien; Drey, Zoé; Consel, Charles In: ISSN: 2075-2180 ; Electronic Proceedings in Theoretical Computer Science ; https://hal.inria.fr/hal-00865381 ; Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩ (2013) BASE Show details 9 Extensible Languages: Blurring the Distinction between DSL and GPL Verna, Didier In: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments ; https://hal.archives-ouvertes.fr/hal-01542954 ; Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2012, 9781466620926. ⟨10.4018/978-1-4666-2092-6.ch001⟩ ; https://www.igi-global.com/chapter/extensible-languages-blurring-distinction-between/71814 (2012) BASE Show details 10 Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ Malik, Avinash; Girault, Alain; Salcic, Zoran In: ISSN: 1045-9219 ; IEEE Transactions on Parallel and Distributed Systems ; https://hal.inria.fr/hal-00777730 ; IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2012, 23 (7), pp.1240--1254 (2012) BASE Show details 11 From a calculus to an execution environment for stream processing Robert Soulé; Martin Hirzel; Robert Grimm In: http://hirzels.com/martin/papers/debs12-river.pdf (2012) BASE Show details 12 Negation for Free! Lazaar, Nadjib; Aribi, Nourredine; Gotlieb, Arnaud... In: https://hal.inria.fr/inria-00629657 ; [Research Report] RR-7749, INRIA. 2011, pp.16 (2011) BASE Show details 13 Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing ... Paquet, Joey; Mokhov, Serguei A.. - : arXiv, 2011 BASE Show details 14 SystemJ: A GALS Language for System Level Design Malik, Avinash; Salcic, Zoran; Roop, Partha... In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-00753512 ; Computer Languages, Systems and Structures, Elsevier, 2010, 36 (4), pp.317--344. ⟨10.1016/j.cl.2010.01.001⟩ (2010) BASE Show details 15 The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY ... Mokhov, Serguei A.; Paquet, Joey; Debbabi, Mourad. - : arXiv, 2010 BASE Show details 16 Why Smalltalk wins the host languages shootout Lukas Renggli; Tudor Gîrba In: http://scg.unibe.ch/archive/papers/Reng09bLanguageShootout.pdf (2009) BASE Show details 17 A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY ... Mokhov, Serguei A.; Paquet, Joey. - : arXiv, 2009 BASE Show details 18 Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle ... Mokhov, Serguei A.; Paquet, Joey. - : arXiv, 2009 BASE Show details 19 Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid ... Mokhov, Serguei A.; Paquet, Joey; Debbabi, Mourad. - : arXiv, 2009 BASE Show details 20 A Framework for Defining Logical Frameworks Honsell, Furio; Lenisa, Marina; Liquori, Luigi In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://hal.inria.fr/hal-01148312 ; Electronic Notes in Theoretical Computer Science, Elsevier, 2007, In Computation, Meaning and Logic. ENTCS, Special issue, dedicated to Gordon D. Plotkin, on the occasion of his 60th birthday, 172, pp.399-436. ⟨10.1016/j.entcs.2007.02.014⟩ ; Elsevier (2007) BASE Show details Page: 1 2 3

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 0 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 52 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0