Found: 4
Select item for more details and to access through your institution.
Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars.
- Published in:
- New Generation Computing, 2020, v. 38, n. 3, p. 423, doi. 10.1007/s00354-019-00082-y
- By:
- Publication type:
- Article
Benchmarking bidirectional transformations: theory, implementation, application, and assessment.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 3, p. 647, doi. 10.1007/s10270-019-00752-x
- By:
- Publication type:
- Article
Algebra of programming in Agda: Dependent types for relational program derivation.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 5, p. 545, doi. 10.1017/S0956796809007345
- By:
- Publication type:
- Article
Algebra of programming in Agda: Dependent types for relational program derivation.
- Published in:
- Journal of Functional Programming, 2009, v. 19, p. 545, doi. 10.1017/S0956796809007345
- By:
- Publication type:
- Article