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 ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Practical Subtyping for System F with Sized (Co-)Induction
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01289760 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
4 |
Reusing Legacy DSLs with Melange
|
|
|
|
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
|
|
6 |
Component-based mechanisation of programming languages in embedded settings ... : Komponentenbasierten Ansatz zur Programmiersprachenimplementierung ...
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
In: http://hirzels.com/martin/papers/debs12-river.pdf (2012)
|
|
BASE
|
|
Show details
|
|
12 |
Negation for Free!
|
|
|
|
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 ...
|
|
|
|
BASE
|
|
Show details
|
|
14 |
SystemJ: A GALS Language for System Level Design
|
|
|
|
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 ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Why Smalltalk wins the host languages shootout
|
|
|
|
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 ...
|
|
|
|
BASE
|
|
Show details
|
|
18 |
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
A Framework for Defining Logical Frameworks
|
|
|
|
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
|
|
|
|